author : Wooldridge
15
publications
Programming Multi-Agent Systems in AgentSpeak using Jason (2007) — Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge Verifying Multi-agent Programs by Model Checking (Autonomous Agents and Multi-Agent Systems, 2006) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge Verifiable Multi-agent Programs (PROMAS 2003 @ AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge Model Checking AgentSpeak (AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge Developing multiagent systems: The Gaia methodology (ACM Transactions on Software Engineering and Methodology, 2003) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge Model Checking Multi-Agent Systems with MABLE (AAMAS 2002) — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (International Journal of Software Engineering and Knowledge Engineering, 2001) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge Agent-Oriented Software Engineering for Internet Applications (Coordination of Internet Agents, 2001) — Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge The Gaia Methodology for Agent-Oriented Analysis and Design (Autonomous Agents and Multi-Agent Systems, 2000) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny A Methodology for Agent-Oriented Analysis and Design (Agents '99) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny Intelligent Agents: Theory and Practice (The Knowledge Engineering Review, 1995) — Michael J. Wooldridge, Nicholas R. Jennings