- in: Balmer M., Vogel A. and Nagel K.
"Shape Morphing of Intersections Using Curb Side Oriented Driver Simulation" (2005)
- in: Nagel K.
"Distributed intelligence in large scale traffic simulations on parallel computers" (2002)
"Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem" (2000)
"New challenges for character-based ai for games." (2002)
"Agent Platform Evaluation and Comparison" (2002)
- 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)
"Agent-Oriented Modeling and Agent-Based Simulation" (2003)
