The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Co-authors

K. Rustan M. Leino: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Peter Müller (9 paper(s) during 2004-2010)
  2. Michael Barnett (5 paper(s) during 2004-2010)
  3. Wolfram Schulte (5 paper(s) during 2004-2007)
  4. Gary T. Leavens (3 paper(s) during 2003-2007)
  5. Bart Jacobs 0002 (3 paper(s) during 2005)
  6. Bor-Yuh Evan Chang (3 paper(s) during 2005)
  7. James B. Saxe (3 paper(s) during 1999-2005)
  8. Manuel Fähndrich (3 paper(s) during 2003-2005)
  9. Robert DeLine (3 paper(s) during 2004-2005)
  10. Cormac Flanagan (3 paper(s) during 2001-2002)
  11. Greg Nelson (3 paper(s) during 1998-2002)
  12. Raymie Stata (3 paper(s) during 1999-2002)
  13. Rajeev Joshi (3 paper(s) during 1998-2001)
  14. Jan Smans (2 paper(s) during 2009-2010)
  15. Rosemary Monahan (2 paper(s) during 2009-2010)
  16. Angela Wallenburg (2 paper(s) during 2008)
  17. David R. Cok (2 paper(s) during 2003-2005)
  18. Erik Poll (2 paper(s) during 2003-2005)
  19. Lilian Burdy (2 paper(s) during 2003-2005)
  20. Michael D. Ernst (2 paper(s) during 2003-2005)
  21. Yoonsik Cheon (2 paper(s) during 2003-2005)
  22. Martín Abadi (2 paper(s) during 1997-2003)
  23. Rajit Manohar (2 paper(s) during 1995-1999)
  24. Philipp Rümmer (1 paper(s) during 2010)
  25. Andreas Podelski (1 paper(s) during 2009)
  26. Jochen Hoenicke (1 paper(s) during 2009)
  27. Martin Schäf (1 paper(s) during 2009)
  28. Ronald Middelkoop (1 paper(s) during 2009)
  29. Thomas Wies (1 paper(s) during 2009)
  30. Burkhart Wolff (1 paper(s) during 2008)
  31. Sascha Böhme (1 paper(s) during 2008)
  32. Ádám Darvas (1 paper(s) during 2007)
  33. Francesco Logozzo (1 paper(s) during 2005)
  34. Frank Piessens (1 paper(s) during 2005)
  35. Herman Venter (1 paper(s) during 2005)
  36. Joseph R. Kiniry (1 paper(s) during 2005)
  37. Madan Musuvathi (1 paper(s) during 2005)
  38. Todd D. Millstein (1 paper(s) during 2005)
  39. Xinming Ou (1 paper(s) during 2005)
  40. Michael Burrows (1 paper(s) during 2004)
  41. Viktor Kuncak (1 paper(s) during 2004)
  42. Joseph Kiniry (1 paper(s) during 2003)
  43. Arnd Poetzsch-Heffter (1 paper(s) during 2002)
  44. Mark Lillibridge (1 paper(s) during 2002)
  45. Yunhong Zhou (1 paper(s) during 2002)
  46. Jan L. A. van de Snepscheut (1 paper(s) during 1994)
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002