Christopher D. Thompson-Walsh

According to our database, Christopher D. Thompson-Walsh authored at least 4 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Semantics and extension of a biological modelling language.

Christopher D. Thompson-Walsh

PhD thesis, 2013

2012

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

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2011

Containment in Rule-Based Models.

Christopher D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

2003

\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

Proceedings of the 25th International Conference on Software Engineering, 2003