| 2002 |
|---|
| 10 | EE | Kazuhito Ohmaki:
Open Source Software Research Activities in AIST towards Secure Open Systems.
HASE 2002: 37-42 |
| 2000 |
|---|
| 9 | EE | Yoshinao Isobe,
Kazuhito Ohmaki:
A process logic for distributed system synthesis .
APSEC 2000: 62-69 |
| 1998 |
|---|
| 8 | EE | Yoshinao Isobe,
Yutaka Sato,
Kazuhito Ohmaki:
Eventuality in LOTOS with a Disjunction Operator.
ASIAN 1998: 263-281 |
| 1996 |
|---|
| 7 | | Yoshinao Isobe,
Yutaka Sato,
Kazuhito Ohmaki:
Approximative Analysis by Process Algebra with Graded Spatial Actions.
AMAST 1996: 336-350 |
| 1995 |
|---|
| 6 | | Yoshinao Isobe,
Yutaka Sato,
Kazuhito Ohmaki:
A Calculus of Countable Broadcasting Systems.
AMAST 1995: 489-503 |
| 1993 |
|---|
| 5 | | 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: 231-234 |
| 1991 |
|---|
| 4 | | Kazuhito Ohmaki,
Hirosato Tsuji,
Kenjiroh Yamanaka,
Yoshikazu Sato,
Yoshinori Itabashi,
Toshihiko Shimizu:
Design and Implementation of an Application Interface for LOTOS Processors.
FORTE 1991: 345-360 |
| 1990 |
|---|
| 3 | | Kazuhito Ohmaki,
Koichi Takahashi,
Kokichi Futatsugi:
A LOTOS Simulator in OBJ.
FORTE 1990: 535-538 |
| 1984 |
|---|
| 2 | | Yoshihisa Mano,
Kazuhito Ohmaki,
Koji Torii:
A New Programming Environment With a Multi-Display Terminal and Early Experiences With It.
Comput. Lang. 9(1): 39-49 (1984) |
| 1982 |
|---|
| 1 | | Yoshihisa Mano,
Kazuhito Ohmaki,
Koji Torii:
Early Experiences with a Multi-Display Programming Environment.
ICSE 1982: 422-423 |
