 | 2009 |
|---|
| 5 |       | Maurizio Marchese,
Lorenzino Vaccari,
Gaia Trecarichi,
Nardine Osman,
Fiona McNeill,
Paolo Besana:
An interaction-centric approach to support peer coordination in distributed emergency response management.
Intelligent Decision Technologies 3(1): 19-34 (2009) |
| 2007 |
|---|
| 4 | | Nardine Osman,
David Robertson:
Dynamic Verification of Trust in Distributed Open Systems.
IJCAI 2007: 1440-1445 |
| 2006 |
|---|
| 3 | | Nardine Osman,
David Robertson,
Christopher Walton:
Run-time model checking of interaction and deontic models for multi-agent systems.
AAMAS 2006: 238-240 |
| 2 | | Nardine Osman,
David Robertson,
Christopher Walton:
Dynamic Model Checking for Multi-agent Systems.
DALT 2006: 43-60 |
| 2005 |
|---|
| 1 |  | Nardine Osman,
David Robertson,
Christopher Walton:
Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems.
EUMAS 2005: 248-259 |
