The SCEAS System
Navigation Menu

Co-authors


Sergey Berezin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. David L. Dill (6 paper(s) during 2002-2006)
  2. Edmund M. Clarke (5 paper(s) during 1997-2002)
  3. Husam Abu-Haimed (3 paper(s) during 2003-2006)
  4. Vijay Ganesh (2 paper(s) during 2002-2003)
  5. Armin Biere (2 paper(s) during 1998-2002)
  6. Yunshan Zhu (2 paper(s) during 1998-2002)
  7. Anton Prokopenko (1 paper(s) during 2009)
  8. Yevgeny Ryannel (1 paper(s) during 2009)
  9. Clark W. Barrett (1 paper(s) during 2004)
  10. Jacob Chang (1 paper(s) during 2004)
  11. Adrian Perrig (1 paper(s) during 2001)
  12. Dawn Xiaodong Song (1 paper(s) during 2001)
  13. Saddek Bensalem (1 paper(s) during 2001)
  14. Sam Owre (1 paper(s) during 2001)
  15. Yassine Lakhnech (1 paper(s) during 2001)
  16. Somesh Jha (1 paper(s) during 2000)
  17. Will Marrero (1 paper(s) during 2000)
  18. Sérgio Vale Aguiar Campos (1 paper(s) during 1997)
  19. Bruce M. Kapron (1 paper(s) during 1996)
  20. Dilian Gurov (1 paper(s) during 1996)
  21. Nikolay V. Shilov (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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002