Formalisation and Analysis of the Temporal Dynamics of Conditioning. In: Mueller JP, Zambonelli F, editors. Proceedings of the 7th International Workshop on Agent-Oriented Software Engineering and AOSE'05 and May 8-12 and 2006 andHakodate Japan. Vol vol. 3950. Springer Verlag and; 2006. p. 54-68.
Formalisation and Analysis of the Temporal Dynamics of Conditioning. In: Mueller JP, Zambonelli F, editors. Proceedings of the 6th International Workshop on Agent-Oriented Software Engineering and AOSE-2005.; 2005. p. 157-68.
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In: Mueller JP, Singh MP, Rao AS, editors. Intelligent Agents V and Proceedings of the 5th International Workshop on Agent Theories and Architectures and Languages and ATAL'98. Vol vol. 1555. Springer Verlag; 1999. pp. p. 177-194.
Formalization of a cooperation model based on joint intentions. In: Mueller JP, Wooldridge MJ, editors. Intelligent Agents III and Proceedings of the Third International Workshop on Agent Theories and Architectures and Languages and ATAL'96. Vol volume 1193. Springer Verlag; 1997. 141 – 155.