| 2009 |
|---|
| 3 | EE | Robert Craven,
Jorge Lobo,
Jiefei Ma,
Alessandra Russo,
Emil C. Lupu,
Arosha Bandara:
Expressive policy analysis with enhanced system dynamicity.
ASIACCS 2009: 239-250 |
| 2008 |
|---|
| 2 | EE | Jiefei Ma,
Alessandra Russo,
Krysia Broda,
Keith Clark:
DARE: a system for distributed abductive reasoning.
Autonomous Agents and Multi-Agent Systems 16(3): 271-297 (2008) |
| 2007 |
|---|
| 1 | EE | Krysia Broda,
Jiefei Ma,
Gabrielle Sinnadurai,
Alexander J. Summers:
Pandora: A Reasoning Toolbox using Natural Deduction Style.
Logic Journal of the IGPL 15(4): 293-304 (2007) |
