1. A Logistics Simulator with the Ambient Calculus for Modeling Intra-Regional Truck Transportation;IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society;2023-10-16
2. Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus;2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2022-12
3. Typed context awareness Ambient Calculus for pervasive applications;Formal Aspects of Computing;2015-11
4. Decidability of Modular Logics for Concurrency;Perspectives of Systems Informatics;2012
5. A spatial equational logic for the applied π-calculus;Distributed Computing;2010-07-13