Susmit Jha
About
Susmit Jha has authored 34 papers that have received a total of 302 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.
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by S. A. E. Boyer are co-authored with Top journals papers by Wang Ying-luo are published in Top journals papers by Maria Alice Neves are published in Top countries impacted by papers by Esben Boeskov Øzhayat Top journals papers by İrfan Çelebi are published in Top journals papers by Abhishek Kumar are published in Top fields papers by Nora Y. Osman are about Top fields papers by Heng-Fu Lin are about