Nishant Sinha

Cited by

	All	Since 2017
Citations	1508	459
h-index	20	14
i10-index	35	18

120

200320042005200620072008200920102011201220132014201520162017201820192020202120228 16 35 58 88 78 81 66 75 81 109 113 103 109 89 94 92 67 81 36

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Chao WangUniversity of Southern CaliforniaVerified email at usc.edu
Vineet KahlonGoogle, New York.Verified email at nec-labs.com
Satish ChandraGoogleVerified email at acm.org
Aarti GuptaPrinceton UniversityVerified email at cs.princeton.edu
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Suresh ThummalapentaMicrosoft Corporation, USAVerified email at microsoft.com
Saurabh SinhaIBM ResearchVerified email at us.ibm.com
Michael TheobaldD. E. Shaw Research Verified email at deshawresearch.com
Franjo IvančićGoogle, Inc.Verified email at google.com
Gogul BalakrishnanGoogle IncVerified email at google.com
Rezwana KarimSenior Research Engineer, Samsung ResearchVerified email at samsung.com
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Andreas PavlogiannisAssistant Professor, Aarhus UniversityVerified email at cs.au.dk
Yu-Fang ChenResearch Fellow, Academia SinicaVerified email at iis.sinica.edu.tw
Chih-Duo HongDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Jing YangUniversity of VirginiaVerified email at virginia.edu
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Manu SridharanAssociate Professor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net

Nishant Sinha

Founder, Chief Scientist, OffNote Labs

Verified email at in.ibm.com - Homepage

Deep Learning Cognitive Systems Distributed Computation Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
State/event-based software model checking S Chaki, EM Clarke, J Ouaknine, N Sharygina, N Sinha International Conference on Integrated Formal Methods, 128-147, 2004	221	2004
Static data race detection for concurrent programs with asynchronous calls V Kahlon, N Sinha, E Kruus, Y Zhang Proceedings of the 7th joint meeting of the European software engineering …, 2009	96	2009
Automated assume-guarantee reasoning for simulation conformance S Chaki, E Clarke, N Sinha, P Thati International Conference on Computer Aided Verification, 534-547, 2005	95	2005
Concurrent software verification with states, events, and deadlocks S Chaki, E Clarke, J Ouaknine, N Sharygina, N Sinha Formal Aspects of Computing 17 (4), 461-483, 2005	85	2005
Staged concurrent program analysis N Sinha, C Wang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	71	2010
On interference abstractions N Sinha, C Wang Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011	68	2011
Dynamic component substitutability analysis N Sharygina, S Chaki, E Clarke, N Sinha International Symposium on Formal Methods, 512-528, 2005	65	2005
Guided test generation for web applications S Thummalapenta, KV Lakshmi, S Sinha, N Sinha, S Chandra 2013 35th International Conference on Software Engineering (ICSE), 162-171, 2013	61	2013
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions V Kahlon, A Gupta, N Sinha International conference on computer aided verification, 286-299, 2006	56	2006
Data-centric dynamic partial order reduction M Chalupa, K Chatterjee, A Pavlogiannis, N Sinha, K Vaidya Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017	52	2017
Verification of evolving software via component substitutability analysis S Chaki, E Clarke, N Sharygina, N Sinha Formal Methods in System Design 32 (3), 235-266, 2008	48	2008
A basis for composition language CL J Ivers, N Sinha, K Wallnau CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2002	47	2002
Symbolic model checking of software F Lerda, N Sinha, M Theobald Electronic notes in theoretical computer science 89 (3), 480-498, 2003	42	2003
Verification of evolving software S Chaki, N Sharygina, N Sinha	39	2004
SAT-based compositional verification using lazy learning N Sinha, E Clarke International Conference on Computer Aided Verification, 39-54, 2007	37	2007
Static DOM event dependency analysis for testing web applications C Sung, M Kusano, N Sinha, C Wang Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	30	2016
Range allocation for separation logic M Talupur, N Sinha, O Strichman, A Pnueli International Conference on Computer Aided Verification, 148-161, 2004	28	2004
Alternate and learn: Finding witnesses without looking all over N Sinha, N Singhania, S Chandra, M Sridharan International Conference on Computer Aided Verification, 599-615, 2012	25	2012
Commutativity of reducers YF Chen, CD Hong, N Sinha, BY Wang International Conference on Tools and Algorithms for the Construction and …, 2015	23	2015
Symbolic program analysis using term rewriting and generalization N Sinha US Patent 8,131,768, 2012	23	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors