Kalyan Muthukumar
About
Kalyan Muthukumar has authored 7 papers that have received a total of 212 indexed citations.
This includes 5 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (5 papers), Formal Methods in Verification (4 papers) and Software Testing and Debugging Techniques (3 papers). Kalyan Muthukumar is often cited by papers focused on Logic, programming, and type systems (5 papers), Formal Methods in Verification (4 papers) and Software Testing and Debugging Techniques (3 papers) and collaborates with scholars based in United States, Spain and Australia. Kalyan Muthukumar's co-authors include Manuel V. Hermenegildo, Rakesh Krishnaiyer, Francisco Bueno, María García de la Banda and Kishore N. Menezes and has published in prestigious journals such as IEEE Micro and The Journal of Logic Programming.
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Ashwin Rastogi are co-authored with Top fields papers by Daniel W. Skupski are about Top authors papers by Jon P. Krohn are co-authored with Top countries impacted by papers by Sarah L. Close Top fields papers by Anne Edland are about Top fields papers by Tiina Freimann are about Top fields papers by Kiara Freitag are about Top journals papers by Miriam J. Abelson are published in