| 2009 |
|---|
| 6 | 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 |
|---|
| 5 | EE | Robert Craven,
Marek J. Sergot:
Agent strands in the action language nC+.
J. Applied Logic 6(2): 172-191 (2008) |
| 2006 |
|---|
| 4 | EE | Marek J. Sergot,
Robert Craven:
The Deontic Component of Action Language nC+.
DEON 2006: 222-237 |
| 2005 |
|---|
| 3 | EE | Marek J. Sergot,
Robert Craven:
Some Logical Properties of Nonmonotonic Causal Theories.
LPNMR 2005: 198-210 |
| 2 | EE | 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 |
