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 |