2005 |
4 | EE | 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 |