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 |