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

Co-authors

Randal E. Bryant: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Miroslav N. Velev (18 paper(s) during 1997-2003)
  2. Sanjit A. Seshia (14 paper(s) during 2002-2007)
  3. Shuvendu K. Lahiri (10 paper(s) during 2002-2004)
  4. Alok Jain (8 paper(s) during 1991-1999)
  5. Yirng-An Chen (7 paper(s) during 1995-2001)
  6. Derek L. Beatty (6 paper(s) during 1987-1996)
  7. Amit Goel (5 paper(s) during 2000-2004)
  8. Clayton B. McDonald (5 paper(s) during 1999-2001)
  9. Manish Pandey (5 paper(s) during 1995-1999)
  10. Manuela M. Veloso (4 paper(s) during 2002-2008)
  11. Rune M. Jensen (4 paper(s) during 2002-2008)
  12. David R. O'Hallaron (4 paper(s) during 1998-2001)
  13. Steven M. German (4 paper(s) during 1999-2001)
  14. Carl-Johan H. Seger (4 paper(s) during 1990-1995)
  15. Bwolen Yang (3 paper(s) during 1998-1999)
  16. Rob A. Rutenbar (3 paper(s) during 1989-1991)
  17. Saul A. Kravitz (3 paper(s) during 1989-1991)
  18. Ofer Strichman (2 paper(s) during 2002-2007)
  19. Somesh Jha (2 paper(s) during 2005)
  20. Kyle L. Nelson (2 paper(s) during 1996-1997)
  21. Richard Raimi (2 paper(s) during 1996-1997)
  22. Samir Jain (2 paper(s) during 1995)
  23. Lawrence P. Huang (2 paper(s) during 1993)
  24. Thomas J. Sheffler (2 paper(s) during 1987-1993)
  25. Karl S. Brace (2 paper(s) during 1987-1990)
  26. K. Cho (2 paper(s) during 1987-1989)
  27. Bryan A. Brady (1 paper(s) during 2007)
  28. Daniel Kroening (1 paper(s) during 2007)
  29. Joël Ouaknine (1 paper(s) during 2007)
  30. Dawn Xiaodong Song (1 paper(s) during 2005)
  31. Kenneth S. Stevens (1 paper(s) during 2005)
  32. Mihai Christodorescu (1 paper(s) during 2005)
  33. Thomas W. Reps (1 paper(s) during 2005)
  34. Vinod Ganapathy (1 paper(s) during 2005)
  35. Muralidhar Talupur (1 paper(s) during 2004)
  36. Sriram K. Rajamani (1 paper(s) during 2004)
  37. Byron Cook (1 paper(s) during 2003)
  38. Gagan Hasteer (1 paper(s) during 2003)
  39. Chris Wilson (1 paper(s) during 2000)
  40. David L. Dill (1 paper(s) during 2000)
  41. Edmund M. Clarke (1 paper(s) during 2000)
  42. Pankaj Chauhan (1 paper(s) during 2000)
  43. Reid G. Simmons (1 paper(s) during 1999)
  44. Vishnu A. Patankar (1 paper(s) during 1999)
  45. Armin Biere (1 paper(s) during 1998)
  46. Fabio Somenzi (1 paper(s) during 1998)
  47. Geert Janssen (1 paper(s) during 1998)
  48. Gerry Musgrave (1 paper(s) during 1998)
  49. Olivier Coudert (1 paper(s) during 1998)
  50. Rajeev K. Ranjan (1 paper(s) during 1998)
  51. Magdy S. Abadir (1 paper(s) during 1997)
  52. Gary York (1 paper(s) during 1995)
  53. J. D. Tygar (1 paper(s) during 1993)
  54. Richard L. Rudell (1 paper(s) during 1990)
  55. Michael Dd. Schuster (1 paper(s) during 1985)
  56. William J. Dally (1 paper(s) during 1985)
  57. Jack B. Dennis (1 paper(s) during 1980)
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