Kazuhito Ohmaki

Publication Activity (10 Years)

Years Active: 1982-2017
Publications (10 Years): 2

Top Topics

Medial Axis Transform

Parallel Algorithm

Fingerprint Verification

Energy Efficiency

Top Venues

Publications

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