Kazuhito Ohmaki

18 papers A* 1B 1C 6Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2017 C conf
FDR verification of a system involving a robot climbing stairs.
ICIS
Tomoo Sumida, Hiroyuki Suzuki, Sho Sei Shun, Kazuhito Ohmaki, Takaaki Goto, Kensei Tsuchida
2016 — conf
Parallel algorithm that considers energy efficiency and time efficiency.
ICIT
Toshihiro Yoshizumi, Takaaki Goto, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida
2012 C conf
Efficiency of Concurrent Processing of Sort Using CSP.
SNPD
Yasunori Shiono, Shohei Noguchi, Mitsumasa Mochida, Tomoo Sumida, Hideki Mori, Kazuhito Ohmaki, Kensei Tsuchida
2012 J jnl
Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture.
Inf. Media Technol.
Yuki Hasegawa, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida, Yasunori Shiono
2012 J jnl
Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture.
J. Inf. Process.
Yuki Hasegawa, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida, Yasunori Shiono
2002 — conf
Open Source Software Research Activities in AIST towards Secure Open Systems.
HASE
Kazuhito Ohmaki
2000 C conf
A process logic for distributed system synthesis .
APSEC
Yoshinao Isobe, Kazuhito Ohmaki
1998 — conf
Eventuality in LOTOS with a Disjunction Operator.
ASIAN
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
1996 — conf
Approximative Analysis by Process Algebra with Graded Spatial Actions.
AMAST
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
1995 — conf
A Calculus of Countable Broadcasting Systems.
AMAST
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
1995 J jnl
Analysis of Database Production Rules by Process Algebra.
IEICE Trans. Inf. Syst.
Yoshinao Isobe, Isao Kojima, Kazuhito Ohmaki
1993 C conf
An Experimental Analysis for Classifying Specification Processes.
SEKE
Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki
1991 C conf
Design and Implementation of an Application Interface for LOTOS Processors.
FORTE
Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu
1991 B conf
Specifications of a general user interface in LOTOS and OBJ.
COMPSAC
Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi
1990 C conf
A LOTOS Simulator in OBJ.
FORTE
Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi
1989 J jnl
TERM: a parallel executable graph reduction machine for equational language.
Parallel Comput.
Kazuhito Ohmaki, Satoru Tomura, Katsuro Inoue, Toshio Ito, Keiichi Ito, Koji Torii
1984 J jnl
A New Programming Environment With a Multi-Display Terminal and Early Experiences With It.
Comput. Lang.
Yoshihisa Mano, Kazuhito Ohmaki, Koji Torii
1982 A* conf
Early Experiences with a Multi-Display Programming Environment.
ICSE
Yoshihisa Mano, Kazuhito Ohmaki, Koji Torii