An Algebraic Specification of HDLC Procedures and Its Verification. - Teruo Higashino; Masaaki Mori; Yuji Sugiyama; Kenichi Taniguchi; Tadao Kasami (IEEE Trans. Software Eng., 1984)

Verification of progress property of algebraically specified communication protocols. - Teruo Higashino; Kenichi Taniguchi; Tadao Kasami; Mamoru Fujii; Masaaki Mori (Syst. Comput. Jpn., 1987)

Automated Verification of Equivalence of Protocol Machines. - Teruo Higashino; Kiyoshi Ninomiya; Tomohisa Kimoto; Kenichi Taniguchi; Masaaki Mori (PSTV, 1989)

Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. - Teruo Higashino; Mamoru Fujii; Kenichi Taniguchi; Tadao Kasami; Masaaki Mori (Syst. Comput. Jpn., 1989)

An Algebraic Method For Verifying Progress Property of Communication Protocols. - Teruo Higashino; Kenichi Taniguchi; Tadao Kasami; Mamoru Fujii; Masaaki Mori (Software Science and Engineering, 1991)

On finite covering of infinite spaces for protocol test selection. - Masaaki Mori; Son T. Vuong (PSTV, 1994)

QoS Functional Testing for Multi-media Systems. - Tao Sun; Keiichi Yasumoto; Masaaki Mori; Teruo Higashino (FORTE, 2003)

MTcast: Robust and Efficient P2P-Based Video Delivery for Heterogeneous Users. - Tao Sun; Morihiko Tamai; Keiichi Yasumoto; Naoki Shibata; Minoru Ito; Masaaki Mori (OPODIS, 2005)

Estimation of overlay link quality from previously observed link qualities. - Weihua Sun; Naoki Shibata; Keiichi Yasumoto; Masaaki Mori (CCNC, 2013)