dblp.uni-trier.dewww.uni-trier.de

Kazuhito Ohmaki

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
10EEKazuhito Ohmaki: Open Source Software Research Activities in AIST towards Secure Open Systems. HASE 2002: 37-42
2000
9EEYoshinao Isobe, Kazuhito Ohmaki: A process logic for distributed system synthesis . APSEC 2000: 62-69
1998
8EEYoshinao 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

Coauthor Index

1Kokichi Futatsugi [3]
2Shinichi Honiden [5]
3Hisayuki Horai [5]
4Yoshinao Isobe [6] [7] [8] [9]
5Yoshinori Itabashi [4]
6Junzou Kato [5]
7Seiichi Komiya [5]
8Yoshihisa Mano [1] [2]
9Akira Ohmori [5]
10Shigeru Ohtsuki [5]
11Motoshi Saeki [5]
12Yoshikazu Sato [4]
13Yutaka Sato [6] [7] [8]
14Toshihiko Shimizu [4]
15Koichi Takahashi [3]
16Koji Torii [1] [2]
17Hirosato Tsuji [4]
18Kenjiroh Yamanaka [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)