Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jean Krivine
2010 – today
- 2013
[c13]Ioana Cristescu, Jean Krivine, Daniele Varacca: A Compositional Semantics for the Reversible p-Calculus. LICS 2013: 388-397- 2012
- [j9]Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine: Formal Cellular Machinery. Electr. Notes Theor. Comput. Sci. 284: 55-74 (2012)
- [c12]Russell Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut: Models of Tet-On System with Epigenetic Effects. CMSB 2012: 378-381
- [c11]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: 276-288
- [c10]
- [i2]Samson Abramsky, Jean Krivine, Michael W. Mislove: Information Flow and Its Applications (Dagstuhl Seminar 12352). Dagstuhl Reports 2(8): 99-112 (2012)
- 2011
- [j8]
- [e1]Elham Kashefi, Jean Krivine, Femke van Raamsdonk (Eds.): Proceedings 7th International Workshop on Developments of Computational Methods. EPTCS 88, 2011
- 2010
- [j7]
- [c9]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: 362-381
2000 – 2009
- 2009
- [j6]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling and Model Perturbation. T. Comp. Sys. Biology 11: 116-137 (2009)
- [c8]Jean Krivine, Vincent Danos, Arndt Benecke: Modelling Epigenetic Information Maintenance: A Kappa Tutorial. CAV 2009: 17-32
- 2008
- [j5]Jean Krivine, Robin Milner, Angelo Troina: Stochastic Bigraphs. Electr. Notes Theor. Comput. Sci. 218: 73-96 (2008)
- [j4]Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang: Computational self-assembly. Theor. Comput. Sci. 404(1-2): 61-75 (2008)
- [c7]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122
- [c6]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Investigation of a Biological Repair Scheme. Workshop on Membrane Computing 2008: 1-12
- [c5]Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Abstract Interpretation of Cellular Signalling Networks. VMCAI 2008: 83-97
- 2007
- [j3]Vincent Danos, Jean Krivine, Fabien Tarissan: Self-assembling Trees. Electr. Notes Theor. Comput. Sci. 175(1): 19-32 (2007)
- [j2]Vincent Danos, Jean Krivine, Pawel Sobocinski: General Reversibility. Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007)
- [j1]Vincent Danos, Jean Krivine: Formal Molecular Biology Done in CCS-R. Electr. Notes Theor. Comput. Sci. 180(3): 31-49 (2007)
- [c4]Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Scalable Simulation of Cellular Signaling Networks. APLAS 2007: 139-157
- [c3]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41
- 2006
- [i1]Jean Krivine: A verification algorithm for Declarative Concurrent Programming. CoRR abs/cs/0606095 (2006)
- 2005
- [c2]
- 2004
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:15 CEST by the dblp team