The SCEAS System
Navigation Menu

Co-authors


Nishant Sinha: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Edmund M. Clarke (7 paper(s) during 2004-2007)
  2. Sagar Chaki (5 paper(s) during 2004-2006)
  3. Natasha Sharygina (4 paper(s) during 2004-2005)
  4. Vineet Kahlon (2 paper(s) during 2006-2009)
  5. Joël Ouaknine (2 paper(s) during 2004-2005)
  6. Ajit Pal (2 paper(s) during 2002)
  7. Debasis Samanta (2 paper(s) during 2002)
  8. Erik Kruus (1 paper(s) during 2009)
  9. Yun Zhang (1 paper(s) during 2009)
  10. Aarti Gupta (1 paper(s) during 2006)
  11. Himanshu Jain (1 paper(s) during 2005)
  12. Prasanna Thati (1 paper(s) during 2005)
  13. Amir Pnueli (1 paper(s) during 2004)
  14. Muralidhar Talupur (1 paper(s) during 2004)
  15. Ofer Strichman (1 paper(s) during 2004)
  16. Flavio Lerda (1 paper(s) during 2003)
  17. Michael Theobald (1 paper(s) during 2003)
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