"Une méthodologie pour la conception de simulateur multi-agents basée sur l'organisation" (2001)
"Les apports de la preuve en B" (1996)
- in: Okuyama F.Y., Bordini R.H. and Rocha Costa (da) A.C.
"ELMS: An Environment Description Language for Multi-agent Simulation" (2004)
- in: Panayiotopoulos T. and Anastassakis G.
"Towards a Virtual Reality Intelligent Agent Language" (1999)
"Architectures for Agents that Track Other Agents in Multi-Agent Worlds" (1995)
"Distributed intelligence in large scale traffic simulations on parallel computers" (2002)
"Fast Synthetic Vision, Memory, and Learning Models for Virtual Humans" (1999)
"Humans and Autonomous Agents Interactions in a Virtual Environment for fire fighting Training" (2001)
- in: Gruer P., Hilaire V. and Koukam A.
"Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem" (2000) - in: Hilaire V., Koukam A., Gruer P. and Müller J.P.
"Formal Specification and Prototyping of Multi-agent Systems" (2001)
"Adaptive Optimistic Synchronisation for Multi-Agent Simulation" (2003)
"Simulation Levels of Detail for Real-time Animation" (1997)
"Application of Agent Technology to Traffic Simulation" (2003)
"Perception Active pour Acteurs Virtuels" (2002)
"How introduce life in Virtual Environments: an Urban Environment Modeling System for Driving Simulation" (1996)
"Dynamic Discovery of Simulation Entities Using Bamboo and HLA" (1998)
"Multi-Agent Based Simulation: Where are the Agents?" (2002)
"Global Convergence of Local Agent Behaviors" (2005)
"Adaptive Optimistic Synchronisation for Multi-Agent Simulation" (2003)
"A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results" (2000)
"Perception Active pour Acteurs Virtuels" (2002)
"A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results" (2000)
