Susmit Jha

34 papers and 300 indexed citations i.

Susmit Jha has authored 34 papers that have received a total of 300 indexed citations. This includes 25 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 4 papers in Computer Vision and Pattern Recognition. The topics of these papers are Adversarial Robustness in Machine Learning (11 papers), Formal Methods in Verification (9 papers) and Machine Learning and Algorithms (5 papers). Susmit Jha is often cited by papers focused on Adversarial Robustness in Machine Learning (11 papers), Formal Methods in Verification (9 papers) and Machine Learning and Algorithms (5 papers) and collaborates with scholars based in United States, Germany and Ireland. Susmit Jha's co-authors include Sanjit A. Seshia, Ashish Tiwari, Sumit Kumar Jha, Tuhin Sahai and Alvaro Velasquez and has published in prestigious journals such as ACM SIGPLAN Notices, Acta Informatica and Journal of Automated Reasoning