| 2005 |
|---|
| 5 | EE | Tao Sun,
Morihiko Tamai,
Keiichi Yasumoto,
Naoki Shibata,
Minoru Ito,
Masaaki Mori:
MTcast: Robust and Efficient P2P-Based Video Delivery for Heterogeneous Users.
OPODIS 2005: 176-190 |
| 2003 |
|---|
| 4 | EE | Tao Sun,
Keiichi Yasumoto,
Masaaki Mori,
Teruo Higashino:
QoS Functional Testing for Multi-media Systems.
FORTE 2003: 319-334 |
| 1994 |
|---|
| 3 | | Masaaki Mori,
Son T. Vuong:
On finite covering of infinite spaces for protocol test selection.
PSTV 1994: 237-251 |
| 1989 |
|---|
| 2 | | Teruo Higashino,
Kiyoshi Ninomiya,
Tomohisa Kimoto,
Kenichi Taniguchi,
Masaaki Mori:
Automated Verification of Equivalence of Protocol Machines.
PSTV 1989: 235-246 |
| 1984 |
|---|
| 1 | | Teruo Higashino,
Masaaki Mori,
Yuji Sugiyama,
Kenichi Taniguchi,
Tadao Kasami:
An Algebraic Specification of HDLC Procedures and Its Verification.
IEEE Trans. Software Eng. 10(6): 825-836 (1984) |
