| 2009 | ||
|---|---|---|
| j1 | Simon Richards, Mehrnoosh Sadrzadeh: Aximo: Automated Axiomatic Reasoning for Information Update. Electr. Notes Theor. Comput. Sci. 231: 211-225 (2009) | |
| 2006 | ||
| c2 | Rune M. Jensen, Eric A. Hansen, Simon Richards, Rong Zhou: Memory-Efficient Symbolic Heuristic Search. ICAPS 2006: 304-313 | |
| 2000 | ||
| c1 | Thomas Behrens, Simon Richards: StateLator - Behavioral Code Generation as an Instance of a Model Transformation. CAiSE 2000: 401-416 | |
| 1 | Thomas Behrens | |
| 2 | Eric A. Hansen | |
| 3 | Rune M. Jensen | |
| 4 | Mehrnoosh Sadrzadeh | |
| 5 | Rong Zhou |
Data released under the ODC-BY 1.0 license — See also our legal information page