Datos de la tesis doctoral

Facultad de Informática

Volver atrás







DATOS DE LA TESIS






Titulo Transformación y Análisis de Código de Bytes Orientado a Objetos





Doctorando Miguel Gómez-Zamalloa Gil





Director(es) Elvira Albert Albiol





Universidad Universidad Complutense de Madrid





Año de lectura 2009





Doctorado europeo (si/no) Sí





























Publicaciones de la tesis














a) Revistas














AUTORES E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla





Nº DE AUTORES 4





TÍTULO Type-based Homeomorphic Embedding for Online Termination





CLAVE (Artículo, Artículo de revisión, editor) Artículo





NOMBRE DE LA REVISTA Information Processing Letters





VOLUMEN 109





PÁGINAS 879-886





EDITORIAL Elsevier





AÑO DE PUBLICACIÓN 2009





ISSN 0020-0190





INDICIOS DE CALIDAD AREA de JCR: COMP. SCI. INFORMATION SYSTEMS





ÍNDICE DE IMPACTO: 0.72





POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 74





Nº DE REVISTAS EN EL ÁREA: 99





Nº DE CITAS (si se sabe, excl. autocitas): 2





OTROS INDICIOS (si se sabe):













Nº DE AUTORES M. Gómez-Zamalloa, E. Albert, G. Puebla





TÍTULO 3





CLAVE (Artículo, Artículo de revisión, editor) Decompilation of Java Bytecode to Prolog by Partial Evaluation





NOMBRE DE LA REVISTA Artículo





VOLUMEN Information and Software Technology





PÁGINAS 51





EDITORIAL 1409-1427





AÑO DE PUBLICACIÓN Elsevier





ISSN 2009





INDICIOS DE CALIDAD 0950-5849






AREA de JCR: COMP. SCI. SOFTWARE ENGINEERING





ÍNDICE DE IMPACTO: 1,2





POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 37





Nº DE REVISTAS EN EL ÁREA: 86





Nº DE CITAS (si se sabe, excl. autocitas):





OTROS INDICIOS (si se sabe):













AUTORES E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla





Nº DE AUTORES 4





TÍTULO Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation





CLAVE (Artículo, Artículo de revisión, editor) Artículo





NOMBRE DE LA REVISTA LNCS - 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07)





VOLUMEN 4915





PÁGINAS 23-42





EDITORIAL Springer





AÑO DE PUBLICACIÓN 2008





ISSN 0302-9743





INDICIOS DE CALIDAD AREA de JCR:





ÍNDICE DE IMPACTO:





POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA:





Nº DE REVISTAS EN EL ÁREA:





Nº DE CITAS (si se sabe, excl. autocitas): 5





OTROS INDICIOS (si se sabe): CITESEER: F. DE IMPACTO 0.85, POSICION 363/1221 (TOP 29.72%). CORE B













AUTORES M. Gómez-Zamalloa, E. Albert, G. Puebla





Nº DE AUTORES 3





TÍTULO Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation





CLAVE (Artículo, Artículo de revisión, editor) Artículo





NOMBRE DE LA REVISTA ENTCS - ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07)





VOLUMEN 190-1





PÁGINAS 85-101





EDITORIAL Elsevier





AÑO DE PUBLICACIÓN 2007





ISSN 1571-0661





INDICIOS DE CALIDAD AREA de JCR:





ÍNDICE DE IMPACTO:





POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA:





Nº DE REVISTAS EN EL ÁREA:





Nº DE CITAS (si se sabe, excl. autocitas):





OTROS INDICIOS (si se sabe):













AUTORES E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla





Nº DE AUTORES 4





TÍTULO Verification of Java Bytecode using Analysis and Transformation of Logic Programs





CLAVE (Artículo, Artículo de revisión, editor) Artículo





NOMBRE DE LA REVISTA LNCS - Ninth International Symposium on Practical Aspects of Declarative Languages (PADL 2007)





VOLUMEN 4354





PÁGINAS 124-139





EDITORIAL Springer





AÑO DE PUBLICACIÓN 2007





ISSN 0302-9743





INDICIOS DE CALIDAD AREA de JCR:





ÍNDICE DE IMPACTO:





POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA:





Nº DE REVISTAS EN EL ÁREA:





Nº DE CITAS (si se sabe, excl. autocitas): 21





OTROS INDICIOS (si se sabe): CITESEER: F. DE IMPACTO 0.87, POS. 351/1221 (TOP 28.74%). CORE B.













AUTORES E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla, D. Ramirez, G. Román, D. Zanardini





Nº DE AUTORES 8





TÍTULO Termination and Cost Analysis with COSTA and its User Interfaces





CLAVE (Artículo, Artículo de revisión, editor) Artículo





NOMBRE DE LA REVISTA ENTCS - Spanish Conference on Programming and Computer Languages (PROLE'09)





VOLUMEN 258





PÁGINAS 109-121





EDITORIAL Elsevier





AÑO DE PUBLICACIÓN 2009





ISSN 1571-0661





INDICIOS DE CALIDAD AREA de JCR:





ÍNDICE DE IMPACTO:





POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA:





Nº DE REVISTAS EN EL ÁREA:





Nº DE CITAS (si se sabe, excl. autocitas):





OTROS INDICIOS (si se sabe):













AUTORES E. Albert, M. Gómez-Zamalloa, G. Puebla





Nº DE AUTORES 3





TÍTULO Test Data Generation of Bytecode by CLP Partial Evaluation





CLAVE (Artículo, Artículo de revisión, editor) Artículo





NOMBRE DE LA REVISTA LNCS - 18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08)





VOLUMEN 5438





PÁGINAS 04/23/10





EDITORIAL Springer





AÑO DE PUBLICACIÓN 2009





ISSN 0302-9743





INDICIOS DE CALIDAD AREA de JCR:





ÍNDICE DE IMPACTO:





POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA:





Nº DE REVISTAS EN EL ÁREA:





Nº DE CITAS (si se sabe, excl. autocitas):





OTROS INDICIOS (si se sabe): CITESEER: FACTOR DE IMPACTO 0.85, POSICION 363/1221 (TOP 29.72%). CORE B.





























b) Libros














AUTORES M. Gómez-Zamalloa, E. Albert, G. Puebla





Nº DE AUTORES 3





TÍTULO Modular Decompilation of Low-Level Code by Partial Evaluation





CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro





VOLUMEN -





COLECCIÓN 8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'08)





PÁGINAS 239-248





EDITORIAL IEEE





AÑO DE PUBLICACIÓN 2008





ISBN 978-0-7695-3353-7



o

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas): 3





RESEÑAS EN REVISTAS CIENTÍFICAS:





TRADUCCIONES A OTRAS LENGUAS:





OTROS INDICIOS (si se sabe): CITESEERX: FACTOR 0.02 Y POSICION 328/581 EN 2007, FACTOR 0.13 Y POS. 192/932 EN 2005.













AUTORES E. Albert, S. Genaim, M. Gómez-Zamalloa





Nº DE AUTORES 3





TÍTULO Heap Space Analysis for Java Bytecode





CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro





VOLUMEN -





COLECCIÓN Proceedings of the 6th International Symposium on Memory Management (ISMM'07)





PÁGINAS 105-116





EDITORIAL ACM Press





AÑO DE PUBLICACIÓN 2007





ISBN 978-1-59593-893-0



o

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas): 30





RESEÑAS EN REVISTAS CIENTÍFICAS:





TRADUCCIONES A OTRAS LENGUAS:





OTROS INDICIOS (si se sabe): CITESEER: FACTOR DE IMPACTO 1.47, POSICION 117/1221 (TOP 9.58%). CORE A













AUTORES E. Albert, S. Genaim, M. Gómez-Zamalloa





Nº DE AUTORES 3





TÍTULO Live Heap Space Analysis for Languages with Garbage Collection





CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro





