Georges Gonthier

2008
25	EE	Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca: Canonical Big Operators. TPHOLs 2008: 86-101
2007
24	EE	Georges Gonthier: The Four Colour Theorem: Engineering of a Formal Proof. ASCM 2007: 333
23	EE	Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry: A Modular Formalisation of Finite Group Theory. TPHOLs 2007: 86-101
2006
22	EE	Laurent Théry, Pierre Letouzey, Georges Gonthier: Coq. The Seventeen Provers of the World 2006: 28-35
2005
21	EE	Byron Cook, Georges Gonthier: Using Stålmarck's Algorithm to Prove Inequalities. ICFEM 2005: 330-344
20	EE	Cédric Fournet, Georges Gonthier: A hierarchy of equivalences for asynchronous calculi. J. Log. Algebr. Program. 63(1): 131-173 (2005)
2004
19	EE	Martín Abadi, Georges Gonthier, Benjamin Werner: Choice in Dynamic Linking. FoSSaCS 2004: 12-26
2002
18	EE	Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. Inf. Comput. 174(1): 37-83 (2002)
2000
17	EE	Cédric Fournet, Georges Gonthier: The Join Calculus: A Language for Distributed Mobile Programming. APPSEM 2000: 268-332
16	EE	Martín Abadi, Cédric Fournet, Georges Gonthier: Authentication Primitives and Their Compilation. POPL 2000: 302-315
1999
15	EE	Martín Abadi, Cédric Fournet, Georges Gonthier: A Top-Down Look at a Secure Message. FSTTCS 1999: 122-141
14	EE	Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Communications Processing for Distributed Languages. IEEE Symposium on Security and Privacy 1999: 74-88
1998
13	EE	Cédric Fournet, Georges Gonthier: A Hierarchy of Equivalences for Asynchronous Calculi. ICALP 1998: 844-855
12		Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. LICS 1998: 105-116
1997
11	EE	Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. Electr. Notes Theor. Comput. Sci. 10: (1997)
1996
10		Georges Gonthier: Verifying the Safety of a Practical Concurrent Garbage Collector. CAV 1996: 462-465
9		Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy: A Calculus of Mobile Agents. CONCUR 1996: 406-421
8	EE	Cédric Fournet, Georges Gonthier: The Reflexive CHAM and the Join-Calculus. POPL 1996: 372-385
1994
7		Damien Doligez, Georges Gonthier: Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. POPL 1994: 70-83
1992
6		Georges Gonthier, Martín Abadi, Jean-Jacques Lévy: Linear Logic Without Boxes LICS 1992: 223-234
5		Georges Gonthier, Jean-Jacques Lévy, Paul-André Melliès: An abstract standardisation theorem LICS 1992: 72-81
4		Georges Gonthier, Martín Abadi, Jean-Jacques Lévy: The Geometry of Optimal Lambda Reduction. POPL 1992: 15-26
3		Gérard Berry, Georges Gonthier: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program. 19(2): 87-152 (1992)
1991
2		Gérard Berry, Georges Gonthier: Incremental Development of an HDLC Entity in Esterel. Computer Networks and ISDN Systems 22(1): 35-49 (1991)
1985
1		Georges Gonthier: Algebraic Calculi of Processes and Net Expressions. Theor. Comput. Sci. 40: 329-337 (1985)

Coauthor Index

1	Martín Abadi	[4] [6] [11] [12] [14] [15] [16] [18] [19]
2	Gérard Berry	[2] [3]
3	Yves Bertot	[25]
4	Sidi Ould Biha	[25]
5	Byron Cook	[21]
6	Damien Doligez	[7]
7	Cédric Fournet	[8] [9] [11] [12] [13] [14] [15] [16] [17] [18] [20]
8	Pierre Letouzey	[22]
9	Jean-Jacques Lévy	[4] [5] [6] [9]
10	Assia Mahboubi	[23]
11	Luc Maranget	[9]
12	Paul-André Melliès	[5]
13	Ioana Pasca	[25]
14	Didier Rémy	[9]
15	Laurence Rideau	[23]
16	Enrico Tassi	[23]
17	Laurent Théry	[22] [23]
18	Benjamin Werner	[19]

Colors in the list of coauthors