Kazuhito Ohmaki

According to our database, Kazuhito Ohmaki authored at least 17 papers between 1982 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

FDR verification of a system involving a robot climbing stairs.

Tomoo Sumida, Hiroyuki Suzuki, Sho Sei Shun, Kazuhito Ohmaki, Takaaki Goto, Kensei Tsuchida

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016

Parallel algorithm that considers energy efficiency and time efficiency.

Toshihiro Yoshizumi, Takaaki Goto, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida

Proceedings of the IEEE International Conference on Industrial Technology, 2016

2012

Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture.

Yuki Hasegawa, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida, Yasunori Shiono

Inf. Media Technol., 2012

Efficiency of Concurrent Processing of Sort Using CSP.

Yasunori Shiono, Shohei Noguchi, Mitsumasa Mochida, Tomoo Sumida, Hideki Mori, Kazuhito Ohmaki, Kensei Tsuchida

Proceedings of the 13th ACIS International Conference on Software Engineering, 2012

2002

Open Source Software Research Activities in AIST towards Secure Open Systems.

Kazuhito Ohmaki

Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

2000

A process logic for distributed system synthesis .

Yoshinao Isobe, Kazuhito Ohmaki

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1998

Eventuality in LOTOS with a Disjunction Operator.

Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki

Proceedings of the Advances in Computing Science, 1998

1996

Approximative Analysis by Process Algebra with Graded Spatial Actions.

Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Analysis of Database Production Rules by Process Algebra.

Yoshinao Isobe, Isao Kojima, Kazuhito Ohmaki

IEICE Trans. Inf. Syst., 1995

A Calculus of Countable Broadcasting Systems.

Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki

Proceedings of the Algebraic Methodology and Software Technology, 1995

1993

An Experimental Analysis for Classifying Specification Processes.

Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki

Proceedings of the SEKE'93, 1993

1991

Design and Implementation of an Application Interface for LOTOS Processors.

Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu

Proceedings of the Formal Description Techniques, 1991

Specifications of a general user interface in LOTOS and OBJ.

Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

A LOTOS Simulator in OBJ.

Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi

Proceedings of the Formal Description Techniques, 1990

1989

TERM: a parallel executable graph reduction machine for equational language.

Kazuhito Ohmaki, Satoru Tomura, Katsuro Inoue, Toshio Ito, Keiichi Ito, Koji Torii

Parallel Comput., 1989

1984

A New Programming Environment With a Multi-Display Terminal and Early Experiences With It.

Yoshihisa Mano, Kazuhito Ohmaki, Koji Torii

Comput. Lang., 1984

1982

Early Experiences with a Multi-Display Programming Environment.

Yoshihisa Mano, Kazuhito Ohmaki, Koji Torii

Proceedings of the Proceedings, 1982