Shromona Ghosh
About
Shromona Ghosh has authored 11 papers that have received a total of 217 indexed citations.
This includes 6 papers in Computational Theory and Mathematics, 5 papers in Artificial Intelligence and 4 papers in Software. The topics of these papers are Formal Methods in Verification (6 papers), Adversarial Robustness in Machine Learning (4 papers) and Software Testing and Debugging Techniques (4 papers). Shromona Ghosh is often cited by papers focused on Formal Methods in Verification (6 papers), Adversarial Robustness in Machine Learning (4 papers) and Software Testing and Debugging Techniques (4 papers) and collaborates with scholars based in United States and Switzerland. Shromona Ghosh's co-authors include Sanjit A. Seshia, Alberto Sangiovanni‐Vincentelli, Tommaso Dreossi, Claire J. Tomlin and Xiangyu Yue and has published in prestigious journals such as IEEE Transactions on Automatic Control, Machine Learning and IFAC-PapersOnLine.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Aurélien Seemann Breakdown of academic impact, for papers by D. Ronneberger Breakdown of academic impact, for papers by Sunarin Chanta Breakdown of academic impact, for papers by Yi-Ping Hung Breakdown of academic impact, for papers by Amir Feder Breakdown of academic impact, for papers by JeeHyun Hwang Breakdown of academic impact, for papers by Jeremy R. Ash Breakdown of academic impact, for papers by Christopher Powell