Skip to Main content


Export Publications

Export the displayed publications:
Number of documents


Jean Krivine's profile

I am interested in fundamental aspects of computer science, mainly models for concurrency (non interleaving semantics, event structures), quantitative simulation (stochastic semantics), formal languages including bigraphs, kappa-calculus and process algebras. I am investigating applications of these concepts to highly distributed systems such as self assembling or transactional systems and molecular interaction networks.


Journal articles9 documents

  • Thomas Ehrhard, Jean Krivine, Ying Jiang. A calculus of branching processes. Theoretical Computer Science, Elsevier, 2019, ⟨10.1016/j.tcs.2019.06.028⟩. ⟨hal-02357975⟩
  • Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor Medina-Abarca, Jean Krivine, et al.. The Kappa platform for rule-based modeling. Bioinformatics, Oxford University Press (OUP), 2018, Bioinformatics, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩. ⟨hal-01962663⟩
  • Angus Forbes, Andrew Burks, Kristine Lee, Xing Li, Pierre Boutillier, et al.. Dynamic Influence Networks for Rule-Based Models. IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2018, 24 (1), pp.184-194. ⟨10.1109/TVCG.2017.2745280⟩. ⟨hal-02399102⟩
  • Eric Deeds, Jean Krivine, Jérôme Feret, Vincent Danos, Walter Fontana. Combinatorial complexity and compositional drift in protein interaction networks.. PLoS ONE, Public Library of Science, 2012, 7 (3), ⟨10.1371/journal.pone.0032032⟩. ⟨hal-00677889⟩
  • Russ Harmer, Vincent Danos, Jérôme Feret, Jean Krivine, Walter Fontana. Intrinsic Information carriers in combinatorial dynamical systems. Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics, 2010, 20 (3), pp.037108. ⟨10.1063/1.3491100⟩. ⟨hal-00520128⟩
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jean Krivine. Rule-Based Modelling and Model Perturbation. Transactions on Computational Systems Biology, Springer, 2009, Transactions on Computational Systems Biology XI, 5750, pp.116-137. ⟨10.1007/978-3-642-04186-0_6⟩. ⟨inria-00528364⟩
  • Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana. Internal coarse-graining of molecular systems. Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2009, 106 (16), ⟨10.1073/pnas.0809908106⟩. ⟨inria-00528330⟩
  • Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang. Computational self-assembly. Theoretical Computer Science, Elsevier, 2008, 404 ((1-2)), pp.61-75. ⟨hal-00155297⟩
  • Xavier Campi, Hubert Krivine, Jean Krivine. Clustering and thermodynamics in the lattice-gas model. Physica A: Statistical Mechanics and its Applications, Elsevier, 2003, 320, pp.41-50. ⟨10.1016/S0378-4371(02)01514-5⟩. ⟨hal-00012310⟩

