Jean Krivine

ORCID

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 20

Top Venues

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Nicolas Behr, Russ Harmer, Jean Krivine
Fundamentals of compositional rewriting theory. J. Log. Algebraic Methods Program. 135 (2023)
Nicolas Behr, Russ Harmer, Jean Krivine
Fundamentals of Compositional Rewriting Theory. CoRR (2022)
Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle
Rewriting theory for the life sciences: A unifying theory of CTMC semantics. Theor. Comput. Sci. 884 (2021)
Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version). CoRR (2021)
Nicolas Behr, Russ Harmer, Jean Krivine
Concurrency Theorems for Non-linear Rewriting Theories. ICGT (2021)
Nicolas Behr, Russ Harmer, Jean Krivine
Concurrency Theorems for Non-linear Rewriting Theories. CoRR (2021)
Nicolas Behr, Jean Krivine
Compositionality of Rewriting Rules with Conditions. Compositionality 3 (2021)
Thomas Ehrhard, Jean Krivine, Ying Jiang
A calculus of branching processes. Theor. Comput. Sci. 807 (2020)
Nicolas Behr, Jean Krivine
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. CoRR (2020)
Nicolas Behr, Jean Krivine
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. ICGT (2020)
Vincent Danos, Jean Krivine, Julien Prat
Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper). Tokenomics (2020)
Adrien Husson, Jean Krivine
A Tractable Logic for Molecular Biology. ICLP Technical Communications (2019)
Nicolas Behr, Jean Krivine
Compositionality of Rewriting Rules with Conditions. CoRR (2019)
Angus Graeme Forbes, Andrew Burks, Kristine Lee, Xing Li, Pierre Boutillier, Jean Krivine, Walter Fontana
Dynamic Influence Networks for Rule-Based Models. IEEE Trans. Vis. Comput. Graph. 24 (1) (2018)
Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F. Medina-Abarca, Jean Krivine, Jérôme Feret, Ioana Cristescu, Angus G. Forbes, Walter Fontana
The Kappa platform for rule-based modeling. Bioinform. 34 (13) (2018)
Ioana Cristescu, Walter Fontana, Jean Krivine
Interactions between Causal Structures in Graph Rewriting Systems. CREST@ETAPS (2018)
Angus Graeme Forbes, Andrew Burks, Kristine Lee, Xing Li, Pierre Boutillier, Jean Krivine, Walter Fontana
Dynamic Influence Networks for Rule-based Models. CoRR (2017)
Jean Krivine
Systems biology. ACM SIGLOG News 4 (3) (2017)
Pierre Boutillier, Thomas Ehrhard, Jean Krivine
Incremental Update for Graph Rewriting. ESOP (2017)
Ioana Cristescu, Jean Krivine, Daniele Varacca
Rigid Families for the Reversible π-Calculus. RC (2016)
Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca
Rigid Families for CCS and the π-calculus. ICTAC (2015)
Agnes Köhler, Jean Krivine, Jakob Vidmar
A Rule-Based Model of Base Excision Repair. CMSB (2014)
Ioana Cristescu, Jean Krivine, Daniele Varacca
A Compositional Semantics for the Reversible p-Calculus. LICS (2013)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS (2012)
Jean Krivine
A Verification Technique for Reversible Process Algebra. RC (2012)
Samson Abramsky, Jean Krivine, Michael W. Mislove
Information Flow and Its Applications (Dagstuhl Seminar 12352). Dagstuhl Reports 2 (8) (2012)
Russell Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut
Models of Tet-On System with Epigenetic Effects. CMSB (2012)
Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine
Formal Cellular Machinery. Electron. Notes Theor. Comput. Sci. 284 (2012)
Paola Giannini, Jean Krivine
Preface. Electron. Notes Theor. Comput. Sci. 277 (2011)
Jean Krivine, Angelo Troina
Preface. Electron. Notes Theor. Comput. Sci. 268 (2010)
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. LICS (2010)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling and Model Perturbation. Trans. Comp. Sys. Biology 11 (2009)
Jean Krivine, Vincent Danos, Arndt Benecke
Modelling Epigenetic Information Maintenance: A Kappa Tutorial. CAV (2009)
Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana
Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. USA 106 (16) (2009)
Jean Krivine, Robin Milner, Angelo Troina
Stochastic Bigraphs. MFPS (2008)
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
Abstract Interpretation of Cellular Signalling Networks. VMCAI (2008)
Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang
Computational self-assembly. Theor. Comput. Sci. 404 (1-2) (2008)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling, Symmetries, Refinements. FMSB (2008)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Investigation of a Biological Repair Scheme. Workshop on Membrane Computing (2008)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling of Cellular Signalling. CONCUR (2007)
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
Scalable Simulation of Cellular Signaling Networks. APLAS (2007)
Vincent Danos, Jean Krivine, Fabien Tarissan
Self-assembling Trees. Electron. Notes Theor. Comput. Sci. 175 (1) (2007)
Vincent Danos, Jean Krivine
Formal Molecular Biology Done in CCS-R. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)
Vincent Danos, Jean Krivine, Pawel Sobocinski
General Reversibility. EXPRESS (2006)
Jean Krivine
A verification algorithm for Declarative Concurrent Programming CoRR (2006)
Vincent Danos, Jean Krivine
Transactions in RCCS. CONCUR (2005)
Vincent Danos, Jean Krivine
Reversible Communicating Systems. CONCUR (2004)

Jean Krivine.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean Krivine