| 2005 |
| 4 | | Oliver B. Martin,
Brian C. Williams,
Michel D. Ingham:
Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata.
AAAI 2005: 321-326 |
| 2004 |
| 3 | | Brian C. Williams,
Michel D. Ingham,
Seung Chung,
Paul Elliott,
Michael W. Hofbaur,
Gregory T. Sullivan:
Model-Based Programming of Fault-Aware Systems.
AI Magazine 24(4): 61-76 (2004) |
| 2003 |
| 2 | | Brian C. Williams,
Michel D. Ingham,
S. H. Chung,
P. H. Elliott:
Model-based programming of intelligent embedded systems and robotic space explorers.
Proceedings of the IEEE 91(1): 212-237 (2003) |
| 2002 |
| 1 | EE | Brian C. Williams,
Michel D. Ingham:
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State.
CP 2002: 508-524 |