P. Madhusudan

59 papers and 998 indexed citations i.

P. Madhusudan has authored 59 papers that have received a total of 998 indexed citations. This includes 43 papers in Artificial Intelligence, 37 papers in Computational Theory and Mathematics and 13 papers in Software. The topics of these papers are Formal Methods in Verification (36 papers), Logic, programming, and type systems (29 papers) and Software Testing and Debugging Techniques (12 papers). P. Madhusudan is often cited by papers focused on Formal Methods in Verification (36 papers), Logic, programming, and type systems (29 papers) and Software Testing and Debugging Techniques (12 papers) and collaborates with scholars based in United States, Germany and Italy. P. Madhusudan's co-authors include Gennaro Parlato, Rajeev Alur, Salvatore La Torre, Wonhong Nam and Xiaokang Qiu and has published in prestigious journals such as Communications of the ACM, Journal of the ACM and Theoretical Computer Science