Root

Distributed System

		[BW+96] Butler M. et al., "Distributed Systems Development in B" (1996)
		[KMG+03] Koukam A. et al., "A Multiview Approach to Modeling and..." (2003)
		[LWZ+98] Liles S. et al., "Dynamic Discovery of Simulation Entities..." (1998)
		[PB+99] Phillips C.T. et al., "A Cooperative Human-Adaptive Traffic..." (1999)
		[Rey87] Reynolds C.W., "flocks, Herds, and Schools: A Distrib..." (1987)

Formal Specification

Logic-based

[WL+00] Woolridge M. et al., "A Logic of Visibility, Perception, and..." (2000)

OZS

			[GHK+00] Gruer P. et al., "Verification of Object-Z Specifications..." (2000)
			[GHK+02] Gruer P. et al., "A formal framework for multi-agent..." (2002)
			[GHK+04] Gruer P. et al., "Heterogeneous formal specification based..." (2004)
			[HKG+01] Hilaire V. et al., "Formal Specification and Prototyping of..." (2001)
			[HKG+01b] Hilaire V. et al., "Vers une méthodologie formelle de..." (2001)

RIO

			[HKG+01] Hilaire V. et al., "Formal Specification and Prototyping of..." (2001)
			[HKG+01b] Hilaire V. et al., "Vers une méthodologie formelle de..." (2001)

The Method B

			[BW+96] Butler M. et al., "Distributed Systems Development in B" (1996)
			[RBS+96] Roques C. et al., "Les apports de la preuve en B" (1996)

Methodology

[GGB+03] Galland S. et al., "MaMA-s: An introduction to a..." (2003)

Multi-Agent Systems

Agent Architecture

Cognitive Architecture

				[KB+99] Kline C. et al., "The Art and Science of Synthetic..." (1999)
				[Nag02] Nagel K., "Distributed intelligence in large scale..." (2002)
				[OBR+04] Okuyama F.Y. et al., "ELMS: An Environment Description Lang..." (2004)
				[PBT+02] Parenthoën M. et al., "Action Learning for Autonomous Virtual..." (2002)
				[PRT+01] Parenthoën M. et al., "Put Fuzzy Cognitive Maps to Work in..." (2001)
				[PTM+02] Parenthoën M. et al., "Autonomy and Proactive Perception for..." (2002)
				[PTM+02b] Parenthoën M. et al., "Believable Decision for Virtual Actors" (2002)
				[PTM+02c] Parenthoën M. et al., "Perception Active pour Acteurs Virtuels" (2002)
				[TR+95] Tambe M. et al., "Architectures for Agents that Track O..." (1995)

			[BAZ+02] Badler N. et al., "Representing and Parameterizing Agent..." (2002)
			[BG+95] Blumberg B.M. et al., "Multi-Level Direction of Autonomous..." (1995)
			[BVN+05] Balmer M. et al., "Shape Morphing of Intersections Using..." (2005)
			[BWB+95] Badler N.I. et al., "Planning for Animation" (1995)
			[DTV+01] Dijkstra J. et al., "Virtual Reality-Based Simulation of User..." (2001)

Distributed Synchronization

			[LLT+03] Lees M. et al., "Adaptive Optimistic Synchronisation for..." (2003)
			[MGF+01] Michel F. et al., "Une méthodologie pour la..." (2001)
			[MM+02] Montgomery J.D. et al., "Adaptive Synchronisation for a RoboCup..." (2002)

Environment

			[BTG+96] Balet O. et al., "Autonomous entities in distributed..." (1996)
			[BVN+05] Balmer M. et al., "Shape Morphing of Intersections Using..." (2005)
			[OBR+04] Okuyama F.Y. et al., "ELMS: An Environment Description Lang..." (2004)
			[WSH+05] Weyns D. et al., "Exploiting a Virtual Environment in a..." (2005)

Language

			[Bar00] Barnes C., "Visual Programming Agents for Virtual..." (2000)
			[PA+99] Panayiotopoulos T. et al., "Towards a Virtual Reality Intelligent..." (1999)

