Vincent Danos

Abstracting the differential semantics of rule-based models: exact and automated model reduction

Vincent Danos, Russell Harmer, Jean Krivine, 2010 .

Rule-Based Modelling and Model Perturbation

Vincent Danos, Russell Harmer, Jean Krivine, 2009, Trans. Comp. Sys. Biology.