Accéder directement au contenu

Jean Krivine

16
Documents

Présentation

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

"jerome-feret"
Image document

Distinguishing Context Dependent Events in Quotients of Causal Stories

Sébastien Légaré , Jean Krivine , Jérôme Feret
JOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Sophie Schbath; Denis Thieffry, Jul 2021, Virtuel, France. pp.54-61
Communication dans un congrès hal-03389052v1
Image document

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models

Vincent Danos , Jérôme Feret , Walter Fontana , Russell Harmer , Jonathan Hayman
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⟩
Communication dans un congrès hal-00809065v1
Image document

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
Logic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381
Communication dans un congrès hal-00520112v1
Image document

Abstract Interpretation of Cellular Signalling Networks

Vincent Danos , Jérôme Feret , Walter Fontana , Jean Krivine
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⟩
Communication dans un congrès inria-00528352v1

Investigation of a biological repair scheme

Vincent Danos , Jérôme Feret , Walter Fontana , Russell Harmer , Jean Krivine
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⟩
Communication dans un congrès inria-00528319v1

Rule-based modelling, symmetries, refinements

Vincent Danos , Jérôme Feret , Walter Fontana , Russell Harmer , Jean Krivine
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⟩
Communication dans un congrès inria-00528339v1

Rule-based modelling of cellular signalling

Vincent Danos , Jerome Feret , Walter Fontana , Russell Harmer , Jean Krivine
International Conference on Concurrency Theory (CONCUR'07), Sep 2007, Portugal
Communication dans un congrès hal-00164297v1

Scalable Simulation of Cellular Signaling Networks

Vincent Danos , Jérôme Feret , Walter Fontana , Jean Krivine
the 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⟩
Communication dans un congrès inria-00528409v1
Image document

Modelling Systems Biology Wide and Deep

Sébastien Légaré , Jean Krivine , Russ Harmer , Jérôme Feret
CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB
Poster de conférence hal-03357485v1

Rule Based Modeling and Model Refinement

Elaine Murphy , Vincent Danos , Jérôme Feret , Jean Krivine , Russell Harmer
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⟩
Chapitre d'ouvrage inria-00527981v1
Image document

Rule-based modelling and model perturbations

Vincent Danos , Jérôme Feret , Walter Fontana , Russ Harmer , Jean Krivine
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⟩
Chapitre d'ouvrage hal-00350299v1