Georges Gonthier 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 keys2013
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier: Engineering mathematics: the odd order theorem proof. POPL 2013: 1-2
2012
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier, Enrico Tassi: A Language of Patterns for Subterm Selection. ITP 2012: 361-376
2011
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer: How to make ad hoc proof automation less ad hoc. ICFP 2011: 163-175
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier: Advances in the Formalization of the Odd Order Theorem. ITP 2011: 2
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier: Point-Free, Set-Free Concrete Linear Algebra. ITP 2011: 103-118
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier: Type design patterns for computer mathematics. TLDI 2011: 1-2
2009
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier: Software Engineering for Mathematics. Calculemus/MKM 2009: 27
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau: Packaging Mathematical Structures. TPHOLs 2009: 327-342
2008
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca: Canonical Big Operators. TPHOLs 2008: 86-101
2007
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier: The Four Colour Theorem: Engineering of a Formal Proof. ASCM 2007: 333
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry: A Modular Formalisation of Finite Group Theory. TPHOLs 2007: 86-101
2006
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Laurent Théry, Pierre Letouzey, Georges Gonthier: Coq. The Seventeen Provers of the World 2006: 28-35
2005
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Georges Gonthier: A hierarchy of equivalences for asynchronous calculi. J. Log. Algebr. Program. 63(1): 131-173 (2005)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Byron Cook, Georges Gonthier: Using Stålmarck's Algorithm to Prove Inequalities. ICFEM 2005: 330-344
2004
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Georges Gonthier, Benjamin Werner: Choice in Dynamic Linking. FoSSaCS 2004: 12-26
2002
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. Inf. Comput. 174(1): 37-83 (2002)
2000
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Georges Gonthier: The Join Calculus: A Language for Distributed Mobile Programming. APPSEM 2000: 268-332
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Cédric Fournet, Georges Gonthier: Authentication Primitives and Their Compilation. POPL 2000: 302-315
1999
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Cédric Fournet, Georges Gonthier: A Top-Down Look at a Secure Message. FSTTCS 1999: 122-141
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Communications Processing for Distributed Languages. IEEE Symposium on Security and Privacy 1999: 74-88
1998
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Georges Gonthier: A Hierarchy of Equivalences for Asynchronous Calculi. ICALP 1998: 844-855
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. LICS 1998: 105-116
1997
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. Electr. Notes Theor. Comput. Sci. 10: 202-203 (1997)
1996
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier: Verifying the Safety of a Practical Concurrent Garbage Collector. CAV 1996: 462-465
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy: A Calculus of Mobile Agents. CONCUR 1996: 406-421
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Georges Gonthier: The Reflexive CHAM and the Join-Calculus. POPL 1996: 372-385
1994
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Damien Doligez, Georges Gonthier: Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. POPL 1994: 70-83
1992
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Berry, Georges Gonthier: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program. 19(2): 87-152 (1992)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier, Jean-Jacques Lévy, Paul-André Melliès: An abstract standardisation theorem. LICS 1992: 72-81
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier, Martín Abadi, Jean-Jacques Lévy: Linear Logic Without Boxes. LICS 1992: 223-234
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier, Martín Abadi, Jean-Jacques Lévy: The Geometry of Optimal Lambda Reduction. POPL 1992: 15-26
1991
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Berry, Georges Gonthier: Incremental Development of an HDLC Entity in Esterel. Computer Networks and ISDN Systems 22(1): 35-49 (1991)
1985
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georges Gonthier: Algebraic Calculi of Processes and Net Expressions. Theor. Comput. Sci. 40: 329-337 (1985)

Coauthor Index

1Martín Abadi
[c14] [j5] [c12] [c11] [c10] [c8] [j4] [c2] [c1]
2Gérard Berry
[j3] [j2]
3Yves Bertot
[c19]
4Sidi Ould Biha
[c19]
5Byron Cook
[c15]
6Damien Doligez
[c4]
7Derek Dreyer
[c25]
8Cédric Fournet
[j6] [j5] [c13] [c12] [c11] [c10] [c9] [c8] [j4] [c6] [c5]
9François Garillot
[c20]
10Pierre Letouzey
[c16]
11Jean-Jacques Lévy
[c6] [c3] [c2] [c1]
12Assia Mahboubi
[c20] [c17]
13Luc Maranget
[c6]
14Paul-André Melliès
[c3]
15Aleksandar Nanevski
[c25]
16Ioana Pasca
[c19]
17Laurence Rideau
[c20] [c17]
18Didier Rémy
[c6]
19Enrico Tassi
[c26] [c17]
20Laurent Théry
[c17] [c16]
21Benjamin Werner
[c14]
22Beta Ziliani
[c25]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 21:59:27 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