The SCEAS System
Navigation Menu

Co-authors


Georges Gonthier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Cédric Fournet (11 paper(s) during 1996-2005)
  2. Martín Abadi (9 paper(s) during 1992-2004)
  3. Jean-Jacques Lévy (4 paper(s) during 1992-1996)
  4. Assia Mahboubi (2 paper(s) during 2007-2009)
  5. Laurence Rideau (2 paper(s) during 2007-2009)
  6. Laurent Théry (2 paper(s) during 2006-2007)
  7. Gérard Berry (2 paper(s) during 1991-1992)
  8. François Garillot (1 paper(s) during 2009)
  9. Ioana Pasca (1 paper(s) during 2008)
  10. Sidi Ould Biha (1 paper(s) during 2008)
  11. Yves Bertot (1 paper(s) during 2008)
  12. Enrico Tassi (1 paper(s) during 2007)
  13. Pierre Letouzey (1 paper(s) during 2006)
  14. Byron Cook (1 paper(s) during 2005)
  15. Benjamin Werner (1 paper(s) during 2004)
  16. Didier Rémy (1 paper(s) during 1996)
  17. Luc Maranget (1 paper(s) during 1996)
  18. Damien Doligez (1 paper(s) during 1994)
  19. Paul-André Melliès (1 paper(s) during 1992)
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