Christopher D. Thompson-Walsh

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Complex Systems

Graph Theoretic

Probabilistic Model

Top Venues

Electron. Notes Theor. Comput. Sci.

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS (2012)
Christopher D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel
Containment in Rule-Based Models. Electron. Notes Theor. Comput. Sci. 284 (2012)
Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh
\chiChek: A Model Checker for Multi-Valued Reasoning. ICSE (2003)