The SCEAS System
Navigation Menu

Co-authors


Byron Cook: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Josh Berdine (9 paper(s) during 2006-2008)
  2. Andrey Rybalchenko (7 paper(s) during 2005-2009)
  3. Thomas Ball (6 paper(s) during 2004-2006)
  4. Daniel Kroening (5 paper(s) during 2004-2010)
  5. Alexey Gotsman (5 paper(s) during 2006-2009)
  6. Mooly Sagiv (5 paper(s) during 2007-2008)
  7. Andreas Podelski (5 paper(s) during 2005-2007)
  8. Dino Distefano (4 paper(s) during 2006-2008)
  9. Peter W. O'Hearn (4 paper(s) during 2006-2008)
  10. Natasha Sharygina (4 paper(s) during 2004-2006)
  11. Shuvendu K. Lahiri (4 paper(s) during 2003-2006)
  12. Nancy A. Day (4 paper(s) during 1999-2003)
  13. John Launchbury (4 paper(s) during 1997-1999)
  14. Hongseok Yang (3 paper(s) during 2007-2008)
  15. Sriram K. Rajamani (3 paper(s) during 2004-2006)
  16. Mark Aagaard (3 paper(s) during 2000-2003)
  17. Stephen Magill (2 paper(s) during 2007-2009)
  18. Viktor Vafeiadis (2 paper(s) during 2009)
  19. Aziem Chawdhary (2 paper(s) during 2007-2008)
  20. Cristiano Calcagno (2 paper(s) during 2007-2008)
  21. Sumit Gulwani (2 paper(s) during 2008)
  22. Franz Baader (2 paper(s) during 2007)
  23. Jürgen Giesl (2 paper(s) during 2007)
  24. Robert Nieuwenhuis (2 paper(s) during 2007)
  25. Scott D. Stoller (2 paper(s) during 2003-2006)
  26. Vladimir Levin (2 paper(s) during 2004-2006)
  27. Willem Visser (2 paper(s) during 2003-2006)
  28. Gunnar Andersson (2 paper(s) during 2002-2003)
  29. Per Bjesse (2 paper(s) during 2002-2003)
  30. Robert B. Jones (2 paper(s) during 2001-2003)
  31. Ziyad Hanna (2 paper(s) during 2002-2003)
  32. Jeffrey R. Lewis (2 paper(s) during 1999)
  33. John Matthews (2 paper(s) during 1998-1999)
  34. Christoph M. Wintersteiger (1 paper(s) during 2010)
  35. Philipp Rümmer (1 paper(s) during 2010)
  36. Ashutosh Gupta (1 paper(s) during 2009)
  37. Jirí Simsa (1 paper(s) during 2009)
  38. Matthew J. Parkinson (1 paper(s) during 2009)
  39. Satnam Singh (1 paper(s) during 2009)
  40. Jonathan P. Bowen (1 paper(s) during 2008)
  41. Michael Jackson (1 paper(s) during 2008)
  42. Mike Hinchey (1 paper(s) during 2008)
  43. Oukseh Lee (1 paper(s) during 2008)
  44. Patrick Cousot (1 paper(s) during 2008)
  45. Tal Lev-Ami (1 paper(s) during 2008)
  46. Tiziana Margaria (1 paper(s) during 2008)
  47. Alan J. Hu (1 paper(s) during 2007)
  48. Domagoj Babic (1 paper(s) during 2007)
  49. Edmund M. Clarke (1 paper(s) during 2007)
  50. G. Ramalingam (1 paper(s) during 2007)
  51. Moshe Y. Vardi (1 paper(s) during 2007)
  52. Noam Rinetzky (1 paper(s) during 2007)
  53. Roberto Sebastiani (1 paper(s) during 2007)
  54. Roman Manevich (1 paper(s) during 2007)
  55. Thomas Wies (1 paper(s) during 2007)
  56. Zvonimir Rakamaric (1 paper(s) during 2007)
  57. Abdullah Ustuner (1 paper(s) during 2006)
  58. Andreas Griesmayer (1 paper(s) during 2006)
  59. Bohus Ondrusek (1 paper(s) during 2006)
  60. Con McGarvey (1 paper(s) during 2006)
  61. Ella Bounimova (1 paper(s) during 2006)
  62. Jakob Lichtenberg (1 paper(s) during 2006)
  63. Roderick Bloem (1 paper(s) during 2006)
  64. Georges Gonthier (1 paper(s) during 2005)
  65. Lintao Zhang (1 paper(s) during 2004)
  66. Satyaki Das (1 paper(s) during 2004)
  67. Randal E. Bryant (1 paper(s) during 2003)
  68. Richard B. Kieburtz (1 paper(s) during 1999)
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