| 2011 | ISADS | Modeling Web Applications Design with Automata and Its Verification. | Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi |
| 2005 | AINA | Incremental Design of a State Machine Specification for Mobile and Real-Time Systems . | Goichi Itabashi, Kaoru Takahashi, Yasushi Kato, Takuo Sugamma, Norio Shiratori |
| 2005 | AINA | An Ontology-Based e-Learning System for Network Security. | Yoshihito Takahashi, Tomomi Abiko, Eriko Negishi, Goichi Itabashi, Yasushi Kato, Kaoru Takahashi, Norio Shiratori |
| 1999 | ICPP | Maintenance of Ambiences for Mobile Systems. | Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori |
| 1997 | FORTE | On a Concurrency Calculus for Design of Mobile Telecommunication Systems. | Toshihiko Ando, Kaoru Takahashi, Yasushi Kato |
| 1996 | ICPADS | A flexible protocol synthesis method for adopting requirement changes. | Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori |
| 1996 | ICPADS | Automatic modification of a protocol specification based on changes of a service specification. | Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori |
| 1993 | FORTE | An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation. | Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita |
| 1986 | ICCC | IDESS/85: Intelligent Support System for Protocols and Communication Software Development. | Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi |