Miguel Gómez‐Zamalloa

Author

Also Known As

Gomez-Zamalloa, Miguel, Gómez-Zamalloa, Miguel, M. Gómez-Zamalloa, MIGUEL GÓMEZ-ZAMALLOA, Miguel Gomez-Zamalloa, Miguel Gómez-Zamalloa, Miguel Gómez-Zamalloa Gil, Miguel Gómez‐Zamalloa

Publications

777

Citations

H-Index

Concepts

All Affiliations

Universidad Complutense de Madrid Universidad Politécnica de Madrid

About

Miguel Gómez‐Zamalloa is an author at Universidad Complutense de Madrid specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	15	411
2	Computer Engineering	12	12	357
3	Computer Science	12	15	411
4	Language Studies	2	2	57
5	Business	1	1	31

Miguel Gómez‐Zamalloa

Publications

411

Citations

H-Index

Page 1

	Year	Citations
Heap space analysis for java bytecode Elvira Albert, Samir Genaim, Miguel Gómez‐Zamalloa EngineeringCompiler TechnologyComputer ArchitectureSoftware EngineeringHeap Space	2007	50
Live heap space analysis for languages with garbage collection Elvira Albert, Samir Genaim, Miguel Gómez‐Zamalloa EngineeringCompiler TechnologyComputer ArchitectureSoftware EngineeringMemory Model (Programming)	2009	47
Parametric inference of memory requirements for garbage collected languages Elvira Albert, Samir Genaim, Miguel Gómez‐Zamalloa Software MaintenanceEngineeringSoftware EngineeringComputational ComplexityObjects Lifetimes	2010	45
Test case generation for object-oriented imperative languages in CLP Miguel Gómez‐Zamalloa, Elvira Albert, Germán Puebla Theory and Practice of Logic Programming Object-oriented Imperative LanguagesEngineeringTest Data GenerationSoftware EngineeringImperative Language	2010	34
Decompilation of Java bytecode to Prolog by partial evaluation Miguel Gómez‐Zamalloa, Elvira Albert, Germán Puebla Information and Software Technology EngineeringProgram AnalysisAutomated ReasoningJava BytecodeFormal Methods	2009	32
Termination and Cost Analysis with COSTA and its User Interfaces Elvira Albert, Puri Arenas, Samir Genaim, Electronic Notes in Theoretical Computer Science Software MaintenanceEngineeringSoftware EngineeringCost ModelSoftware Analysis	2009	31
Object‐sensitive cost analysis for concurrent objects Elvira Albert, Puri Arenas, Jesús Correas, Software Testing Verification and Reliability EngineeringSoftware SystemsSoftware EngineeringConcurrent SystemSoftware Analysis	2015	29
COSTABS Elvira Albert, Puri Arenas, Samir Genaim, EngineeringSoftware EngineeringConcurrent SystemSoftware AnalysisFormal Verification	2012	26
PET Elvira Albert, Miguel Gómez‐Zamalloa, Germán Puebla EngineeringVerificationTest Data GenerationClp ProgramSoftware Engineering	2010	25
jPET: An Automatic Test-Case Generator for Java Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Software MaintenanceEngineeringJpet BuildsTest Data GenerationSoftware Engineering	2011	22

Page 1