Rule-based modelling of cellular signalling V Danos, J Feret, W Fontana, R Harmer, J Krivine International conference on concurrency theory, 17-41, 2007 | 440 | 2007 |
Reversible communicating systems V Danos, J Krivine International Conference on Concurrency Theory, 292-307, 2004 | 283 | 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 | 272 | 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 | 267 | 2007 |
Stochastic bigraphs J Krivine, R Milner, A Troina Electronic Notes in Theoretical Computer Science 218, 73-96, 2008 | 157 | 2008 |
Abstract interpretation of cellular signalling networks V Danos, J Feret, W Fontana, J Krivine International Workshop on Verification, Model Checking, and Abstract …, 2008 | 130 | 2008 |
Formal molecular biology done in CCS-R V Danos, J Krivine Electronic Notes in Theoretical Computer Science 180 (3), 31-49, 2007 | 124 | 2007 |
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 | 117 | 2018 |
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 | 108 | 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 | 107 | 2012 |
Rule-based modelling, symmetries, refinements V Danos, J Feret, W Fontana, R Harmer, J Krivine Formal Methods in Systems Biology: First International Workshop, FMSB 2008 …, 2008 | 106 | 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 | 103 | 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 | 93 | 2009 |
Transactions in RCCS V Danos, J Krivine International Conference on Concurrency Theory, 398-412, 2005 | 90 | 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 | 69 | 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 | 52 | 2012 |
General reversibility V Danos, J Krivine, P Sobociński Electronic Notes in Theoretical Computer Science 175 (3), 75-86, 2007 | 41 | 2007 |
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 |
Rigid families for CCS and the-calculus ID Cristescu, J Krivine, D Varacca International Colloquium on Theoretical Aspects of Computing, 223-240, 2015 | 32 | 2015 |
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 | 27 | 2017 |