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.
Modelling Centralized Organization of Organizational Change. Computational and Mathematical Organization Theory. 2007;in press.
Simulation and Analysis of Adaptive Agents: an Integrative Modelling Approach. Advances in Complex Systems Journal. 2007;in press.
A Framework for Formal Modeling and Analysis of Organizations. Journal of Applied Intelligence. 2007;27(1):49-66. 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.