chiChek: A Model Checker for Multi-Valued Reasoning. - Steve M. Easterbrook; Marsha Chechik; Benet Devereux; Arie Gurfinkel; Albert Y. C. Lai; Victor Petrovykh; Anya Tafliovich; Christopher D. Thompson-Walsh (ICSE, 2003)

Containment in Rule-Based Models. - Christopher D. Thompson-Walsh; Jonathan Hayman; Glynn Winskel (SASB, 2011)

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jonathan Hayman; Jean Krivine; Christopher D. Thompson-Walsh; Glynn Winskel (FSTTCS, 2012)

Semantics and extension of a biological modelling language. - Christopher D. Thompson-Walsh (2013)