"Simulation Levels of Detail for Real-time Animation" (1997)
"The Art and Science of Synthetic Character Design" (1999)
"A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results" (2000)
- in: Gruer P., Hilaire V., Koukam A. and Rovarini P.
"Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification" (2004)
- in: Gruer P., Hilaire V., Koukam A. and Cetnarowicz K.
"A formal framework for multi-agent systems analysis and design" (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) - in: Hilaire V., Koukam A., Gruer P. and Müller J.P.
"Vers une méthodologie formelle de spécification de Systèmes Multi-Agents" (2001) - in: Koukam A., Mazigh B., Gruer P. and Hilaire V.
"A Multiview Approach to Modeling and Analysis of Discrete Event Systems" (2003)
"What us the Rational Unified Process?" (2001)
"Fast Synthetic Vision, Memory, and Learning Models for Virtual Humans" (1999)
