Kazuhito Ohmaki - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2017

FDR verification of a system involving a robot climbing stairsTomoo Sumida, Hiroyuki Suzuki, Sho Sei Shun, Kazuhito Ohmaki, Takaaki Goto, Kensei Tsuchida. ACISicis 2017: 875-878 [doi]

2016

Parallel algorithm that considers energy efficiency and time efficiencyToshihiro Yoshizumi, Takaaki Goto, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida. icit2 2016: 1723-1727 [doi]

2012

Implementation and Verification of Concurrent Sorting Algorithms with CSP based ArchitectureYuki Hasegawa, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida, Yasunori Shiono. jip, 20(3):559-569, 2012. [doi]

Efficiency of Concurrent Processing of Sort Using CSPYasunori Shiono, Shohei Noguchi, Mitsumasa Mochida, Tomoo Sumida, Hideki Mori, Kazuhito Ohmaki, Kensei Tsuchida. snpd 2012: 524-529 [doi]

2002

Open Source Software Research Activities in AIST towards Secure Open SystemsKazuhito Ohmaki. hase 2002: 37-42 [doi]

2000

A process logic for distributed system synthesis Yoshinao Isobe, Kazuhito Ohmaki. apsec 2000: 62-69 [doi]

1998

Eventuality in LOTOS with a Disjunction OperatorYoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki. asian 1998: 263-281 [doi]

1996

Approximative Analysis by Process Algebra with Graded Spatial ActionsYoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki. amast 1996: 336-350

1995

A Calculus of Countable Broadcasting SystemsYoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki. amast 1995: 489-503

Analysis of Database Production Rules by Process AlgebraYoshinao Isobe, Isao Kojima, Kazuhito Ohmaki. ieicet, 78-D(8):992-1002, 1995. [doi]

1993

An Experimental Analysis for Classifying Specification ProcessesSeiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki. seke 1993: 231-234

1991

Design and Implementation of an Application Interface for LOTOS ProcessorsKazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu. forte 1992: 345-360

Specifications of a general user interface in LOTOS and OBJDeddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi. compsac 1991: 90-97 [doi]

1990

A LOTOS Simulator in OBJKazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi. forte 1991: 535-538

1984

A New Programming Environment With a Multi-Display Terminal and Early Experiences With ItYoshihisa Mano, Kazuhito Ohmaki, Koji Torii. Comp. Lang., Syst. \& Struct., 9(1):39-49, 1984.

1982

Early Experiences with a Multi-Display Programming EnvironmentYoshihisa Mano, Kazuhito Ohmaki, Koji Torii. ICSE 1982: 422-423

Sign in or sign up to see more results.

runs on WebDSL