| 2006 |
|---|
| 5 | EE | Nardine Osman,
David Robertson,
Christopher Walton:
Run-time model checking of interaction and deontic models for multi-agent systems.
AAMAS 2006: 238-240 |
| 4 | EE | Nardine Osman,
David Robertson,
Christopher Walton:
Dynamic Model Checking for Multi-agent Systems.
DALT 2006: 43-60 |
| 2005 |
|---|
| 3 | | Nardine Osman,
David Robertson,
Christopher Walton:
Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems.
EUMAS 2005: 248-259 |
| 2 | | Christopher Walton:
Agent Protocols for Peer-to-peer Architectures.
EUMAS 2005: 439-446 |
| 2001 |
|---|
| 1 | EE | Wamberto Weber Vasconcelos,
David Stuart Robertson,
Jaume Agustí-Cullell,
Carles Sierra,
Michael Wooldridge,
Simon Parsons,
Christopher Walton,
Jordi Sabater:
A Lifecycle for Models of Large Multi-agent Systems.
AOSE 2001: 297-318 |
