The SCEAS System
Navigation Menu

Co-authors


Laurent Théry: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Benjamin Grégoire (3 paper(s) during 2006-2010)
  2. Yves Bertot (3 paper(s) during 1994-2005)
  3. John Harrison (3 paper(s) during 1993-1998)
  4. Georges Gonthier (2 paper(s) during 2006-2007)
  5. Laurence Rideau (2 paper(s) during 2001-2007)
  6. Pierre Letouzey (2 paper(s) during 2000-2006)
  7. Marc Daumas (2 paper(s) during 2001)
  8. Gilles Kahn (2 paper(s) during 1994-1995)
  9. Arnaud Spiwack (1 paper(s) during 2010)
  10. Michaël Armand (1 paper(s) during 2010)
  11. Claude Pasquier (1 paper(s) during 2009)
  12. Assia Mahboubi (1 paper(s) during 2007)
  13. Enrico Tassi (1 paper(s) during 2007)
  14. Guillaume Hanrot (1 paper(s) during 2007)
  15. Benjamin Werner (1 paper(s) during 2006)
  16. Claire Moreau-Finot (1 paper(s) during 2001)
  17. Sylvie Boldo (1 paper(s) during 2001)
  18. Amy P. Felty (1 paper(s) during 1997)
  19. Yann Coscoy (1 paper(s) during 1995)
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