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) |