Jean Krivine Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine: Formal Cellular Machinery. Electr. Notes Theor. Comput. Sci. 284: 55-74 (2012)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Krivine: A Verification Technique for Reversible Process Algebra. RC 2012: 204-217
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samson Abramsky, Jean Krivine, Michael W. Mislove: Information Flow and Its Applications (Dagstuhl Seminar 12352). Dagstuhl Reports 2(8): 99-112 (2012)
2011
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Giannini, Jean Krivine: Preface. Electr. Notes Theor. Comput. Sci. 277: 1-2 (2011)
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elham Kashefi, Jean Krivine, Femke van Raamsdonk (Eds.): Proceedings 7th International Workshop on Developments of Computational Methods. EPTCS 88, 2011
2010
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Krivine, Angelo Troina: Preface. Electr. Notes Theor. Comput. Sci. 268: 1-2 (2010)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2009
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Krivine, Vincent Danos, Arndt Benecke: Modelling Epigenetic Information Maintenance: A Kappa Tutorial. CAV 2009: 17-32
2008
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Krivine, Robin Milner, Angelo Troina: Stochastic Bigraphs. Electr. Notes Theor. Comput. Sci. 218: 73-96 (2008)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang: Computational self-assembly. Theor. Comput. Sci. 404(1-2): 61-75 (2008)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Abstract Interpretation of Cellular Signalling Networks. VMCAI 2008: 83-97
2007
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Danos, Jean Krivine, Fabien Tarissan: Self-assembling Trees. Electr. Notes Theor. Comput. Sci. 175(1): 19-32 (2007)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Danos, Jean Krivine, Pawel Sobocinski: General Reversibility. Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Danos, Jean Krivine: Formal Molecular Biology Done in CCS-R. Electr. Notes Theor. Comput. Sci. 180(3): 31-49 (2007)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Scalable Simulation of Cellular Signaling Networks. APLAS 2007: 139-157
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41
2006
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Krivine: A verification algorithm for Declarative Concurrent Programming. CoRR abs/cs/0606095 (2006)
2005
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Danos, Jean Krivine: Transactions in RCCS. CONCUR 2005: 398-412
2004
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Danos, Jean Krivine: Reversible Communicating Systems. CONCUR 2004: 292-307

Coauthor Index

1Samson Abramsky
[i2]
2Arndt Benecke
[c8]
3Pierre-Louis Curien
[j4]
4Troels Christoffer Damgaard
[j9]
5Vincent Danos
[c11] [c9] [j6] [c8] [j4] [c7] [c6] [c5] [j3] [j2] [j1] [c4] [c3] [c2] [c1]
6Jérôme Feret
[c11] [c9] [j6] [c7] [c6] [c5] [c4] [c3]
7Walter Fontana
[c11] [c9] [j6] [c7] [c6] [c5] [c4] [c3]
8Paola Giannini
[j8]
9Russell Harmer
[c12] [c11] [c9] [j6] [c7] [c6] [c3]
10Jonathan Hayman
[c11]
11Espen Højsgaard
[j9]
12Elham Kashefi
[e1]
13Élise Laruelle
[c12]
14Cédric Lhoussaine
[c12]
15Guillaume Madelaine
[c12]
16Robin Milner
[j5]
17Michael W. Mislove
[i2]
18Mirabelle Nebut
[c12]
19Femke van Raamsdonk
[e1]
20Pawel Sobocinski
[j2]
21Fabien Tarissan
[j3]
22Christopher D. Thompson-Walsh
[c11]
23Angelo Troina
[j7] [j5]
24Glynn Winskel
[c11]
25Min Zhang
[j4]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 18:59:49 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page