IDESS/85: Intelligent Support System for Protocols and Communication Software Development. - Norio Shiratori; Kaoru Takahashi; Shoichi Noguchi (ICCC, 1986)

A Software Design Method and Its Application to Protocol and Communication Software Development. - Norio Shiratori; Kaoru Takahashi; Shoichi Noguchi (Comput. Networks, 1988)

An intelligent support system for protocol and communication software development. - Kaoru Takahashi; Norio Shiratori; Shoichi Noguchi (IEEE J. Sel. Areas Commun., 1988)

A knowledge-based system for protocol synthesis (KSPS). - Yaoxue Zhang; Kaoru Takahashi; Norio Shiratori; Shoichi Noguchi (IEEE J. Sel. Areas Commun., 1988)

Protocol Implementation Support System and Its User Interface. - Kaoru Takahashi; Norio Shiratori; Shoichi Noguchi (Syst. Comput. Jpn., 1988)

An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. - Yaoxue Zhang; Kaoru Takahashi; Norio Shiratori; Shoichi Noguchi (IEEE Trans. Software Eng., 1988)

A Verification Method for LOTOS Specifications and its Application. - Norio Shiratori; Hiroaki Kaminaga; Kaoru Takahashi; Shoichi Noguchi (PSTV, 1989)

A Design Method of Network Operating Systems Based on the Concept of an Object. - Kaoru Takahashi; Yoshiyuki Ohta; Norio Shiratori; Shoichi Noguchi (Syst. Comput. Jpn., 1989)

Construction of a protocol synthesis environment and its implementation. - Norio Shiratori; Yaoxue Zhang; Kaoru Takahashi; Shoichi Noguchi (Syst. Comput. Jpn., 1990)

An equivalence in lotos and its decision method. - Hiroaki Kaminaga; Kaoru Takahashi; Norio Shiratori; Shoichi Noguchi (Syst. Comput. Jpn., 1991)

A User Friendly Software Environment for Protocol Synthesis. - Norio Shiratori; Yaoxue Zhang; Kaoru Takahashi; Shoichi Noguchi (IEEE Trans. Computers, 1991)

Using Artificial Intelligence in Communication System Design. - Norio Shiratori; Kaoru Takahashi; Kenji Sugawara; Tetsuo Kinoshita (IEEE Softw., 1992)

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 (FORTE, 1993)

Interpretation of SDL specification in LOTOS. - Tsuyoshi Ando; Masataka Ohta; Kaoru Takahashi (Syst. Comput. Jpn., 1994)

A flexible protocol synthesis method for adopting requirement changes. - Bhed Bahadur Bista; Kaoru Takahashi; Hiroaki Kaminaga; Norio Shiratori (ICPADS, 1996)

Automatic modification of a protocol specification based on changes of a service specification. - Kentaro Go; Kaoru Takahashi; Hiroaki Kaminaga; Norio Shiratori (ICPADS, 1996)

On a Concurrency Calculus for Design of Mobile Telecommunication Systems. - Toshihiko Ando; Kaoru Takahashi; Yasushi Kato (FORTE, 1997)

Maintenance of Ambiences for Mobile Systems. - Toshihiko Ando; Kaoru Takahashi; Yasushi Kato; Norio Shiratori (ICPP, 1999)

Support System for Constructing Communication Services and Protocols Based on Compositional Approach. - Bhed Bahadur Bista; Y. Ujiie; K. Furuya; Kaoru Takahashi; Norio Shiratori (DEXA Workshop, 2000)

Maintenance of mobile system ambients using a process calculus. - Toshihiko Ando; Kaoru Takahashi; Yasushi Kato; Norio Shiratori (Comput. Networks, 2000)

Composition of Service and Protocol Specifications. - Bhed Bahadur Bista; Kaoru Takahashi; Norio Shiratori (ICOIN, 2001)

Composition method of communication system specifications in asynchronous model and its support system. - Noppadol Maneerat; Ruttikorn Varakulsiripunth; Daisuke Seki; Kazuki Yoshida; Kaoru Takahashi; Yasushi Kato; Bhed Bahadur Bista; Norio Shiratori (ICON, 2001)

On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions. - Bhed Bahadur Bista; Kaoru Takahashi; Norio Shiratori (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

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)

Composition of Service and Protocol Specifications in Asynchronous Communication System. - Noppadol Maneerat; Ruttikorn Varakulsiripunth; Bhed Bahadur Bista; Kaoru Takahashi; Yasushi Kato; Norio Shiratori (IEICE Trans. Inf. Syst., 2004)

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)

A Study of Register Variation in the British National Corpus. - Kaoru Takahashi (Lit. Linguistic Comput., 2006)

LiNS: A Library Navigation System Using Sensors and Smartphones. - Kazuki Watanabe 007; Tomoyuki Takahashi; Toshihiko Ando; Kaoru Takahashi; Yoshifumi Sasaki; Tatsuya Funakoshi (BWCCA, 2010)

Using the Model Checker Spin for Web Application Design. - Kei Homma; Satoru Izumi; Yuki Abe; Kaoru Takahashi; Atsushi Togashi (SAINT, 2010)

Modeling Web Applications Design with Automata and Its Verification. - Kei Homma; Satoru Izumi; Kaoru Takahashi; Atsushi Togashi (ISADS, 2011)

Modeling, Verification and Testing of Web Applications Using Model Checker. - Kei Homma; Satoru Izumi; Kaoru Takahashi; Atsushi Togashi (IEICE Trans. Inf. Syst., 2011)