Kalyan Muthukumar

7 papers and 212 indexed citations i.

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, Kishore N. Menezes, Francisco Bueno and María García de la Banda and has published in prestigious journals such as IEEE Micro and The Journal of Logic Programming.