Mukund Raghothaman
About
Mukund Raghothaman has authored 16 papers that have received a total of 343 indexed citations.
This includes 9 papers in Artificial Intelligence, 9 papers in Information Systems and 7 papers in Software. The topics of these papers are Software Engineering Research (8 papers), Software Testing and Debugging Techniques (7 papers) and Formal Methods in Verification (3 papers). Mukund Raghothaman is often cited by papers focused on Software Engineering Research (8 papers), Software Testing and Debugging Techniques (7 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in United States, France and Australia. Mukund Raghothaman's co-authors include Rajeev Alur, Mayur Naik, Konstantinos Mamouras, Kihong Heo and Loris D’Antoni and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and Proceedings of the ACM on Programming Languages.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Xiaodong Yu are published in Top fields papers by Elizabeth L. Kacel are about Top journals papers by James Woodward are published in Top journals papers by Lea R. Gordon are published in Top fields papers by David H. Yeh are about Top authors papers by Francisco Javier Vázquez-Armenta are co-authored with Top fields papers by Apoorva Athavale are about Top countries impacted by papers by Poongodi Manoharan