Masahiro Higuchi

According to our database1, Masahiro Higuchi authored at least 12 papers between 1992 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Logistics Simulator with the Ambient Calculus for Modeling Intra-Regional Truck Transportation.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

2022
Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus.
Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

2016
Integrated development environment for the multiple ambient calculus for modeling freight systems.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2013
Development of a Tactile Sensor to Measure Tire Friction Coefficients in Arbitrary Directions.
Int. J. Autom. Technol., 2013

2012
A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags.
Proceedings of the 15th International Conference on Network-Based Information Systems, 2012

2002
A File Naming Scheme Using Hierarchical-Keywords.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Location Transparent Distributed Scripts and Their Execution System on D'Agent.
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

A Method to Generate Conformance Test Sequences for FSM with Timer System Call.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

1996
A phase connection method for communication protocols.
Syst. Comput. Jpn., 1996

A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1994
A method for verifying liveness of protocols modeled as a class of ECFSM.
Proceedings of the Protocol Specification, 1994

1992
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992


  Loading...