Kazuhito Ohmaki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1982–2012
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SNPD | Efficiency of Concurrent Processing of Sort Using CSP. | Yasunori Shiono, Shohei Noguchi, Mitsumasa Mochida, Tomoo Sumida, Hideki Mori, Kazuhito Ohmaki, Kensei Tsuchida |
| 2000 | APSEC | A process logic for distributed system synthesis . | Yoshinao Isobe, Kazuhito Ohmaki |
| 1993 | SEKE | An Experimental Analysis for Classifying Specification Processes. | Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki |
| 1991 | COMPSAC | Specifications of a general user interface in LOTOS and OBJ. | Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi |
| 1991 | FORTE | Design and Implementation of an Application Interface for LOTOS Processors. | Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu |
| 1990 | FORTE | A LOTOS Simulator in OBJ. | Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi |
| 1982 | ICSE | Early Experiences with a Multi-Display Programming Environment. | Yoshihisa Mano, Kazuhito Ohmaki, Koji Torii |