Rohit Sinha
About
Rohit Sinha has authored 19 papers that have received a total of 104 indexed citations.
This includes 6 papers in Artificial Intelligence, 5 papers in Aquatic Science and 4 papers in Computational Theory and Mathematics. The topics of these papers are Advanced Malware Detection Techniques (4 papers), Security and Verification in Computing (4 papers) and Formal Methods in Verification (3 papers). Rohit Sinha is often cited by papers focused on Advanced Malware Detection Techniques (4 papers), Security and Verification in Computing (4 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in India, United States and United Kingdom. Rohit Sinha's co-authors include Sanjit A. Seshia, Sriram K. Rajamani, Cynthia Sturton, Nuno P. Lopes and Manuel Costa and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Current Science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Michael Coyle are published in Top journals papers by Victor Shnirelman are published in Top journals papers by Joanne Wright are published in Top fields papers by Roshan Kumar are about Top fields papers by T. O. Adeyemi are about Top fields papers by Kate Crosby are about Top fields papers by Paul Torremans are about Top authors papers by Juares da Silva Thiesen are co-authored with