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)

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

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)

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)

Performance Analysis on the Controllable Slotted DS-CDMA with an Allocating Buffer for Collided Traffic. - Seri Asavaruk; Suvepon Sittichivapak; Ruttikorn Varakulsiripunth; Yasushi Kato; Norio Shiratori (IEICE Trans. Commun., 2005)

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

Self-efficacy and learning experience of information education: in case of junior high school. - Jun Moriyama; Yasushi Kato; Yoshika Aoki; Akihito Kito; Maryam Behnoodi; Youichi Miyagawa; Masashi Matsuura (AI Soc., 2009)

Development of a Method for Visualization of Skills at Experiments and Practical Training. - Yoshihiro Takeichi; Kuniaki Yajima; Shota Matsuhashi; Katsuhide Misono; Shin-nosuke Suzuki; Jun Sato; Yasushi Kato (KES, 2015)

Comparison for deployment and skill evaluation of the software field. - Shota Matsuhashi; Yoshihiro Takeichi; Jun Sato; Yasushi Kato; Kuniaki Yajima; Takahiro Yonamine (TALE, 2015)

A new analytical model of TCP Hybla for satellite IP networks. - Satoshi Utsumi; Salahuddin Muhammad Salim Zabir; Yuto Usuki; Seisho Takeda; Norio Shiratori; Yasushi Kato; Jeyeon Kim (J. Netw. Comput. Appl., 2018)