Conference papers25 documents

  • Russ Harmer, Nicolas Behr, Jean Krivine. Concurrency Theorems for Non-linear Rewriting Theories. ICGT 2021 - 14th International Conference on Graph Transformation, Jun 2021, Bergen, Norway. pp.3-21, ⟨10.1007/978-3-030-78946-6_1⟩. ⟨hal-03358036⟩
  • Sébastien Légaré, Jean Krivine, Jérôme Feret. Distinguishing Context Dependent Events in Quotients of Causal Stories. JOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Sophie Schbath; Denis Thieffry, Jul 2021, Virtuel, France. pp.54-61. ⟨hal-03389052⟩
  • Nicolas Behr, Jean Krivine. Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. International Conference on Graph Transformation 2020, Jun 2020, Bergen, Norway. pp.185-202, ⟨10.1007/978-3-030-51372-6_11⟩. ⟨hal-02920023⟩
  • Adrien Husson, Jean Krivine. A Tractable Logic for Molecular Biology. International Conference on Logic Programming, Sep 2019, Las Cruces, United States. pp.101-113, ⟨10.4204/EPTCS.306.17⟩. ⟨hal-02399098⟩
  • Ioana Cristescu, Walter Fontana, Jean Krivine. Interactions between Causal Structures in Graph Rewriting Systems. International Workshop on Formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, Apr 2018, Thessalonique, Greece. pp.65-78, ⟨10.4204/EPTCS.286.6⟩. ⟨hal-02922069⟩
  • Thomas Ehrhard, Pierre Boutillier, Jean Krivine. Incremental Update for Graph Rewriting. European Symposium on Programming (ESOP), Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_8⟩. ⟨hal-02357978⟩
  • Ioana Cristescu, Jean Krivine, Daniele Varacca. Rigid Families for CCS and the π-calculus. 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. ⟨hal-01189062⟩
  • Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca. A compositional semantics for the reversible pi-calculus. Logic in Computer Science, 2013, New Orleans, United States. pp.388-397, ⟨10.1109/LICS.2013.45⟩. ⟨hal-00840156⟩
  • Russ Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, et al.. Models of Tet-On System with Epigenetic Effects. Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. pp.378. ⟨hal-00725553⟩
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, et al.. Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS 2012 - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2012, Hyderabad, India. pp.276-288, ⟨10.4230/LIPIcs.FSTTCS.2012.276⟩. ⟨hal-00809065⟩
  • Jean Krivine. A verification technique for reversible process algebra. Fourth international workshop on reversible computation (RC 2012), 2012, Copenhagen, Denmark. ⟨hal-00697549v3⟩
  • Troels Damgaard, Espen Hojsgaard, Jean Krivine. Formal Cellular Machinery. SASB 2011, 2011, Venice, Italy. pp.55-74, ⟨10.1016/j.entcs.2012.05.015⟩. ⟨hal-00692416⟩
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine. Abstracting the differential semantics of rule-based models: exact and automated model reduction. Logic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381. ⟨hal-00520112⟩
  • Jean Krivine, Vincent Danos, Arndt Benecke. Modelling epigenetic information maintenance a Kappa tutorial. Computer Aided Verification, 2009, Grenoble, France. pp.17-32. ⟨hal-00692430⟩
  • Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine. Abstract Interpretation of Cellular Signalling Networks. the 9th International Conference on Verification, Model Checking and Abstract Interpretation - VMCAI'08, Jan 2008, San Francisco, United States. pp.83-97, ⟨10.1007/978-3-540-78163-9_11⟩. ⟨inria-00528352⟩
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine. Investigation of a biological repair scheme. the 9th Workshop on Membrane Computing - WMC9, Paun, G., Jul 2008, Edinburgh, United Kingdom. pp.1-12, ⟨10.1007/978-3-540-95885-7_1⟩. ⟨inria-00528319⟩
  • Jean Krivine, Robin Milner, Angelo Troina. Stochastic Bigraphs. Mathematical foundation of programming semantics 2008, 2008, United States. pp.73-96. ⟨hal-00530712⟩
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine. Rule-based modelling, symmetries, refinements. the 1st International Workshop, Formal Methods in Systems Biology - FMSB 2008, Jasmin Fisher, Jun 2008, Cambridge, United Kingdom. pp.103-122, ⟨10.1007/978-3-540-68413-8_8⟩. ⟨inria-00528339⟩
  • Vincent Danos, Jerome Feret, Walter Fontana, Russell Harmer, Jean Krivine. Rule-based modelling of cellular signalling. International Conference on Concurrency Theory (CONCUR'07), Sep 2007, Portugal. ⟨hal-00164297⟩
  • Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine. Scalable Simulation of Cellular Signaling Networks. the 5th Asian Symposium on Programming Languages and Systems - APLAS'07, Shao, Z., Nov 2007, Singapore, Singapore. pp.139-157, ⟨⟩. ⟨inria-00528409⟩
  • Vincent Danos, Jean Krivine, Pawel Sobocinski. General Reversibility. Jun 2007, pp.75-86. ⟨hal-00156389⟩
  • Vincent Danos, Fabien Tarissan, Jean Krivine. Self-assembling Trees. May 2007, pp.19-32. ⟨hal-00155303⟩
  • Vincent Danos, Jean Krivine. Transactions in RCCS. Sixteenth International Conference on Concurrency Theory (CONCUR'05), 2005, United Kingdom. pp.398-412. ⟨hal-00164585⟩
  • Vincent Danos, Jean Krivine. Reversible Communicating Systems. CONCUR, 2004, Londres, United Kingdom. pp.292-307. ⟨hal-00784051⟩
  • Vincent Danos, Jean Krivine. Formal Molecular Biology done in CCS. BIO-CONCUR'03, Sep 2003, France. pp.31-49. ⟨hal-00164586⟩

Poster communications1 document

  • Sébastien Légaré, Jean Krivine, Russ Harmer, Jérôme Feret. Modelling Systems Biology Wide and Deep ⋆. CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB. ⟨hal-03357485⟩

Book sections2 documents

  • Elaine Murphy, Vincent Danos, Jérôme Feret, Jean Krivine, Russell Harmer. Rule Based Modeling and Model Refinement. H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. ⟨10.1002/9780470556757.ch4⟩. ⟨inria-00527981⟩
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jean Krivine. Rule-based modelling and model perturbations. Corrado Priami ; Ralph-Johan Back ; Ion Petre. Transactions on Computational Systems Biology XI, Springer, pp.116-137, 2008, Lecture Notes in Computer Science, 978-3-642-04186-0. ⟨10.1007/978-3-642-04186-0_6⟩. ⟨hal-00350299⟩

Directions of work or proceedings1 document

  • Jean Krivine, Jean-Bernard Stefani. Reversible Computation: Proceedings 7th International Conference, RC 2015. Krivine, Jean; Stefani, Jean-Bernard. Reversible Computation, Jul 2015, Grenoble, France. 9138, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-20859-6. ⟨10.1007/978-3-319-20860-2⟩. ⟨hal-01246644⟩

Other publications1 document

Preprints, Working Papers, ...3 documents

  • Vincent Danos, Jean Krivine, Julien Prat. Reversible and Composable Financial Contracts (extended abstract). 2020. ⟨hal-03103298⟩
  • Nicolas Behr, Jean Krivine. Compositionality of Rewriting Rules with Conditions. 2020. ⟨hal-02920027⟩
  • Vincent Danos, Walter Fontana, Russ Harmer, Jean Krivine. Biological signalling and causality. 2007. ⟨hal-00150881⟩

Reports2 documents

  • Christian Barillot, Inbar Fijalkow, Isabelle Queinnec, Fabrice Theoleyre, Hélène Touzet, et al.. Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I). [Autre] CNRS. 2018, pp.1-87. ⟨hal-01956087⟩
  • Jean Krivine. A verification algorithm for Declarative Concurrent Programming. [Research Report] 2006. ⟨inria-00081218⟩

Theses1 document

  • Jean Krivine. Algèbres de Processus Réversibles. Réseaux et télécommunications [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2006. Français. ⟨tel-00519528⟩