| 2023 | IECON | A Logistics Simulator with the Ambient Calculus for Modeling Intra-Regional Truck Transportation. | Toru Kato, Yuma Sakakibara, Masahiro Higuchi |
| 2022 | ISPA | Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus. | Toru Kato, Masahiro Higuchi, Hiroshi Ohyama, Yoshiaki Kawamura, Ryotaro Ohno |
| 2002 | COMPSAC | A File Naming Scheme Using Hierarchical-Keywords. | Harumasa Tada, Osamu Honda, Masahiro Higuchi |
| 2001 | FORTE | A Method to Generate Conformance Test Sequences for FSM with Timer System Call. | Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino |
| 2001 | ISADS | Location Transparent Distributed Scripts and Their Execution System on D'Agent. | Osamu Honda, Harumasa Tada, Masahiro Higuchi |
| 1996 | ICDCS | A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. | Masahiro Higuchi, Junko Sano, Keigo Hara, Mamoru Fujii |
| 1992 | CAV | A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. | Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami |