Jean Krivine
51
Documents
Presentation
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.
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.
Publications
- 22
- 16
- 14
- 14
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
|
Concurrency Theorems for Non-linear Rewriting TheoriesICGT 2021 - 14th International Conference on Graph Transformation, Jun 2021, Bergen, Norway. pp.3-21, ⟨10.1007/978-3-030-78946-6_1⟩
Conference papers
hal-03358036v1
|
|
Distinguishing Context Dependent Events in Quotients of Causal StoriesJOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Sophie Schbath; Denis Thieffry, Jul 2021, Virtuel, France. pp.54-61
Conference papers
hal-03389052v1
|
|
Rewriting Theory for the Life SciencesInternational Conference on Graph Transformation 2020, Jun 2020, Bergen, Norway. pp.185-202, ⟨10.1007/978-3-030-51372-6_11⟩
Conference papers
hal-02920023v1
|
A Tractable Logic for Molecular BiologyInternational Conference on Logic Programming, Sep 2019, Las Cruces, United States. pp.101-113, ⟨10.4204/EPTCS.306.17⟩
Conference papers
hal-02399098v1
|
|
Interactions between Causal Structures in Graph Rewriting SystemsInternational 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⟩
Conference papers
hal-02922069v1
|
|
Incremental Update for Graph RewritingEuropean Symposium on Programming (ESOP), Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_8⟩
Conference papers
hal-02357978v1
|
|
|
Rigid Families for CCS and the π-calculus12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia
Conference papers
hal-01189062v1
|
|
A compositional semantics for the reversible pi-calculusLogic in Computer Science, 2013, New Orleans, United States. pp.388-397, ⟨10.1109/LICS.2013.45⟩
Conference papers
hal-00840156v1
|
|
A verification technique for reversible process algebraFourth international workshop on reversible computation (RC 2012), 2012, Copenhagen, Denmark
Conference papers
hal-00697549v3
|
|
Models of Tet-On System with Epigenetic EffectsComputational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. pp.378
Conference papers
hal-00725553v1
|
|
Graphs, Rewriting and Pathway Reconstruction for Rule-Based ModelsFSTTCS 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⟩
Conference papers
hal-00809065v1
|
|
Formal Cellular MachinerySASB 2011, 2011, Venice, Italy. pp.55-74, ⟨10.1016/j.entcs.2012.05.015⟩
Conference papers
hal-00692416v1
|
|
Abstracting the differential semantics of rule-based models: exact and automated model reductionLogic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381
Conference papers
hal-00520112v1
|
|
Modelling epigenetic information maintenance a Kappa tutorialComputer Aided Verification, 2009, Grenoble, France. pp.17-32
Conference papers
hal-00692430v1
|
|
Investigation of a biological repair schemethe 9th Workshop on Membrane Computing - WMC9, Paun, G., Jul 2008, Edinburgh, United Kingdom. pp.1-12, ⟨10.1007/978-3-540-95885-7_1⟩
Conference papers
inria-00528319v1
|
|
Rule-based modelling, symmetries, refinementsthe 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⟩
Conference papers
inria-00528339v1
|
|
Stochastic BigraphsMathematical foundation of programming semantics 2008, 2008, United States. pp.73-96
Conference papers
hal-00530712v1
|
|
Abstract Interpretation of Cellular Signalling Networksthe 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⟩
Conference papers
inria-00528352v1
|
Self-assembling TreesMay 2007, pp.19-32
Conference papers
hal-00155303v1
|
|
Rule-based modelling of cellular signallingInternational Conference on Concurrency Theory (CONCUR'07), Sep 2007, Portugal
Conference papers
hal-00164297v1
|
|
General ReversibilityJun 2007, pp.75-86
Conference papers
hal-00156389v1
|
|
|
Scalable Simulation of Cellular Signaling Networksthe 5th Asian Symposium on Programming Languages and Systems - APLAS'07, Shao, Z., Nov 2007, Singapore, Singapore. pp.139-157, ⟨10.1007/978-3-540-76637-7_10⟩
Conference papers
inria-00528409v1
|
Transactions in RCCSSixteenth International Conference on Concurrency Theory (CONCUR'05), 2005, United Kingdom. pp.398-412
Conference papers
hal-00164585v1
|
|
|
Reversible Communicating SystemsCONCUR, 2004, Londres, United Kingdom. pp.292-307
Conference papers
hal-00784051v1
|
Formal Molecular Biology done in CCSBIO-CONCUR'03, Sep 2003, France. pp.31-49
Conference papers
hal-00164586v1
|
|
Modelling Systems Biology Wide and DeepCMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB
Conference poster
hal-03357485v1
|
|
Rule Based Modeling and Model RefinementH. 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⟩
Book sections
inria-00527981v1
|
|
Rule-based modelling and model perturbationsCorrado 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⟩
Book sections
hal-00350299v1
|
|
Information Flow and Its Applications2012, ⟨10.4230/DagRep.2.8.555⟩
Other publications
hal-00785043v1
|
|
Compositionality of Rewriting Rules with Conditions2024
Preprints, Working Papers, ...
hal-02920027v1
|
|
Reversible and Composable Financial Contracts (extended abstract)2020
Preprints, Working Papers, ...
hal-03103298v1
|
|
Biological signalling and causality2007
Preprints, Working Papers, ...
hal-00150881v1
|
|
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)[0] CNRS. 2018, pp.1-87
Reports
hal-01956087v1
|
|
A verification algorithm for Declarative Concurrent Programming[Research Report] 2006
Reports
inria-00081218v1
|
|
Algèbres de Processus RéversiblesRéseaux et télécommunications [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2006. Français. ⟨NNT : ⟩
Theses
tel-00519528v1
|
Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper)2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020), Open Access Series in Informatics, No. 10, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 10:1-10:5, 2021, ⟨10.4230/OASIcs.Tokenomics.2020.10⟩
Proceedings
hal-04336736v1
|
|
Reversible ComputationKrivine, 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⟩
Proceedings
hal-01246644v1
|
|
|
A Rule-Based Model of Base Excision RepairComputational Methods in Systems Biology, 8859, Springer International Publishing; Springer, pp.173 - 195, 2014, Computational Methods in Systems Biology, ⟨10.1007/978-3-319-12982-2_13⟩
Proceedings
hal-01107691v1
|
A Rule-Based Model of Base Excision RepairComputational Methods in Systems Biology. CMSB 2014, 8859, Springer International Publishing, pp.173-195, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-12982-2_13⟩
Proceedings
hal-04620127v1
|