Follow
Jean Krivine
Jean Krivine
CNRS and Université de Paris
Verified email at irif.fr - Homepage
Title
Cited by
Cited by
Year
Rule-based modelling of cellular signalling
V Danos, J Feret, W Fontana, R Harmer, J Krivine
International conference on concurrency theory, 17-41, 2007
4202007
Scalable simulation of cellular signaling networks
V Danos, J Feret, W Fontana, J Krivine
Asian Symposium on Programming Languages and Systems, 139-157, 2007
2572007
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
2482009
Reversible communicating systems
V Danos, J Krivine
International Conference on Concurrency Theory, 292-307, 2004
2442004
Stochastic bigraphs
J Krivine, R Milner, A Troina
Electronic Notes in Theoretical Computer Science 218, 73-96, 2008
1402008
Formal molecular biology done in CCS-R
V Danos, J Krivine
Electronic Notes in Theoretical Computer Science 180 (3), 31-49, 2007
1232007
Abstract interpretation of cellular signalling networks
V Danos, J Feret, W Fontana, J Krivine
International Workshop on Verification, Model Checking, and Abstract …, 2008
1222008
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
1012012
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
982008
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
972013
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
942010
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
922009
Transactions in RCCS
V Danos, J Krivine
International Conference on Concurrency Theory, 398-412, 2005
792005
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
622010
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
512012
General reversibility
V Danos, J Krivine, P Sobociński
Electronic Notes in Theoretical Computer Science 175 (3), 75-86, 2007
402007
Rule based modelling and model refinement
E Murphy, V Danos, J Feret, R Harmer, J Krivine
Elements of computational systems biology, 83-114, 2009
332009
Rigid Families for CCS and the -calculus
ID Cristescu, J Krivine, D Varacca
International Colloquium on Theoretical Aspects of Computing, 223-240, 2015
322015
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
212017
Formal cellular machinery
TC Damgaard, E Højsgaard, J Krivine
Electronic Notes in Theoretical Computer Science 284, 55-74, 2012
202012
The system can't perform the operation now. Try again later.
Articles 1–20