Model

			[WL+00] Woolridge M. et al., "A Logic of Visibility, Perception, and..." (2000)
			[WT+03] Wagner G. et al., "Agent-Oriented Modeling and Agent-Based..." (2003)

Platform

			[MDS+02] Marietto M.B. et al., "Requirements Analysis of..." (2002)
			[ND+02] Nguyen T.G. et al., "Agent Platform Evaluation and Comparison" (2002)

		[DC+95] Donikian S. et al., "General Animation and Simulation Platform" (1995)
		[DOO+99] Duffy B.R. et al., "Reality and virtual reality in mobile..." (1999)
		[DVM+02] Drogoul A. et al., "Multi-Agent Based Simulation: Where are..." (2002)
		[ELW+03] Erol K. et al., "Application of Agent Technology to..." (2003)
		[GBR+95] Granieri J.P. et al., "Behavioral Control for Real-Time..." (1995)
		[GGB+03] Galland S. et al., "MaMA-s: An introduction to a..." (2003)
		[GHK+00] Gruer P. et al., "Verification of Object-Z Specifications..." (2000)
		[GHK+02] Gruer P. et al., "A formal framework for multi-agent..." (2002)
		[GHK+04] Gruer P. et al., "Heterogeneous formal specification based..." (2004)
		[HKG+01] Hilaire V. et al., "Formal Specification and Prototyping of..." (2001)
		[HKG+01b] Hilaire V. et al., "Vers une méthodologie formelle de..." (2001)
		[HU+01] Henoch J. et al., "Agent-based Simulation Platform for..." (2001)
		[IB+02] Isla D. et al., "New challenges for character-based ai..." (2002)
		[PB+99] Phillips C.T. et al., "A Cooperative Human-Adaptive Traffic..." (1999)
		[PBS+05] Parunak H.V.D. et al., "Global Convergence of Local Agent..." (2005)
		[VD+02] Vanbergue D. et al., "Approche multi-agent pour la simulation..." (2002)

Multiview Model

[KMG+03] Koukam A. et al., "A Multiview Approach to Modeling and..." (2003)

Production Systems

		[GGB+03] Galland S. et al., "MaMA-s: An introduction to a..." (2003)
		[HU+01] Henoch J. et al., "Agent-based Simulation Platform for..." (2001)

Robotics

		[DOO+99] Duffy B.R. et al., "Reality and virtual reality in mobile..." (1999)
		[MM+02] Montgomery J.D. et al., "Adaptive Synchronisation for a RoboCup..." (2002)

Simulation

HLA

[LWZ+98] Liles S. et al., "Dynamic Discovery of Simulation Entities..." (1998)

Indicators

[HTD+05] Hugunein F. et al., "Evaluation of Traffic Safety using..." (2005)

Microscopic Model

[HTD+05] Hugunein F. et al., "Evaluation of Traffic Safety using..." (2005)

Multilevel

[PBS+05] Parunak H.V.D. et al., "Global Convergence of Local Agent..." (2005)

		[BG+95] Blumberg B.M. et al., "Multi-Level Direction of Autonomous..." (1995)
		[Bar00] Barnes C., "Visual Programming Agents for Virtual..." (2000)
		[CH+97] Carlson D.A. et al., "Simulation Levels of Detail for Real-..." (1997)
		[GGB+03] Galland S. et al., "MaMA-s: An introduction to a..." (2003)
		[KMG+03] Koukam A. et al., "A Multiview Approach to Modeling and..." (2003)
		[Rey87] Reynolds C.W., "flocks, Herds, and Schools: A Distrib..." (1987)
		[TR+95] Tambe M. et al., "Architectures for Agents that Track O..." (1995)
		[VD+02] Vanbergue D. et al., "Approche multi-agent pour la simulation..." (2002)
		[WT+03] Wagner G. et al., "Agent-Oriented Modeling and Agent-Based..." (2003)

Software Engeneering

		[Aug01] Augustine L., "Using the Rational Unified Process (RUP)..." (2001)
		[Kru01] Kruchten P., "What us the Rational Unified Process?" (2001)
		[Pol01] Pollice G., "Using the Rational Unified Process for..." (2001)

