Manuel V. Hermenegildo
About
Manuel V. Hermenegildo has authored 110 papers that have received a total of 1.2k indexed citations.
This includes 87 papers in Artificial Intelligence, 56 papers in Computational Theory and Mathematics and 34 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (77 papers), Formal Methods in Verification (54 papers) and Parallel Computing and Optimization Techniques (33 papers). Manuel V. Hermenegildo is often cited by papers focused on Logic, programming, and type systems (77 papers), Formal Methods in Verification (54 papers) and Parallel Computing and Optimization Techniques (33 papers) and collaborates with scholars based in Spain, United States and Australia. Manuel V. Hermenegildo's co-authors include María García de la Banda, Francisco Bueno, Germán Puebla, Manuel Carro and José F. Morales and has published in prestigious journals such as ACM Computing Surveys, Future Generation Computer Systems and Theoretical Computer Science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Taku Suzuki Breakdown of academic impact, for papers by T. Mart Breakdown of academic impact, for papers by A. V. Tsvyashchenko Breakdown of academic impact, for papers by Vikesh Agrawal Breakdown of academic impact, for papers by Matthew T. Keough Breakdown of academic impact, for papers by Fulvio Corno Breakdown of academic impact, for papers by E. Grabbe Breakdown of academic impact, for papers by Hongwei Zhang