Nombre de documents

32

Jean Krivine's profile


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.

 


Article dans une revue6 documents

  • Eric Deeds, Jean Krivine, Jérôme Feret, Vincent Danos, Walter Fontana. Combinatorial complexity and compositional drift in protein interaction networks.. PLoS ONE, Public Library of Science, 2012, 7 (3), 〈10.1371/journal.pone.0032032〉. 〈hal-00677889〉
  • Russ Harmer, Vincent Danos, Jérôme Feret, Jean Krivine, Walter Fontana. Intrinsic Information carriers in combinatorial dynamical systems. Chaos, American Institute of Physics, 2010, 20 (3), pp.037108. 〈10.1063/1.3491100〉. 〈hal-00520128〉
  • Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana. Internal coarse-graining of molecular systems. Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2009, 106 (16), 〈10.1073/pnas.0809908106〉. 〈inria-00528330〉
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jean Krivine. Rule-Based Modelling and Model Perturbation. Transactions on Computational Systems Biology, Springer, 2009, Transactions on Computational Systems Biology XI, 5750, pp.116-137. 〈10.1007/978-3-642-04186-0_6〉. 〈inria-00528364〉
  • Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang. Computational self-assembly. Theoretical Computer Science, Elsevier, 2008, 404 ((1-2)), pp.61-75. 〈hal-00155297〉
  • Xavier Campi, Hubert Krivine, Jean Krivine. Clustering and thermodynamics in the lattice-gas model. Physica A, Elsevier, 2003, 320, pp.41-50. 〈10.1016/S0378-4371(02)01514-5〉. 〈hal-00012310〉

Communication dans un congrès19 documents

  • Ioana Cristescu, Jean Krivine, Daniele Varacca. Rigid Families for CCS and the π-calculus. 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing. 〈hal-01189062〉
  • Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca. A compositional semantics for the reversible pi-calculus. Logic in Computer Science, 2013, New Orleans, United States. pp.388-397, 2013, 〈10.1109/LICS.2013.45〉. 〈hal-00840156〉
  • Jean Krivine. A verification technique for reversible process algebra. Springer. Fourth international workshop on reversible computation (RC 2012), 2012, Copenhagen, Denmark. 2012. 〈hal-00697549v3〉
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, et al.. Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. FSTTCS 2012 - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2012, Hyderabad, India. 18, pp.276-288, 2012, LIPIcs. 〈10.4230/LIPIcs.FSTTCS.2012.276〉. 〈hal-00809065〉
  • Russ Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, et al.. Models of Tet-On System with Epigenetic Effects. Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. Springer, 7605, pp.378, 2012. 〈hal-00725553〉
  • Troels Damgaard, Espen Hojsgaard, Jean Krivine. Formal Cellular Machinery. Jérôme Feret. SASB 2011, 2011, Venice, Italy. Elsevier, 18228, pp.55-74, 2012, Electronic Notes in Computer Science. 〈10.1016/j.entcs.2012.05.015〉. 〈hal-00692416〉
  • 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. Logic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381, 2010, IEEE Computer Society. 〈hal-00520112〉
  • Jean Krivine, Vincent Danos, Arndt Benecke. Modelling epigenetic information maintenance a Kappa tutorial. Computer Aided Verification, 2009, Grenoble, France. Springer-Verlag, 5643, pp.17-32, 2009, LNCS. 〈hal-00692430〉
  • Jean Krivine, Robin Milner, Angelo Troina. Stochastic Bigraphs. Mathematical foundation of programming semantics 2008, 2008, United States. 218, pp.73-96, 2008, ENTCS. 〈hal-00530712〉
  • Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine. Abstract Interpretation of Cellular Signalling Networks. Logozzo, F. and Peled, D.A. and Zuck, L.D. the 9th International Conference on Verification, Model Checking and Abstract Interpretation - VMCAI'08, Jan 2008, San Francisco, United States. Springer, 4905, pp.83-97, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-78163-9_11〉. 〈inria-00528352〉
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine. Rule-based modelling, symmetries, refinements. Fisher, Jasmin. the 1st International Workshop, Formal Methods in Systems Biology - FMSB 2008, Jun 2008, Cambridge, United Kingdom. Springer, 5054, pp.103-122, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-68413-8_8〉. 〈inria-00528339〉
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine. Investigation of a biological repair scheme. Paun, G. the 9th Workshop on Membrane Computing - WMC9, Jul 2008, Edinburgh, United Kingdom. Springer, 5391, pp.1-12, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-540-95885-7_1〉. 〈inria-00528319〉
  • Vincent Danos, Jean Krivine, Pawel Sobocinski. General Reversibility. Jun 2007, Elsevier, pp.75-86, 2007, Electronic Notes in Theoretical Computer Science volume 175. 〈hal-00156389〉
  • Vincent Danos, Fabien Tarissan, Jean Krivine. Self-assembling Trees. May 2007, ENTCS Elsevier, pp.19-32, 2007. 〈hal-00155303〉
  • Vincent Danos, Jerome Feret, Walter Fontana, Russell Harmer, Jean Krivine. Rule-based modelling of cellular signalling. International Conference on Concurrency Theory (CONCUR'07), Sep 2007, Portugal. 2007. 〈hal-00164297〉
  • Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine. Scalable Simulation of Cellular Signaling Networks. Shao, Z. the 5th Asian Symposium on Programming Languages and Systems - APLAS'07, Nov 2007, Singapore, Singapore. Springer, 4807, pp.139-157, 2007, Lecture Notes in Computer Science. 〈10.1.1.139.5120〉. 〈inria-00528409〉
  • Vincent Danos, Jean Krivine. Transactions in RCCS. Sixteenth International Conference on Concurrency Theory (CONCUR'05), 2005, United Kingdom. 3653, pp.398-412, 2005. 〈hal-00164585〉
  • Vincent Danos, Jean Krivine. Reversible Communicating Systems. CONCUR, 2004, Londres, United Kingdom. 3170, pp.292-307, 2004. 〈hal-00784051〉
  • Vincent Danos, Jean Krivine. Formal Molecular Biology done in CCS. BIO-CONCUR'03, Sep 2003, France. 180 (3), pp.31-49, 2007. 〈hal-00164586〉

Chapitre d'ouvrage2 documents

  • Elaine Murphy, Vincent Danos, Jérôme Feret, Jean Krivine, Russell Harmer. Rule Based Modeling and Model Refinement. 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〉. 〈inria-00527981〉
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jean Krivine. Rule-based modelling and model perturbations. 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〉. 〈hal-00350299〉

Direction d'ouvrage, Proceedings, Dossier1 document

Autre publication1 document

Pré-publication, Document de travail1 document

  • Vincent Danos, Walter Fontana, Russ Harmer, Jean Krivine. Biological signalling and causality. 2007. 〈hal-00150881〉

Rapport1 document

  • Jean Krivine. A verification algorithm for Declarative Concurrent Programming. [Research Report] 2006. 〈inria-00081218〉

Thèse1 document

  • Jean Krivine. Algèbres de Processus Réversibles. Réseaux et télécommunications [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2006. Français. 〈tel-00519528〉