Miguel Gómez‐Zamalloa

18 papers and 115 indexed citations i.

Miguel Gómez‐Zamalloa has authored 18 papers that have received a total of 115 indexed citations. This includes 11 papers in Software, 9 papers in Hardware and Architecture and 8 papers in Artificial Intelligence. The topics of these papers are Software Testing and Debugging Techniques (10 papers), Formal Methods in Verification (8 papers) and Logic, programming, and type systems (8 papers). Miguel Gómez‐Zamalloa is often cited by papers focused on Software Testing and Debugging Techniques (10 papers), Formal Methods in Verification (8 papers) and Logic, programming, and type systems (8 papers) and collaborates with scholars based in Spain, Germany and United Kingdom. Miguel Gómez‐Zamalloa's co-authors include Elvira Albert, Germán Puebla, Samir Genaim, Puri Arenas and Damiano Zanardini and has published in prestigious journals such as IEEE Access, Information and Software Technology and ACM SIGPLAN Notices