Transportation and Logistical Systems

[Nag02] Nagel K., "Distributed intelligence in large scale..." (2002)

Unified Software Development Process (UP)

		[Aug01] Augustine L., "Using the Rational Unified Process (RUP)..." (2001)
		[Kru01] Kruchten P., "What us the Rational Unified Process?" (2001)
		[Pol01] Pollice G., "Using the Rational Unified Process for..." (2001)

Urban Simulation

		[BVN+05] Balmer M. et al., "Shape Morphing of Intersections Using..." (2005)
		[Don96] Donikian S., "How introduce life in Virtual..." (1996)
		[ELW+03] Erol K. et al., "Application of Agent Technology to..." (2003)
		[HTD+05] Hugunein F. et al., "Evaluation of Traffic Safety using..." (2005)
		[PB+99] Phillips C.T. et al., "A Cooperative Human-Adaptive Traffic..." (1999)
		[VD+02] Vanbergue D. et al., "Approche multi-agent pour la simulation..." (2002)

Virtual Reality

Animat

Human

				[BAZ+02] Badler N. et al., "Representing and Parameterizing Agent..." (2002)
				[BWB+95] Badler N.I. et al., "Planning for Animation" (1995)
				[DTV+01] Dijkstra J. et al., "Virtual Reality-Based Simulation of User..." (2001)
				[GBR+95] Granieri J.P. et al., "Behavioral Control for Real-Time..." (1995)
				[PBT+02] Parenthoën M. et al., "Action Learning for Autonomous Virtual..." (2002)
				[PRT+01] Parenthoën M. et al., "Put Fuzzy Cognitive Maps to Work in..." (2001)
				[PTM+02] Parenthoën M. et al., "Autonomy and Proactive Perception for..." (2002)
				[PTM+02b] Parenthoën M. et al., "Believable Decision for Virtual Actors" (2002)
				[PTM+02c] Parenthoën M. et al., "Perception Active pour Acteurs Virtuels" (2002)
				[QRC+01] Querrec R. et al., "Humans and Autonomous Agents Interact..." (2001)

			[BG+95] Blumberg B.M. et al., "Multi-Level Direction of Autonomous..." (1995)
			[Bar00] Barnes C., "Visual Programming Agents for Virtual..." (2000)
			[IB+02] Isla D. et al., "New challenges for character-based ai..." (2002)
			[PA+99] Panayiotopoulos T. et al., "Towards a Virtual Reality Intelligent..." (1999)
			[Rey87] Reynolds C.W., "flocks, Herds, and Schools: A Distrib..." (1987)

Environment

[Don96] Donikian S., "How introduce life in Virtual..." (1996)

Level of Details

[CH+97] Carlson D.A. et al., "Simulation Levels of Detail for Real-..." (1997)

Perception

			[BH+01] Bittner J. et al., "Exploiting Temporal and Spatial Coher..." (2001)
			[CCS+03] Cohen-Or D. et al., "A Survey of Visibility for Walkthrough..." (2003)
			[KL+99] Kuffner J.J. et al., "Fast Synthetic Vision, Memory, and..." (1999)
			[PO+02] Peters C. et al., "A Memory Model for Autonomous Virtual..." (2002)

Platform

			[BTG+96] Balet O. et al., "Autonomous entities in distributed..." (1996)
			[DC+95] Donikian S. et al., "General Animation and Simulation Platform" (1995)

		[DOO+99] Duffy B.R. et al., "Reality and virtual reality in mobile..." (1999)
		[ST+99] Schmalstieg D. et al., "Real-time Bounding Box Area Computation" (1999)
		[TR+95] Tambe M. et al., "Architectures for Agents that Track O..." (1995)
		[WSH+05] Weyns D. et al., "Exploiting a Virtual Environment in a..." (2005)

Submit a bug

This document was generated by bib2html 4.0.
Copyright © 1998-05 Stéphane GALLAND (under the GNU General Public License)