Simon Richards

Publication Activity (10 Years)

Years Active: 2000-2009
Publications (10 Years): 0

Publications

Simon Richards, Mehrnoosh Sadrzadeh
Aximo: Automated Axiomatic Reasoning for Information Update. Electron. Notes Theor. Comput. Sci. 231 (2009)
Ulrich Klapper, Alexander Apostolov, Damien Tholomier, Simon Richards
-Faktors und mutueller Kopplung bei asymmetrischen Freileitungen zur Optimierung der Distanzschutz-Zuverlässigkeit. Elektrotech. Informationstechnik 125 (12) (2008)
Rune M. Jensen, Eric A. Hansen, Simon Richards, Rong Zhou
Memory-Efficient Symbolic Heuristic Search. ICAPS (2006)
Thomas Behrens, Simon Richards
StateLator - Behavioral Code Generation as an Instance of a Model Transformation. CAiSE (2000)