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