 |
Datos de la tesis doctoralFacultad de Informática |
 |
|
Datos de la tesis doctoralFacultad de Informática |
|
| DATOS DE LA TESIS | ||
| Titulo | From Abstract Programs to Precise Asymptotic Closed-Form Bounds. | |
| Doctorando | Diego Esteban Alonso Blas | |
| Director(es) | Puri Arenas, Samir Genaim | |
| Universidad | Universidad Complutense de Madrid | |
| Año de lectura | 2014 | |
| Doctorado europeo (si/no) | Sí | |
| Publicaciones de la tesis | ||
| a) Revistas | ||
| AUTORES | Diego Esteban Alonso Blas, Puri Arenas, Samir Genaim | |
| Nº DE AUTORES | 3 | |
| TÍTULO | Handling Non-linear Operations in the Value Analysis of COSTA | |
| CLAVE (Artículo, Artículo de revisión, editor) | Artículo | |
| NOMBRE DE LA REVISTA | Electronics Notes in Theoretical Computer Science | |
| VOLUMEN | 279(1) | |
| PÁGINAS | DESDE 3 | |
| HASTA 17 | ||
| EDITORIAL | Elsevier | |
| PAÍS DE PUBLICACIÓN | Holanda | |
| AÑO DE PUBLICACIÓN | 2011 | |
| 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): 2 (google scholar) | ||
| OTROS INDICIOS (si se sabe): | ||
| b) Libros | ||
| AUTORES | Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim | |
| Nº DE AUTORES | 3 | |
| TÍTULO | Precise Cost Analysis via Local Reasoning | |
| CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) | Capítulo de libro | |
| VOLUMEN | Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013 |
|
| COLECCIÓN | Lecture Notes in Computer Science | |
| PÁGINAS | DESDE 319 | |
| HASTA 333 | ||
| EDITORIAL | Springer | |
| PAÍS DE PUBLICACIÓN | Alemania | |
| AÑO DE PUBLICACIÓN | 2013 | |
| ISBN | 978-3-319-02443-1 | |
| INDICIOS DE CALIDAD | Nº DE CITAS (si se sabe, excl. autocitas): 2 | |
| RESEÑAS EN REVISTAS CIENTÍFICAS: | ||
| TRADUCCIONES A OTRAS LENGUAS: | ||
| OTROS INDICIOS (si se sabe): | ||
| AUTORES | Diego Esteban Alonso-Blas, Samir Genaim | |
| Nº DE AUTORES | 2 | |
| TÍTULO | On the Limits of the Classical Approach to Cost Analysis | |
| CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) | Capítulo de Libro | |
| VOLUMEN | Static Analysis - 19th International Symposium, SAS 2012 | |
| COLECCIÓN | Lecture Notes in Computer Science | |
| PÁGINAS | DESDE 405 | |
| HASTA 421 | ||
| EDITORIAL | Springer | |
| PAÍS DE PUBLICACIÓN | Alemania | |
| AÑO DE PUBLICACIÓN | 2012 | |
| ISBN | 978-3-642-33124-4 | |
| INDICIOS DE CALIDAD | Nº DE CITAS (si se sabe, excl. autocitas): 9 | |
| RESEÑAS EN REVISTAS CIENTÍFICAS: | ||
| TRADUCCIONES A OTRAS LENGUAS: | ||
| OTROS INDICIOS (si se sabe): | ||
| AUTORES | Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla |
|
| Nº DE AUTORES | 6 | |
| TÍTULO | Asymptotic Resource Usage Bounds. | |
| CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) | Capítulo de Libro | |
| VOLUMEN | Programming Languages and Systems, 7th Asian Symposium, APLAS 2009 | |
| COLECCIÓN | Lecture Notes in Computer Science | |
| PÁGINAS | DESDE 294 | |
| HASTA 310 | ||
| EDITORIAL | Springer | |
| PAÍS DE PUBLICACIÓN | Holanda | |
| AÑO DE PUBLICACIÓN | 2009 | |
| ISBN | 978-3-642-10671-2 | |
| INDICIOS DE CALIDAD | Nº DE CITAS (si se sabe, excl. autocitas): 2 | |
| RESEÑAS EN REVISTAS CIENTÍFICAS: | ||
| TRADUCCIONES A OTRAS LENGUAS: | ||
| OTROS INDICIOS (si se sabe): |