Toru Kato, Manami Shimazu, Masahiro Higuchi, Hiroshi Ohyama. Integrated development environment for the multiple ambient calculus for modeling freight systems. IEEE International Conference on Automation Science and Engineering. 2016. 2016-. 367-372
CTL Model Checking for Hybrid Timed Ambient Calculus. 2017. 10. 5. 2-2
The Dynamic Routing Function for the Freight Management System with the Multiple Ambient Calculus. 2016. 9. 4. 29-29
Miyai Atom, Kato Toru, Higuchi Masahiro. D-3-7 Experiment on the Freight Management System with the Multiple Ambient Calculus. Proceedings of the IEICE General Conference. 2015. 2015. 1. 28-28
A Logistics Simulator with the Ambient Calculus for Modelling Intraregional Truck Transportation
(the 49th Annual Conference of the IEEE Industrial Electronics Society 2023)
Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus
(the 20th IEEE International Symposium on Parallel and Distributed Processing with Applications 2022)