| Rule-based modelling of cellular signalling V Danos, J Feret, W Fontana, R Harmer, J Krivine International conference on concurrency theory, 17-41, 2007 | 463 | 2007 |
| Reversible communicating systems V Danos, J Krivine International Conference on Concurrency Theory, 292-307, 2004 | 325 | 2004 |
| 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-6458, 2009 | 291 | 2009 |
| Scalable simulation of cellular signaling networks V Danos, J Feret, W Fontana, J Krivine Asian Symposium on Programming Languages and Systems, 139-157, 2007 | 276 | 2007 |
| Stochastic bigraphs J Krivine, R Milner, A Troina Electronic Notes in Theoretical Computer Science 218, 73-96, 2008 | 162 | 2008 |
| The Kappa platform for rule-based modeling P Boutillier, M Maasha, X Li, HF Medina-Abarca, J Krivine, J Feret, ... Bioinformatics 34 (13), i583-i592, 2018 | 140 | 2018 |
| Abstract interpretation of cellular signalling networks V Danos, J Feret, W Fontana, J Krivine International Workshop on Verification, Model Checking, and Abstract …, 2008 | 136 | 2008 |
| Formal molecular biology done in CCS-R V Danos, J Krivine Electronic Notes in Theoretical Computer Science 180 (3), 31-49, 2007 | 131 | 2007 |
| A compositional semantics for the reversible pi-calculus I Cristescu, J Krivine, D Varacca Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer …, 2013 | 125 | 2013 |
| Graphs, rewriting and pathway reconstruction for rule-based models V Danos, J Feret, W Fontana, R Harmer, J Hayman, J Krivine, ... FSTTCS 2012-IARCS Annual Conference on Foundations of Software Technology …, 2012 | 123 | 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 | 109 | 2008 |
| Abstracting the differential semantics of rule-based models: exact and automated model reduction V Danos, J Feret, W Fontana, R Harmer, J Krivine 2010 25th Annual IEEE Symposium on Logic in Computer Science, 362-381, 2010 | 106 | 2010 |
| Rule-based modelling and model perturbation V Danos, J Feret, W Fontana, R Harmer, J Krivine Transactions on Computational Systems Biology XI, 116-137, 2009 | 99 | 2009 |
| Transactions in RCCS V Danos, J Krivine International Conference on Concurrency Theory, 398-412, 2005 | 99 | 2005 |
| 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), 2010 | 70 | 2010 |
| Combinatorial complexity and compositional drift in protein interaction networks EJ Deeds, J Krivine, J Feret, V Danos, W Fontana PloS one 7 (3), e32032, 2012 | 57 | 2012 |
| General reversibility V Danos, J Krivine, P Sobociński Electronic Notes in Theoretical Computer Science 175 (3), 75-86, 2007 | 42 | 2007 |
| Rigid families for CCS and the-calculus ID Cristescu, J Krivine, D Varacca International Colloquium on Theoretical Aspects of Computing, 223-240, 2015 | 33 | 2015 |
| Rule‐Based Modeling and Model Refinement E Murphy, V Danos, J Feret, J Krivine, R Harmer Elements of computational systems biology, 83-114, 2010 | 33 | 2010 |
| Dynamic influence networks for rule-based models AG Forbes, A Burks, K Lee, X Li, P Boutillier, J Krivine, W Fontana IEEE transactions on visualization and computer graphics 24 (1), 184-194, 2017 | 32 | 2017 |
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
