The SCEAS System
Navigation Menu

Co-authors


Cormac Flanagan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Stephen N. Freund (18 paper(s) during 2000-2010)
  2. Shaz Qadeer (11 paper(s) during 2002-2005)
  3. Matthias Felleisen (9 paper(s) during 1993-2002)
  4. Jaeheon Yi (3 paper(s) during 2008-2010)
  5. Martín Abadi (3 paper(s) during 1999-2006)
  6. James B. Saxe (3 paper(s) during 2001-2003)
  7. K. Rustan M. Leino (3 paper(s) during 2001-2002)
  8. Matthew Flatt (3 paper(s) during 1996-2002)
  9. Shriram Krishnamurthi (3 paper(s) during 1996-2002)
  10. Caitlin Sadowski (2 paper(s) during 2009)
  11. Kenneth W. Knowles (2 paper(s) during 2007-2009)
  12. Sanjit A. Seshia (2 paper(s) during 2002-2005)
  13. Rajeev Joshi (2 paper(s) during 2001-2003)
  14. Robert Bruce Findler (2 paper(s) during 1997-2002)
  15. Amr Sabry (2 paper(s) during 1993)
  16. Bruce F. Duba (2 paper(s) during 1993)
  17. Thomas H. Austin (1 paper(s) during 2009)
  18. David Herman (1 paper(s) during 2007)
  19. Eran Yahav (1 paper(s) during 2007)
  20. Guy Gueta (1 paper(s) during 2007)
  21. Mooly Sagiv (1 paper(s) during 2007)
  22. Aaron Tomb (1 paper(s) during 2005)
  23. Edwin Rodríguez (1 paper(s) during 2005)
  24. Gary T. Leavens (1 paper(s) during 2005)
  25. John Hatcliff (1 paper(s) during 2005)
  26. Marina Lifshin (1 paper(s) during 2005)
  27. Matthew B. Dwyer (1 paper(s) during 2005)
  28. Patrice Godefroid (1 paper(s) during 2005)
  29. Robby (1 paper(s) during 2005)
  30. Xinming Ou (1 paper(s) during 2003)
  31. Greg Nelson (1 paper(s) during 2002)
  32. John Clements (1 paper(s) during 2002)
  33. Mark Lillibridge (1 paper(s) during 2002)
  34. Paul Steckler (1 paper(s) during 2002)
  35. Raymie Stata (1 paper(s) during 2002)
  36. Rishiyur S. Nikhil (1 paper(s) during 1996)
  37. Stephanie Weirich (1 paper(s) during 1996)
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