StateLator - Behavioral Code Generation as an Instance of a Model Transformation. - Thomas Behrens; Simon Richards (CAiSE, 2000)

Memory-Efficient Symbolic Heuristic Search. - Rune Møller Jensen; Eric A. Hansen; Simon Richards; Rong Zhou 001 (ICAPS, 2006)

Aximo: Automated Axiomatic Reasoning for Information Update. - Simon Richards; Mehrnoosh Sadrzadeh (M4M, 2007)

Korrektur des k-Faktors und mutueller Kopplung bei asymmetrischen Freileitungen zur Optimierung der Distanzschutz-Zuverlässigkeit. - Ulrich Klapper; Alexander Apostolov; Damien Tholomier; Simon Richards (Elektrotech. Informationstechnik, 2008)