Nishant Sinha

15 papers and 145 indexed citations i.

Nishant Sinha has authored 15 papers that have received a total of 145 indexed citations. This includes 10 papers in Software, 7 papers in Computational Theory and Mathematics and 5 papers in Artificial Intelligence. The topics of these papers are Software Testing and Debugging Techniques (10 papers), Formal Methods in Verification (7 papers) and Software Reliability and Analysis Research (4 papers). Nishant Sinha is often cited by papers focused on Software Testing and Debugging Techniques (10 papers), Formal Methods in Verification (7 papers) and Software Reliability and Analysis Research (4 papers) and collaborates with scholars based in United States, India and United Kingdom. Nishant Sinha's co-authors include Sagar Chaki, Vineet Kahlon, Edmund M. Clarke and Natasha Sharygina and has published in prestigious journals such as ACM SIGPLAN Notices, Formal Methods in System Design and Electronic Notes in Theoretical Computer Science.