Georges Gonthier

	2009
27		Georges Gonthier: Software Engineering for Mathematics. Calculemus/MKM 2009: 27
26		François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau: Packaging Mathematical Structures. TPHOLs 2009: 327-342
	2008
25		Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca: Canonical Big Operators. TPHOLs 2008: 86-101
	2007
24		Georges Gonthier: The Four Colour Theorem: Engineering of a Formal Proof. ASCM 2007: 333
23		Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry: A Modular Formalisation of Finite Group Theory. TPHOLs 2007: 86-101
	2006
22		Laurent Théry, Pierre Letouzey, Georges Gonthier: Coq. The Seventeen Provers of the World 2006: 28-35
	2005
21		Byron Cook, Georges Gonthier: Using Stålmarck's Algorithm to Prove Inequalities. ICFEM 2005: 330-344
20		Cédric Fournet, Georges Gonthier: A hierarchy of equivalences for asynchronous calculi. J. Log. Algebr. Program. 63(1): 131-173 (2005)
	2004
19		Martín Abadi, Georges Gonthier, Benjamin Werner: Choice in Dynamic Linking. FoSSaCS 2004: 12-26
	2002
18		Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. Inf. Comput. 174(1): 37-83 (2002)
	2000
17		Cédric Fournet, Georges Gonthier: The Join Calculus: A Language for Distributed Mobile Programming. APPSEM 2000: 268-332
16		Martín Abadi, Cédric Fournet, Georges Gonthier: Authentication Primitives and Their Compilation. POPL 2000: 302-315
	1999
15		Martín Abadi, Cédric Fournet, Georges Gonthier: A Top-Down Look at a Secure Message. FSTTCS 1999: 122-141
14		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		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		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		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	François Garillot	[26]
9	Pierre Letouzey	[22]
10	Jean-Jacques Lévy	[4] [5] [6] [9]
11	Assia Mahboubi	[23] [26]
12	Luc Maranget	[9]
13	Paul-André Melliès	[5]
14	Ioana Pasca	[25]
15	Didier Rémy	[9]
16	Laurence Rideau	[23] [26]
17	Enrico Tassi	[23]
18	Laurent Théry	[22] [23]
19	Benjamin Werner	[19]

Colors in the list of coauthors