Jean Krivine

According to our database, Jean Krivine authored at least 43 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Fundamentals of compositional rewriting theory.

Nicolas Behr, Russ Harmer, Jean Krivine

J. Log. Algebraic Methods Program., October, 2023

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

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

Compositionality of Rewriting Rules with Conditions.

Nicolas Behr, Jean Krivine

Compositionality, 2021

Concurrency Theorems for Non-linear Rewriting Theories.

Nicolas Behr, Russ Harmer, Jean Krivine

Proceedings of the Graph Transformation - 14th International Conference, 2021

2020

A calculus of branching processes.

Thomas Ehrhard, Jean Krivine, Ying Jiang

Theor. Comput. Sci., 2020

Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper).

Vincent Danos, Jean Krivine, Julien Prat

Proceedings of the 2nd International Conference on Blockchain Economics, 2020

Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics.

Nicolas Behr, Jean Krivine

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

A Tractable Logic for Molecular Biology.

Adrien Husson, Jean Krivine

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

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

Interactions between Causal Structures in Graph Rewriting Systems.

Ioana Cristescu, Walter Fontana, Jean Krivine

Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

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

2017

Systems biology.

Jean Krivine

ACM SIGLOG News, 2017

Incremental Update for Graph Rewriting.

Pierre Boutillier, Thomas Ehrhard, Jean Krivine

Proceedings of the Programming Languages and Systems, 2017

2016

Rigid Families for the Reversible π-Calculus.

Ioana Cristescu, Jean Krivine, Daniele Varacca

Proceedings of the Reversible Computation - 8th International Conference, 2016

2015

Rigid Families for CCS and the π-calculus.

Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

A Rule-Based Model of Base Excision Repair.

Agnes Köhler, Jean Krivine, Jakob Vidmar

Proceedings of the Computational Methods in Systems Biology, 2014

2013

A Compositional Semantics for the Reversible p-Calculus.

Ioana Cristescu, Jean Krivine, Daniele Varacca

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

Information Flow and Its Applications (Dagstuhl Seminar 12352).

Samson Abramsky, Jean Krivine, Michael W. Mislove

Dagstuhl Reports, 2012

A Verification Technique for Reversible Process Algebra.

Jean Krivine

Proceedings of the Reversible Computation, 4th International Workshop, 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

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Models of Tet-On System with Epigenetic Effects.

Russell Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut

Proceedings of the Computational Methods in Systems Biology, 2012

2011

Preface.

Paola Giannini, Jean Krivine

Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011

Formal Cellular Machinery.

Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

2010

Preface.

Jean Krivine, Angelo Troina

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

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

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Rule-Based Modelling and Model Perturbation.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Trans. Comp. Sys. Biology, 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

Modelling Epigenetic Information Maintenance: A Kappa Tutorial.

Jean Krivine, Vincent Danos, Arndt Benecke

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Computational self-assembly.

Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang

Theor. Comput. Sci., 2008

Stochastic Bigraphs.

Jean Krivine, Robin Milner, Angelo Troina

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Abstract Interpretation of Cellular Signalling Networks.

Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine

Proceedings of the Verification, 2008

Investigation of a Biological Repair Scheme.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the Membrane Computing - 9th International Workshop, 2008

Rule-Based Modelling, Symmetries, Refinements.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

2007

Rule-Based Modelling of Cellular Signalling.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Scalable Simulation of Cellular Signaling Networks.

Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Algèbres de Processus Réversibles. (Reversible Process Algebra).

Jean Krivine

PhD thesis, 2006

Self-assembling Trees.

Vincent Danos, Jean Krivine, Fabien Tarissan

Proceedings of the Third Workshop on Structural Operational Semantics, 2006

General Reversibility.

Vincent Danos, Jean Krivine, Pawel Sobocinski

Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

A verification algorithm for Declarative Concurrent Programming

Jean Krivine

CoRR, 2006

2005

Transactions in RCCS.

Vincent Danos, Jean Krivine

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Reversible Communicating Systems.

Vincent Danos, Jean Krivine

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Formal Molecular Biology Done in CCS-R.

Vincent Danos, Jean Krivine

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003