The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gilles Kahn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bruno Courcelle, Gilles Kahn, Jean Vuillemin
    Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples. [Citation Graph (1, 0)][DBLP]
    ICALP, 1974, pp:200-213 [Conf]
  2. Gilles Kahn
    The Semantics of Simple Language for Parallel Programming. [Citation Graph (1, 0)][DBLP]
    IFIP Congress, 1974, pp:471-475 [Conf]
  3. Gilles Kahn
    Natural Semantics. [Citation Graph (1, 0)][DBLP]
    STACS, 1987, pp:22-39 [Conf]
  4. Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang
    On the formal definition of ADA. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:475-489 [Conf]
  5. Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos
    Outline of a Tool for Document Manipulation. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:615-620 [Conf]
  6. Gilles Kahn, David B. MacQueen
    Coroutines and Networks of Parallel Processes. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:993-998 [Conf]
  7. Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn
    A Simple Applicative Language: Mini-ML. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:13-27 [Conf]
  8. Patrick Borras, Dominique Clément, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, V. Pascual
    CENTAUR: The System. [Citation Graph (0, 0)][DBLP]
    Software Development Environments (SDE), 1988, pp:14-24 [Conf]
  9. Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese
    Documents Structure and Modularity in Mentor. [Citation Graph (0, 0)][DBLP]
    Software Development Environments (SDE), 1984, pp:141-148 [Conf]
  10. Dominique Clément, Janet Incerpi, Gilles Kahn
    CENTAUR: Towards a "Software Tool Box" for Programming Environments. [Citation Graph (0, 0)][DBLP]
    SEE, 1989, pp:287-304 [Conf]
  11. Gilles Kahn
    An Approach to System Correctness. [Citation Graph (0, 0)][DBLP]
    SOSP, 1971, pp:86-94 [Conf]
  12. Yves Bertot, Gilles Kahn, Laurent Théry
    Proof by Pointing. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:141-160 [Conf]
  13. Yann Coscoy, Gilles Kahn, Laurent Théry
    Extracting Text from Proofs. [Citation Graph (0, 0)][DBLP]
    TLCA, 1995, pp:109-123 [Conf]
  14. Gilles Kahn
    Preface [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:110, n:2, pp:0- [Journal]
  15. Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos
    Metal: A Formalism to Specify Formalisms. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1983, v:3, n:2, pp:151-188 [Journal]
  16. Gilles Kahn, Gordon D. Plotkin
    Concrete Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:121, n:1&2, pp:187-277 [Journal]

Search in 0.002secs, Finished in 0.003secs
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