"Les apports de la preuve en B" (1996)
"Evaluation of Traffic Safety using Microsimulation" (2005)
"Global Convergence of Local Agent Behaviors" (2005)
"Distributed intelligence in large scale traffic simulations on parallel computers" (2002)
"Exploiting Temporal and Spatial Coherence in Hierarchical Visibility Algorithms" (2001)
"Exploiting a Virtual Environment in a Real-World Application" (2005)
"Real-time Bounding Box Area Computation" (1999)
"flocks, Herds, and Schools: A Distributed Behavioral Model" (1987)
"Autonomy and Proactive Perception for Virtual Actors" (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: Kline C. and Blumberg B.
"The Art and Science of Synthetic Character Design" (1999)
"Agent Platform Evaluation and Comparison" (2002)
"Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification" (2004)
"Perception Active pour Acteurs Virtuels" (2002)
"Shape Morphing of Intersections Using Curb Side Oriented Driver Simulation" (2005)
"Requirements Analysis of Multi-Agent-Based Simulation Platforms" (2002)
"Shape Morphing of Intersections Using Curb Side Oriented Driver Simulation" (2005)
"flocks, Herds, and Schools: A Distributed Behavioral Model" (1987)
"A Survey of Visibility for Walkthrough Applications" (2003)
"Behavioral Control for Real-Time Simulated Human Agents" (1995)
"Une méthodologie pour la conception de simulateur multi-agents basée sur l'organisation" (2001)
- in: Balmer M., Vogel A. and Nagel K.
"Shape Morphing of Intersections Using Curb Side Oriented Driver Simulation" (2005) - in: Carlson D.A. and Hodgins J.K.
"Simulation Levels of Detail for Real-time Animation" (1997) - in: Dijkstra J., Timmermans H.J.P. and Vries (de) B.
"Virtual Reality-Based Simulation of User Behavior within the Built Environment" (2001) - in: Donikian S.
"How introduce life in Virtual Environments: an Urban Environment Modeling System for Driving Simulation" (1996) - in: Donikian S. and Cozot R.
"General Animation and Simulation Platform" (1995) - in: Donikian S. and Cozot R.
"General Animation and Simulation Platform" (1995) - in: Drogoul A., Vanbergue D. and Meurisse T.
"Multi-Agent Based Simulation: Where are the Agents?" (2002) - in: Drogoul A., Vanbergue D. and Meurisse T.
"Multi-Agent Based Simulation: Where are the Agents?" (2002) - in: Erol K., Levy R. and Wentworth J.
"Application of Agent Technology to Traffic Simulation" (2003) - in: Galland S., Grimaud F., Beaune P. and Campagne J.P.
"MaMA-s: An introduction to a Methodological Approach for the simulation of Distributed Systems" (2003) - in: Henoch J. and Ulrich H.
"Agent-based Simulation Platform for Evaluating Management Concepts" (2001) - in: Henoch J. and Ulrich H.
"Agent-based Simulation Platform for Evaluating Management Concepts" (2001) - in: Koukam A., Mazigh B., Gruer P. and Hilaire V.
"A Multiview Approach to Modeling and Analysis of Discrete Event Systems" (2003) - in: Lees M., Logan B. and Theodoropoulos G.
"Adaptive Optimistic Synchronisation for Multi-Agent Simulation" (2003) - in: Lees M., Logan B. and Theodoropoulos G.
"Adaptive Optimistic Synchronisation for Multi-Agent Simulation" (2003) - in: Liles S., Watsen K. and Zyda M.
"Dynamic Discovery of Simulation Entities Using Bamboo and HLA" (1998) - in: Liles S., Watsen K. and Zyda M.
"Dynamic Discovery of Simulation Entities Using Bamboo and HLA" (1998) - in: Marietto M.B., David N.C., Sichman J.S. and Coelho H.
"Requirements Analysis of Multi-Agent-Based Simulation Platforms" (2002) - in: Okuyama F.Y., Bordini R.H. and Rocha Costa (da) A.C.
"ELMS: An Environment Description Language for Multi-agent Simulation" (2004) - in: Phillips C.T. and Ballin M.G.
"A Cooperative Human-Adaptive Traffic Simulation (CHATS)" (1999) - in: Vanbergue D. and Drogoul A.
"Approche multi-agent pour la simulation urbaine" (2002) - in: Wagner G. and Tulba F.
"Agent-Oriented Modeling and Agent-Based Simulation" (2003)
"Distributed intelligence in large scale traffic simulations on parallel computers" (2002)
"Agent Platform Evaluation and Comparison" (2002)
- in: Augustine L.
"Using the Rational Unified Process (RUP) Successfully for Small Development Projects" (2001) - in: Pollice G.
"Using the Rational Unified Process for Small Projects: Expanding upon eXtreme Programming" (2001)
- in: Barnes C.
"Visual Programming Agents for Virtual Environments" (2000) - in: Duffy B.R., O'Hare G.M.P., O'Donoghue R.P.S., Rooney C.F.B. and Collier R.W.
"Reality and virtual reality in mobile robotics" (1999)
"Agent-based Simulation Platform for Evaluating Management Concepts" (2001)
"Formal Specification and Prototyping of Multi-agent Systems" (2001)
- in: Bittner J. and Havran V.
"Exploiting Temporal and Spatial Coherence in Hierarchical Visibility Algorithms" (2001) - in: Carlson D.A. and Hodgins J.K.
"Simulation Levels of Detail for Real-time Animation" (1997)
- in: Augustine L.
"Using the Rational Unified Process (RUP) Successfully for Small Development Projects" (2001) - 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. and Koukam A.
"Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem" (2000) - in: Kruchten P.
"What us the Rational Unified Process?" (2001) - in: Pollice G.
"Using the Rational Unified Process for Small Projects: Expanding upon eXtreme Programming" (2001)
"Vers une méthodologie formelle de spécification de Systèmes Multi-Agents" (2001)
"Exploiting Temporal and Spatial Coherence in Hierarchical Visibility Algorithms" (2001)
- in: Gruer P., Hilaire V., Koukam A. and Rovarini P.
"Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification" (2004) - in: Hilaire V., Koukam A., Gruer P. and Müller J.P.
"Formal Specification and Prototyping of Multi-agent Systems" (2001)
"Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem" (2000)
- 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: Okuyama F.Y., Bordini R.H. and Rocha Costa (da) A.C.
"ELMS: An Environment Description Language for Multi-agent Simulation" (2004) - in: Wagner G. and Tulba F.
"Agent-Oriented Modeling and Agent-Based Simulation" (2003)
- in: Donikian S. and Cozot R.
"General Animation and Simulation Platform" (1995) - in: Drogoul A., Vanbergue D. and Meurisse T.
"Multi-Agent Based Simulation: Where are the Agents?" (2002)
"Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification" (2004)
"Agent-based Simulation Platform for Evaluating Management Concepts" (2001)
"Planning for Animation" (1995)
"How introduce life in Virtual Environments: an Urban Environment Modeling System for Driving Simulation" (1996)
"Using the Rational Unified Process (RUP) Successfully for Small Development Projects" (2001)
"Autonomous entities in distributed virtual environments" (1996)
"A Survey of Visibility for Walkthrough Applications" (2003)
"Agent-based Simulation Platform for Evaluating Management Concepts" (2001)
- in: Balmer M., Vogel A. and Nagel K.
"Shape Morphing of Intersections Using Curb Side Oriented Driver Simulation" (2005) - in: Hugunein F., Torday A. and Dumont A.G.
"Evaluation of Traffic Safety using Microsimulation" (2005)
- in: Granieri J.P., Becket W., Reich B.D., Crabtree J. and Badler N.I.
"Behavioral Control for Real-Time Simulated Human Agents" (1995) - in: Isla D. and Blumberg B.
"New challenges for character-based ai for games." (2002) - in: Kline C. and Blumberg B.
"The Art and Science of Synthetic Character Design" (1999) - in: Montgomery J.D. and Mackworth A.K.
"Adaptive Synchronisation for a RoboCup Agent" (2002) - in: Parenthoën M., Buche C. and Tisseau J.
"Action Learning for Autonomous Virtual Actors" (2002)
- in: Lees M., Logan B. and Theodoropoulos G.
"Adaptive Optimistic Synchronisation for Multi-Agent Simulation" (2003) - in: Montgomery J.D. and Mackworth A.K.
"Adaptive Synchronisation for a RoboCup Agent" (2002)
- in: Kline C. and Blumberg B.
"The Art and Science of Synthetic Character Design" (1999) - in: Kuffner J.J. and Latombe J.C.
"Fast Synthetic Vision, Memory, and Learning Models for Virtual Humans" (1999)
"Vers une méthodologie formelle de spécification de Systèmes Multi-Agents" (2001)
"How introduce life in Virtual Environments: an Urban Environment Modeling System for Driving Simulation" (1996)
"Autonomy and Proactive Perception for Virtual Actors" (2002)
- in: Butler M. and Waldén M.
"Distributed Systems Development in B" (1996) - in: Galland S., Grimaud F., Beaune P. and Campagne J.P.
"MaMA-s: An introduction to a Methodological Approach for the simulation of Distributed Systems" (2003) - 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., 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: Koukam A., Mazigh B., Gruer P. and Hilaire V.
"A Multiview Approach to Modeling and Analysis of Discrete Event Systems" (2003) - in: Koukam A., Mazigh B., Gruer P. and Hilaire V.
"A Multiview Approach to Modeling and Analysis of Discrete Event Systems" (2003) - in: Okuyama F.Y., Bordini R.H. and Rocha Costa (da) A.C.
"ELMS: An Environment Description Language for Multi-agent Simulation" (2004) - in: Parenthoën M., Tisseau J. and Morineau T.
"Believable Decision for Virtual Actors" (2002) - in: Parunak H.V.D., Brueckner S.A., Sauter J.A. and Matthews R.
"Global Convergence of Local Agent Behaviors" (2005) - in: Weyns D., Schelfthout K. and Holvoet T.
"Exploiting a Virtual Environment in a Real-World Application" (2005)