VOLUMEN -





COLECCIÓN 8th international symposium on Memory management





PÁGINAS 129-138





EDITORIAL ACM Press





AÑO DE PUBLICACIÓN 2009





ISBN 978-1-60558-347-1



o

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas): 12





RESEÑAS EN REVISTAS CIENTÍFICAS:





TRADUCCIONES A OTRAS LENGUAS:





OTROS INDICIOS (si se sabe): CITESEER: FACTOR DE IMPACTO 1.47, POSICION 117/1221 (TOP 9.58%). CORE A





























c) Ponencias














AUTORES M. Gómez-Zamalloa, E. Albert, G. Puebla





TÍTULO On the Generation of Test Data for Prolog by Partial Evaluation





CONGRESO: Workshop on Logic-based methods in Programming Environments (WLPE'08)





TIPO DE PARTICIPACIÓN (Ponencia, ponencia invitada, poster, otro) Ponencia











ISSN/ISBN -





PÁGINAS 26-43





LUGAR DE CELEBRACIÓN Udine, Italia





FECHA DE CELEBRACIÓN 12/12/08





INDICIOS DE CALIDAD Nombre del ranking donde se incluye el congreso:





Categoría del congreso (si existe; p.ej. A, A+):





Posición del congreso en el ranking (si existe):





Nº de congresos en el ranking (si existe):





Nº DE CITAS (si se sabe, excl. autocitas):





OTROS INDICIOS (si se sabe):













AUTORES E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla





TÍTULO Towards Verification of Java Bytecode using Tools for Logic Programming





CONGRESO: International Workshop on Software Verification and Validation (SVV 2006)





TIPO DE PARTICIPACIÓN (Ponencia, ponencia invitada, poster, otro) Ponencia











ISSN/ISBN -





PÁGINAS 43-60





LUGAR DE CELEBRACIÓN Seattle, EEUU





FECHA DE CELEBRACIÓN 21-08-2006





INDICIOS DE CALIDAD Nombre del ranking donde se incluye el congreso:





Categoría del congreso (si existe; p.ej. A, A+):





Posición del congreso en el ranking (si existe):





Nº de congresos en el ranking (si existe):





Nº DE CITAS (si se sabe, excl. autocitas):





OTROS INDICIOS (si se sabe):













AUTORES M. Gómez-Zamalloa, E. Albert, G. Puebla





TÍTULO Towards Modular Interpretive Decompilation of Low-Level Code to Prolog





CONGRESO: 8th Spanish Conference on Programming and Computer Languages (PROLE'08)





TIPO DE PARTICIPACIÓN (Ponencia, ponencia invitada, poster, otro) Ponencia











ISSN/ISBN 978-84-612-5819-2





PÁGINAS 163-173





LUGAR DE CELEBRACIÓN Gijón, España





FECHA DE CELEBRACIÓN 10/10/08





INDICIOS DE CALIDAD Nombre del ranking donde se incluye el congreso:





Categoría del congreso (si existe; p.ej. A, A+):





Posición del congreso en el ranking (si existe):





Nº de congresos en el ranking (si existe):





Nº DE CITAS (si se sabe, excl. autocitas):





OTROS INDICIOS (si se sabe):













AUTORES E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla





TÍTULO Typed-based Homeomorphic Embedding for Online Termination





CONGRESO: 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07)





TIPO DE PARTICIPACIÓN (Ponencia, ponencia invitada, poster, otro) Ponencia











ISSN/ISBN -





PÁGINAS 27-37





LUGAR DE CELEBRACIÓN Lyngby, Dinamarca





FECHA DE CELEBRACIÓN 23-08-2007





INDICIOS DE CALIDAD Nombre del ranking donde se incluye el congreso:





Categoría del congreso (si existe; p.ej. A, A+):





Posición del congreso en el ranking (si existe):





Nº de congresos en el ranking (si existe):





Nº DE CITAS (si se sabe, excl. autocitas):





OTROS INDICIOS (si se sabe):





















d) Patentes