The SCEAS System
Navigation Menu

Co-authors


Patrice Godefroid: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Pierre Wolper (6 paper(s) during 1991-1997)
  2. Radha Jagadeesan (5 paper(s) during 2000-2004)
  3. Bernard Boigelot (5 paper(s) during 1996-1999)
  4. Michael Y. Levin (4 paper(s) during 2008-2009)
  5. Glenn Bruns (4 paper(s) during 1999-2004)
  6. Lalita Jategaonkar Jagadeesan (4 paper(s) during 1998-2000)
  7. Didier Pirottin (4 paper(s) during 1992-1995)
  8. Gerard J. Holzmann (4 paper(s) during 1992-1995)
  9. Kousha Etessami (2 paper(s) during 2005-2009)
  10. David A. Molnar (2 paper(s) during 2008)
  11. Michael Benedikt (2 paper(s) during 2001-2005)
  12. Michael Huth (2 paper(s) during 2001-2005)
  13. Nils Klarlund (2 paper(s) during 2005)
  14. Thomas W. Reps (2 paper(s) during 2001-2005)
  15. A. Prasad Sistla (2 paper(s) during 2001-2004)
  16. Sarfraz Khurshid (2 paper(s) during 2002-2004)
  17. David E. Long (2 paper(s) during 1996-1999)
  18. Doron Peled (2 paper(s) during 1996)
  19. Mark G. Staskauskas (2 paper(s) during 1996)
  20. Aditya V. Nori (1 paper(s) during 2010)
  21. Johannes Kinder (1 paper(s) during 2010)
  22. SaiDeep Tetali (1 paper(s) during 2010)
  23. Sriram K. Rajamani (1 paper(s) during 2010)
  24. Bassem Elkarablieh (1 paper(s) during 2009)
  25. Nir Piterman (1 paper(s) during 2009)
  26. Adam Kiezun (1 paper(s) during 2008)
  27. Nikolai Tillmann (1 paper(s) during 2008)
  28. Ru-Gang Xu (1 paper(s) during 2008)
  29. Rupak Majumdar (1 paper(s) during 2008)
  30. Saswat Anand (1 paper(s) during 2008)
  31. Arindam Chakrabarti (1 paper(s) during 2006)
  32. Cormac Flanagan (1 paper(s) during 2005)
  33. Koushik Sen (1 paper(s) during 2005)
  34. Mihalis Yannakakis (1 paper(s) during 2005)
  35. Rajeev Alur (1 paper(s) during 2005)
  36. Luca de Alfaro (1 paper(s) during 2004)
  37. Christopher Palm (1 paper(s) during 2002)
  38. Satish Chandra (1 paper(s) during 2002)
  39. Du Li (1 paper(s) during 2000)
  40. James D. Herbsleb (1 paper(s) during 2000)
  41. Konstantin Läufer (1 paper(s) during 2000)
  42. Christopher Colby (1 paper(s) during 1998)
  43. Frank Weil (1 paper(s) during 1998)
  44. John Kelly (1 paper(s) during 1998)
  45. Robert S. Hanmer (1 paper(s) during 1998)
  46. Steven P. Miller (1 paper(s) during 1998)
  47. Bernard Willems (1 paper(s) during 1997)
  48. Froduald Kabanza (1 paper(s) during 1991)
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