| 2004 | ICDCS | An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree. | Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Kenichi Taniguchi |
| 2004 | SECON | Cost-conscious geographic multicast on MANET. | Akira Mizumoto, Hirozumi Yamaguchi, Kenichi Taniguchi |
| 2003 | PADS | Reducing the Size of Routing Tables for Large-scale Network Simulation. | Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 2002 | FM | A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. | Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 2002 | ICPP | A Selection Technique for Replicated Multicast Video Servers. | Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 2000 | DAC | Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. | Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi |
| 2000 | FORTE | Hardware implementation of Concurrent Periodic EFSM's. | Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 1999 | ASPDAC | Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. | Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi |
| 1999 | ICNP | Receiver-Cooperative Bandwidth Management for Layered Multicast. | Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 1998 | FORTE | Hardware synthesis from protocol specifications in LOTOS. | Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi |
| 1998 | ICNP | Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application. | Hiroharu Sakate, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 1998 | RTCSA | Protocol Synthesis from Context-Free Processes Using Event Structures. | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1997 | FORTE | Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. | Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi |
| 1997 | ICPADS | Protocol Synthesis from Time Petri Net Based Service Specification. | Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi |
| 1996 | FORTE | Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1995 | FORTE | Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. | Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi |
| 1995 | FORTE | A LOTOS Compiler Generating Multi-threaded Object Codes. | Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi |
| 1995 | ICDCS | Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. | Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi |
| 1995 | ICNP | Protocol synthesis from timed and structured specifications. | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1995 | ICNP | Protocol visualization using LOTOS multi-rendezvous mechanism. | Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi |
| 1994 | ICSE | Software Process Description Using LOTOS and Its Enaction. | Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 1993 | FORTE | LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1993 | ICDCS | Deriving Protocol Specifications from Service Specifications in Extended FSM Models. | Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi |
| 1979 | FCT | On equivalence of safe Petri nets. | Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami |