A Formal Approach to Building Compositional Agent-Based Simulation. In: Edmonds B, Meyer R, editors. Simulating Social Complexity. Vol A handbook. Berlin Heidelberg: Springer-Verlag; 2013. p. 57-94. (Understanding Complex Systems; vol A handbook).
Automated Formal Analysis of Human Multi-Issue Negotiation Processes. Multiagent and Grid Systems. 2008;Volume 4, Number 2 / 2008. Abstract
{BDI}-Modelling of Complex Intracellular Dynamics. Journal of Theoretical Biology. 2008;1:1-23. Abstract
Formal Analysis of Trust Dynamics in Human and Software Agent Experiments. In: Cooperative Information Agents XI. Vol 4676. Springer; 2007. p. 343-59. Abstract
Reasoning with Multiple Representations: Analysis and Simulation. Applied Artificial Intelligence Journal.. 2007;in press.
On the use of Organisation Modelling Techniques to Address Biological Organisation. Multi-Agent and Grid Systems Journal. 2007;in press.
An Agent Architecture for Multi-Attribute Negotiation Using Incomplete Preference Information. Autonomous Agents and Multi-Agent Systems Journal. 2007;15(2). Abstract
Simulation and Analysis of Adaptive Agents: an Integrative Modelling Approach. Advances in Complex Systems Journal. 2007;in press.
Analysis of Meeting Protocols by Formalisation and Simulation and Verification. Journal of Computational and Mathematical Organisation Theory. 2007;in press.
On the use of Organisation Modelling Techniques to Address Biological Organisation. . Multi-Agent and Grid Systems Journal. 2007;in press.