1. Unconventional Computers Designed on Swarm Behaviours;Emergence, Complexity and Computation;2018-05-26
2. PHYSARUM SPATIAL LOGIC;New Mathematics and Natural Computation;2011-09
3. Permission-Based Separation Logic for Message-Passing Concurrency;Logical Methods in Computer Science;2011-09-01
4. Model Checking for Nominal Calculi;Foundations of Software Science and Computational Structures;2005
5. Model Checking for π-Calculus Using Proof Search;Lecture Notes in Computer Science;2005