Rohit Sinha

19 papers and 105 indexed citations i.

Rohit Sinha has authored 19 papers that have received a total of 105 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 Security and Verification in Computing (4 papers), Advanced Malware Detection Techniques (4 papers) and Fish Biology and Ecology Studies (3 papers). Rohit Sinha is often cited by papers focused on Security and Verification in Computing (4 papers), Advanced Malware Detection Techniques (4 papers) and Fish Biology and Ecology Studies (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, P.M. Raole, Manuel Costa and Mohit Kumar 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.