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 authors papers by Arthur Llewellyn Photographer Basham are co-authored with Top journals papers by Liliana Velasco‐Hidalgo are published in Top countries impacted by papers by Marcelo Garcia Manzato Top fields papers by Phooi Yee Lau are about Top countries impacted by papers by Patricia Treadwell Top journals papers by Ali M. Ansari are published in Top journals papers by Devayani Niyogi are published in Top fields papers by T.C. Nicholas Graham are about