 | 2012 |
| 10 |  | Alexander Artikis,
Robert Craven,
Nihan Kesim Cicekli,
Babak Sadighi,
Kostas Stathis:
Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Springer 2012 |
| 2011 |
| 9 |  | Robert Craven,
Jorge Lobo,
Emil Lupu,
Alessandra Russo,
Morris Sloman:
Policy refinement: Decomposition and operationalization for dynamic domains.
CNSM 2011: 1-9 |
| 8 |  | Srdjan Marinovic,
Robert Craven,
Jiefei Ma,
Naranker Dulay:
Rumpole: a flexible break-glass access control model.
SACMAT 2011: 73-82 |
| 2010 |
| 7 |  | Robert Craven,
Jorge Lobo,
Emil C. Lupu,
Alessandra Russo,
Morris Sloman:
Decomposition techniques for policy refinement.
CNSM 2010: 72-79 |
| 2009 |
| 6 |  | Robert Craven,
Jorge Lobo,
Jiefei Ma,
Alessandra Russo,
Emil C. Lupu,
Arosha K. Bandara:
Expressive policy analysis with enhanced system dynamicity.
ASIACCS 2009: 239-250 |
| 2008 |
| 5 |  | Robert Craven,
Marek J. Sergot:
Agent strands in the action language nC+.
J. Applied Logic 6(2): 172-191 (2008) |
| 2006 |
| 4 |  | Marek J. Sergot,
Robert Craven:
The Deontic Component of Action Language nC+.
DEON 2006: 222-237 |
| 2005 |
| 3 |  | Marek J. Sergot,
Robert Craven:
Some Logical Properties of Nonmonotonic Causal Theories.
LPNMR 2005: 198-210 |
| 2 |  | Robert Craven,
Marek J. Sergot:
Distant Causation in C+.
Studia Logica 79(1): 73-96 (2005) |
| 1983 |
| 1 |  | Robert Craven,
Joseph Schissler,
Peter Konde:
Chroma Voltmeter Measurement Techniques for Analog LSI Devices.
ITC 1983: 771-783 |