The SCEAS System
| |||||||

## 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.003secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |