Specification and Analysis of the Contract Net Protocol Based on State Machine Model. - Goichi Itabashi; Yoshiaki Haramoto; Yasushi Kato; Kaoru Takahashi; Norio Shiratori (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Incremental Design of a State Machine Specification for Mobile and Real-Time Systems . - Goichi Itabashi; Kaoru Takahashi; Yasushi Kato; Takuo Sugamma; Norio Shiratori (AINA, 2005)

An Ontology-Based e-Learning System for Network Security. - Yoshihito Takahashi; Tomomi Abiko; Eriko Negishi; Goichi Itabashi; Yasushi Kato; Kaoru Takahashi; Norio Shiratori (AINA, 2005)

An ontology-based advice system for health and exercise. - Satoru Izumi; Dai Kuriyama; Goichi Itabashi; Atsushi Togashi; Yasushi Kato; Kaoru Takahashi (IMSA, 2006)