| Rule-based modelling of cellular signalling V Danos, J Feret, W Fontana, R Harmer, J Krivine International Conference on Concurrency Theory (CONCUR), 17-41, 2007 | 423 | 2007 |
| Internal coarse-graining of molecular systems J Feret, V Danos, J Krivine, R Harmer, W Fontana Proceedings of the National Academy of Sciences 106 (16), 6453, 2009 | 245 | 2009 |
| A fully abstract game semantics for finite nondeterminism R Harmer, G McCusker 14th Annual IEEE Symposium on Logic in Computer Science (LICS), 422-430, 1999 | 142 | 1999 |
| Probabilistic game semantics V Danos, R Harmer ACM Transactions on Computational Logic (TOCL) 3 (3), 359-382, 2002 | 140 | 2002 |
| Games and full abstraction for non-deterministic languages R Harmer University of London, 1999 | 112 | 1999 |
| Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models V Danos, J Feret, W Fontana, R Harmer, J Hayman, J Krivine, ... 32nd IARCS Conference on Foundations of Software Technology and Theoretical …, 2012 | 97 | 2012 |
| Rule-based modelling, symmetries, refinements V Danos, J Feret, W Fontana, R Harmer, J Krivine International Workshop on Formal Methods in Systems Biology, 103-122, 2008 | 97 | 2008 |
| Abstracting the differential semantics of rule-based models: exact and automated model reduction V Danos, J Feret, W Fontana, R Harmer, J Krivine 25th Annual IEEE Symposium on Logic in Computer Science (LICS), 362-381, 2010 | 94 | 2010 |
| Rule-based modelling and model perturbation V Danos, J Feret, W Fontana, R Harmer, J Krivine Transactions on Computational Systems Biology XI (TCSB), 116-137, 2009 | 93 | 2009 |
| Categorical combinatorics for innocent strategies R Harmer, M Hyland, PA Melliès 22nd Annual IEEE Symposium on Logic in Computer Science (LICS), 379-388, 2007 | 78 | 2007 |
| Intrinsic information carriers in combinatorial dynamical systems R Harmer, V Danos, J Feret, J Krivine, W Fontana Chaos: An Interdisciplinary Journal of Nonlinear Science 20 (3), 037108, 2010 | 63 | 2010 |
| Rule‐Based Modeling and Model Refinement E Murphy, V Danos, J Feret, J Krivine, R Harmer Elements of Computational Systems Biology, 83-114, 2009 | 33 | 2009 |
| Schema validation and evolution for graph databases A Bonifati, P Furniss, A Green, R Harmer, E Oshurko, H Voigt 38th International Conference on Conceptual Modeling (ER), 2019 | 26 | 2019 |
| Totality in arena games P Clairambault, R Harmer Annals of pure and applied logic 161 (5), 673-689, 2010 | 23 | 2010 |
| The anatomy of innocence V Danos, R Harmer 15th International Workshop on Computer Science Logic (CSL), 188-202, 2001 | 23 | 2001 |
| Constraining rule-based dynamics with types V Danos, R Harmer, G Winskel MSCS 23 (2), 272-289, 2013 | 22 | 2013 |
| Rule-based modelling and tunable resolution R Harmer EPTCS 9, 65-72, 2009 | 19 | 2009 |
| Innocent game semantics R Harmer Lecture notes 2007, 2004 | 18 | 2004 |
| A knowledge representation meta-model for rule-based modelling of signalling networks A Basso-Blandin, W Fontana, R Harmer EPTCS 204, 47-59, 2016 | 16 | 2016 |
| Thermodynamic graph-rewriting V Danos, R Harmer, R Honorato-Zimmer Logical Methods in Computer Science 11 (2), 1-26, 2015 | 16 | 2015 |
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
