The SCEAS System
Navigation Menu

Co-authors


Sanjit A. Seshia: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Randal E. Bryant (14 paper(s) during 2002-2007)
  2. Susmit Jha (6 paper(s) during 2007-2010)
  3. Wenchao Li (5 paper(s) during 2007-2010)
  4. Shuvendu K. Lahiri (5 paper(s) during 2002-2004)
  5. Somesh Jha (4 paper(s) during 2005-2010)
  6. Daniel Kroening (3 paper(s) during 2004-2007)
  7. Ofer Strichman (3 paper(s) during 2002-2007)
  8. Dave King 0002 (2 paper(s) during 2008-2010)
  9. Subhasish Mitra (2 paper(s) during 2007-2010)
  10. Trent Jaeger (2 paper(s) during 2008-2010)
  11. Rhishikesh Limaye (2 paper(s) during 2009)
  12. Wei Zheng (2 paper(s) during 2007-2009)
  13. Armando Solar-Lezama (2 paper(s) during 2006-2007)
  14. Bryan A. Brady (2 paper(s) during 2007)
  15. Joël Ouaknine (2 paper(s) during 2004-2007)
  16. Liviu Tancau (2 paper(s) during 2006-2007)
  17. Rastislav Bodík (2 paper(s) during 2006-2007)
  18. Vijay A. Saraswat (2 paper(s) during 2006-2007)
  19. Cormac Flanagan (2 paper(s) during 2002-2005)
  20. Shaz Qadeer (2 paper(s) during 2002-2005)
  21. A. K. Bhattacharjee (2 paper(s) during 1999)
  22. R. K. Shyamasundar (2 paper(s) during 1999)
  23. S. D. Dhodapkar (2 paper(s) during 1999)
  24. Alessandro Forin (1 paper(s) during 2010)
  25. Ashish Tiwari (1 paper(s) during 2010)
  26. Divya Muthukumaran (1 paper(s) during 2010)
  27. Nicola Nicolici (1 paper(s) during 2010)
  28. Sumit Gulwani (1 paper(s) during 2010)
  29. Alberto L. Sangiovanni-Vincentelli (1 paper(s) during 2009)
  30. Cynthia Sturton (1 paper(s) during 2009)
  31. Daniel Holcomb (1 paper(s) during 2009)
  32. David Wagner (1 paper(s) during 2009)
  33. Edward A. Lee (1 paper(s) during 2009)
  34. Jia Zou (1 paper(s) during 2009)
  35. Marco Di Natale (1 paper(s) during 2009)
  36. Paolo Giusto (1 paper(s) during 2009)
  37. Slobodan Matic (1 paper(s) during 2009)
  38. Alexander Rakhlin (1 paper(s) during 2008)
  39. Orna Kupferman (1 paper(s) during 2008)
  40. Arindam Chakrabarti (1 paper(s) during 2007)
  41. Dirk Beyer (1 paper(s) during 2007)
  42. Gilad Arnold (1 paper(s) during 2007)
  43. Lynn Wang (1 paper(s) during 2007)
  44. Sri Kanajan (1 paper(s) during 2007)
  45. Thomas A. Henzinger (1 paper(s) during 2007)
  46. Thomas Huining Feng (1 paper(s) during 2007)
  47. Dawn Xiaodong Song (1 paper(s) during 2005)
  48. Kenneth S. Stevens (1 paper(s) during 2005)
  49. Mihai Christodorescu (1 paper(s) during 2005)
  50. Stephen N. Freund (1 paper(s) during 2005)
  51. Thomas W. Reps (1 paper(s) during 2005)
  52. Vinod Ganapathy (1 paper(s) during 2005)
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