​
Login / Signup
Toru Kato
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 4
Top Topics
Distribution Network
Formal Language
Container Terminal
Algebraic Structure
Top Venues
IECON
CASE
Theor. Comput. Sci.
ISPA/BDCloud/SocialCom/SustainCom
</>
Publications
</>
Toru Kato
,
Yoichi Hirashima
The synchronized ambient calculus.
Theor. Comput. Sci.
994 (2024)
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)
Toru Kato
,
Masahiro Higuchi
A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags.
NBiS
(2012)