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
3882007
Scalable simulation of cellular signaling networks
V Danos, J Feret, W Fontana, J Krivine
Asian Symposium on Programming Languages and Systems, 139-157, 2007
2492007
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
2342009
Reversible communicating systems
V Danos, J Krivine
International Conference on Concurrency Theory, 292-307, 2004
2082004
Stochastic bigraphs
J Krivine, R Milner, A Troina
Electronic Notes in Theoretical Computer Science 218, 73-96, 2008
1272008
Abstract interpretation of cellular signalling networks
V Danos, J Feret, W Fontana, J Krivine
International Workshop on Verification, Model Checking, and Abstract …, 2008
1212008
Formal molecular biology done in CCS-R
V Danos, J Krivine
Electronic Notes in Theoretical Computer Science 180 (3), 31-49, 2007
1192007
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
972008
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
932010
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
882012
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
882009
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
822013
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
Transactions in RCCS
V Danos, J Krivine
International Conference on Concurrency Theory, 398-412, 2005
512005
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
482012
General reversibility
V Danos, J Krivine, P Sobociński
Electronic Notes in Theoretical Computer Science 175 (3), 75-86, 2007
342007
Rule-based modeling and model refinement
E Murphy, V Danos, J Feret, J Krivine, R Harmer
Elements of computational systems biology, 83-114, 2010
312010
Rigid Families for CCS and the -calculus
ID Cristescu, J Krivine, D Varacca
International Colloquium on Theoretical Aspects of Computing, 223-240, 2015
242015
Formal cellular machinery
TC Damgaard, E Højsgaard, J Krivine
Electronic Notes in Theoretical Computer Science 284, 55-74, 2012
182012
Computational self-assembly
PL Curien, V Danos, J Krivine, M Zhang
Theoretical computer science 404 (1-2), 61-75, 2008
182008
The system can't perform the operation now. Try again later.
Articles 1–20