Formal Molecular Biology Done in CCS-R. - Vincent Danos; Jean Krivine (BioConcur@CONCUR, 2003)

Reversible Communicating Systems. - Vincent Danos; Jean Krivine (CONCUR, 2004)

Transactions in RCCS. - Vincent Danos; Jean Krivine (CONCUR, 2005)

A verification algorithm for Declarative Concurrent Programming - Jean Krivine (CoRR, 2006)

General Reversibility. - Vincent Danos; Jean Krivine; Pawel Sobocinski 001 (EXPRESS, 2006)

Self-assembling Trees. - Vincent Danos; Jean Krivine; Fabien Tarissan (SOS@CONCUR, 2006)

Algèbres de Processus Réversibles. (Reversible Process Algebra). - Jean Krivine (2006)

Scalable Simulation of Cellular Signaling Networks. - Vincent Danos; Jérôme Feret; Walter Fontana; Jean Krivine (APLAS, 2007)

Rule-Based Modelling of Cellular Signalling. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (CONCUR, 2007)

Rule-Based Modelling, Symmetries, Refinements. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (FMSB, 2008)

Investigation of a Biological Repair Scheme. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (Workshop on Membrane Computing, 2008)

Abstract Interpretation of Cellular Signalling Networks. - Vincent Danos; Jérôme Feret; Walter Fontana; Jean Krivine (VMCAI, 2008)

Stochastic Bigraphs. - Jean Krivine; Robin Milner; Angelo Troina (MFPS, 2008)

Computational self-assembly. - Pierre-Louis Curien; Vincent Danos; Jean Krivine; Min Zhang 019 (Theor. Comput. Sci., 2008)

Modelling Epigenetic Information Maintenance: A Kappa Tutorial. - Jean Krivine; Vincent Danos; Arndt Benecke (CAV, 2009)

Internal coarse-graining of molecular systems. - Jérôme Feret; Vincent Danos; Jean Krivine; Russ Harmer; Walter Fontana (Proc. Natl. Acad. Sci. USA, 2009)

Rule-Based Modelling and Model Perturbation. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (Trans. Comp. Sys. Biology, 2009)

Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (LICS, 2010)

Preface. - Jean Krivine; Angelo Troina (CS2Bio, 2010)

Formal Cellular Machinery. - Troels Christoffer Damgaard; Espen Højsgaard; Jean Krivine (SASB, 2011)

Preface. - Paola Giannini; Jean Krivine (CS2Bio@DisCoTec, 2011)

Models of Tet-On System with Epigenetic Effects. - Russell Harmer; Jean Krivine; Élise Laruelle; Cédric Lhoussaine; Guillaume Madelaine; Mirabelle Nebut (CMSB, 2012)

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jonathan Hayman; Jean Krivine; Christopher D. Thompson-Walsh; Glynn Winskel (FSTTCS, 2012)

A Verification Technique for Reversible Process Algebra. - Jean Krivine (RC, 2012)

Information Flow and Its Applications (Dagstuhl Seminar 12352). - Samson Abramsky; Jean Krivine; Michael W. Mislove (Dagstuhl Reports, 2012)

A Compositional Semantics for the Reversible p-Calculus. - Ioana Cristescu; Jean Krivine; Daniele Varacca (LICS, 2013)

A Rule-Based Model of Base Excision Repair. - Agnes Köhler; Jean Krivine; Jakob Vidmar (CMSB, 2014)

Rigid Families for CCS and the π-calculus. - Ioana Domnina Cristescu; Jean Krivine; Daniele Varacca (ICTAC, 2015)

Rigid Families for the Reversible π-Calculus. - Ioana Cristescu; Jean Krivine; Daniele Varacca (RC, 2016)

Incremental Update for Graph Rewriting. - Pierre Boutillier; Thomas Ehrhard; Jean Krivine (ESOP, 2017)

Systems biology. - Jean Krivine (ACM SIGLOG News, 2017)

The Kappa platform for rule-based modeling. - Pierre Boutillier; Mutaamba Maasha; Xing Li; Héctor F. Medina-Abarca; Jean Krivine; Jérôme Feret; Ioana Cristescu; Angus G. Forbes; Walter Fontana (Bioinform., 2018)

Interactions between Causal Structures in Graph Rewriting Systems. - Ioana Cristescu; Walter Fontana; Jean Krivine (CREST@ETAPS, 2018)

Dynamic Influence Networks for Rule-Based Models. - Angus Graeme Forbes; Andrew Burks; Kristine Lee; Xing Li; Pierre Boutillier; Jean Krivine; Walter Fontana (IEEE Trans. Vis. Comput. Graph., 2018)

A Tractable Logic for Molecular Biology. - Adrien Husson; Jean Krivine (ICLP Technical Communications, 2019)

Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. - Nicolas Behr; Jean Krivine (ICGT, 2020)

Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper). - Vincent Danos; Jean Krivine; Julien Prat (Tokenomics, 2020)

A calculus of branching processes. - Thomas Ehrhard; Jean Krivine; Ying Jiang (Theor. Comput. Sci., 2020)

Concurrency Theorems for Non-linear Rewriting Theories. - Nicolas Behr; Russ Harmer; Jean Krivine (ICGT, 2021)

Compositionality of Rewriting Rules with Conditions. - Nicolas Behr; Jean Krivine (Compositionality, 2021)

Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version). - Nicolas Behr; Jean Krivine; Jakob L. Andersen; Daniel Merkle (CoRR, 2021)

Rewriting theory for the life sciences: A unifying theory of CTMC semantics. - Nicolas Behr; Jean Krivine; Jakob L. Andersen; Daniel Merkle (Theor. Comput. Sci., 2021)

Fundamentals of compositional rewriting theory. - Nicolas Behr; Russ Harmer; Jean Krivine (J. Log. Algebraic Methods Program., 2023)