| |
| 2009 | ||
|---|---|---|
| 3 | EE | Simon Richards, Mehrnoosh Sadrzadeh: Aximo: Automated Axiomatic Reasoning for Information Update. Electr. Notes Theor. Comput. Sci. 231: 211-225 (2009) |
| 2006 | ||
| 2 | Rune M. Jensen, Eric A. Hansen, Simon Richards, Rong Zhou: Memory-Efficient Symbolic Heuristic Search. ICAPS 2006: 304-313 | |
| 2000 | ||
| 1 | EE | Thomas Behrens, Simon Richards: StateLator - Behavioral Code Generation as an Instance of a Model Transformation. CAiSE 2000: 401-416 |
| 1 | Thomas Behrens | [1] |
| 2 | Eric A. Hansen | [2] |
| 3 | Rune M. Jensen | [2] |
| 4 | Mehrnoosh Sadrzadeh | [3] |
| 5 | Rong Zhou | [2] |