Jean Krivine
22
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
- 22
- 13
- 11
- 11
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Combinatorial complexity and compositional drift in protein interaction networks.PLoS ONE, 2012, 7 (3), ⟨10.1371/journal.pone.0032032⟩
Article dans une revue
hal-00677889v1
|
|
|
Intrinsic Information carriers in combinatorial dynamical systemsChaos: An Interdisciplinary Journal of Nonlinear Science, 2010, 20 (3), pp.037108. ⟨10.1063/1.3491100⟩
Article dans une revue
hal-00520128v1
|
Rule-Based Modelling and Model PerturbationTransactions on Computational Systems Biology, 2009, Transactions on Computational Systems Biology XI, 5750, pp.116-137. ⟨10.1007/978-3-642-04186-0_6⟩
Article dans une revue
inria-00528364v1
|
|
Internal coarse-graining of molecular systemsProceedings of the National Academy of Sciences of the United States of America, 2009, 106 (16), ⟨10.1073/pnas.0809908106⟩
Article dans une revue
inria-00528330v1
|
|
|
Computational self-assemblyTheoretical Computer Science, 2008, 404 ((1-2)), pp.61-75
Article dans une revue
hal-00155297v1
|
|
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⟩
Communication dans un congrès
hal-00809065v1
|
|
Abstracting the differential semantics of rule-based models: exact and automated model reductionLogic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381
Communication dans un congrès
hal-00520112v1
|
|
Modelling epigenetic information maintenance a Kappa tutorialComputer Aided Verification, 2009, Grenoble, France. pp.17-32
Communication dans un congrès
hal-00692430v1
|
|
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⟩
Communication dans un congrès
inria-00528352v1
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
inria-00528339v1
|
|
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⟩
Communication dans un congrès
inria-00528409v1
|
|
Rule-based modelling of cellular signallingInternational Conference on Concurrency Theory (CONCUR'07), Sep 2007, Portugal
Communication dans un congrès
hal-00164297v1
|
|
Self-assembling TreesMay 2007, pp.19-32
Communication dans un congrès
hal-00155303v1
|
|
General ReversibilityJun 2007, pp.75-86
Communication dans un congrès
hal-00156389v1
|
|
Transactions in RCCSSixteenth International Conference on Concurrency Theory (CONCUR'05), 2005, United Kingdom. pp.398-412
Communication dans un congrès
hal-00164585v1
|
|
|
Reversible Communicating SystemsCONCUR, 2004, Londres, United Kingdom. pp.292-307
Communication dans un congrès
hal-00784051v1
|
Formal Molecular Biology done in CCSBIO-CONCUR'03, Sep 2003, France. pp.31-49
Communication dans un congrès
hal-00164586v1
|
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⟩
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
hal-00350299v1
|
|
Reversible and Composable Financial Contracts (extended abstract)2020
Pré-publication, Document de travail
hal-03103298v1
|
|
Biological signalling and causality2007
Pré-publication, Document de travail
hal-00150881v1
|