Masahiro Higuchi

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 3

Top Topics

Decision Making

Economic Growth

Algebraic Structure

Top Venues

Int. J. Autom. Technol.

ISPA/BDCloud/SocialCom/SustainCom

Publications

Toru Kato, Yuma Sakakibara, Masahiro Higuchi
A Logistics Simulator with the Ambient Calculus for Modeling Intra-Regional Truck Transportation. IECON (2023)
Toru Kato, Masahiro Higuchi, Hiroshi Ohyama, Yoshiaki Kawamura, Ryotaro Ohno
Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus. ISPA/BDCloud/SocialCom/SustainCom (2022)
Toru Kato, Manami Shimazu, Masahiro Higuchi, Hiroshi Ohyama
Integrated development environment for the multiple ambient calculus for modeling freight systems. CASE (2016)
Taisei Ise, Masahiro Higuchi, Hiroshi Tachiya
Development of a Tactile Sensor to Measure Tire Friction Coefficients in Arbitrary Directions. Int. J. Autom. Technol. 7 (3) (2013)
Toru Kato, Masahiro Higuchi
A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags. NBiS (2012)
Harumasa Tada, Osamu Honda, Masahiro Higuchi
A File Naming Scheme Using Hierarchical-Keywords. COMPSAC (2002)
Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino
A Method to Generate Conformance Test Sequences for FSM with Timer System Call. FORTE (2001)
Osamu Honda, Harumasa Tada, Masahiro Higuchi
Location Transparent Distributed Scripts and Their Execution System on D'Agent. ISADS (2001)
Masahiro Higuchi, J. Sano, K. Hara, Mamoru Fujii
A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. ICDCS (1996)
Tetsuo Sano, Masahiro Higuchi, Hiroyuki Seki, Tadao Kasami
A phase connection method for communication protocols. Systems and Computers in Japan 27 (10) (1996)
Masahiro Higuchi, S. Sugawa, Mamoru Fujii
A method for verifying liveness of protocols modeled as a class of ECFSM. PSTV (1994)
Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. CAV (1992)