The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Georges Gonthier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Georges Gonthier
    Verifying the Safety of a Practical Concurrent Garbage Collector. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:462-465 [Conf]
  4. 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]
  5. Martín Abadi, Georges Gonthier, Benjamin Werner
    Choice in Dynamic Linking. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:12-26 [Conf]
  6. 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]
  7. Cédric Fournet, Georges Gonthier
    A Hierarchy of Equivalences for Asynchronous Calculi. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:844-855 [Conf]
  8. Byron Cook, Georges Gonthier
    Using Stålmarck's Algorithm to Prove Inequalities. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:330-344 [Conf]
  9. Martín Abadi, Cédric Fournet, Georges Gonthier
    Secure Implementation of Channel Abstractions. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:105-116 [Conf]
  10. Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
    Linear Logic Without Boxes [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:223-234 [Conf]
  11. 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]
  12. Martín Abadi, Cédric Fournet, Georges Gonthier
    Authentication Primitives and Their Compilation. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:302-315 [Conf]
  13. Damien Doligez, Georges Gonthier
    Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:70-83 [Conf]
  14. Cédric Fournet, Georges Gonthier
    The Reflexive CHAM and the Join-Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:372-385 [Conf]
  15. 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]
  16. 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]
  17. Laurent Théry, Pierre Letouzey, Georges Gonthier
    Coq. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:28-35 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]

  24. Software Engineering for Mathematics. [Citation Graph (, )][DBLP]


  25. Canonical Big Operators. [Citation Graph (, )][DBLP]


  26. Packaging Mathematical Structures. [Citation Graph (, )][DBLP]


  27. The Four Colour Theorem: Engineering of a Formal Proof. [Citation Graph (, )][DBLP]


Search in 0.236secs, Finished in 0.238secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002