 | 2005 |
|---|
| 4 |       | Rieko Yamamoto,
Kouji Yamamoto,
Kyoko Ohashi,
Junji Inomata:
Development of a Business Process Modeling Methodology and a Tool for Sharing Business Processes.
APSEC 2005: 679-686 |
| 2004 |
|---|
| 3 |  | Kouji Yamamoto,
Tadahiro Uehara,
Akihiko Matsuo,
Kyoko Ohashi,
Junji Inomata,
Tomotaka Matsuda,
Rieko Yamamoto:
A pattern system for XML application development.
IASTED Conf. on Software Engineering 2004: 117-122 |
| 1992 |
|---|
| 2 | | Hajime Sawamura,
Toshiro Minami,
Kyoko Ohashi:
EUODHILOS: A General Reasoning System for a Variety of Logics.
LPAR 1992: 501-503 |
| 1990 |
|---|
| 1 | | Hajime Sawamura,
Toshiro Minami,
Kaoru Yocota,
Kyoko Ohashi:
A Logic Programming Approach to Specifying Logics and Constructing Proofs.
ICLP 1990: 405-424 |
