|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Formalizando el proceso de depuración en programación funcional paralela y perezosa |
|
Doctorando |
Alberto de la Encina Vara |
|
Director(es) |
Luis Fernando Llana Díaz, Fernando Rubio Diez |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2008 |
|
Doctorado europeo (si/no) |
no |
|
|
|
|
Publicaciones de la tesis |
|
|
|
|
|
a) Revistas |
|
|
|
|
|
AUTORES |
Alberto de la Encina, Ricardo Peña |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
From natural semantics to C: A formal derivation of two STG machines |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Journal of Functional Programming |
|
VOLUMEN |
19 (1) |
|
PÁGINAS |
DESDE: 47 |
|
HASTA: 94 |
|
EDITORIAL |
Cambridge University Press |
|
PAÍS DE PUBLICACIÓN |
England |
|
AÑO DE PUBLICACIÓN |
2009 |
|
ISSN |
0956-7968 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Software Eng. |
|
ÍNDICE DE IMPACTO: 1,151 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 33 |
|
Nº DE REVISTAS EN EL ÁREA: 84 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
|
|
|
c) Ponencias |
|
|
|
|
|
AUTORES |
Alberto de la Encina, Ricardo Peña |
|
TÍTULO |
Proving the Correctness of the STG Machine |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
Implementation of Functional Languages, IFL 2001 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
3-540-43537-9 / 0302-9743 |
|
VOLUMEN |
Lecture Notes in Computer Science vol. 2312 |
|
PÁGINAS |
DESDE 88 |
|
|
HASTA 104 |
|
LUGAR DE CELEBRACIÓN |
Stockolm, Sweden |
|
FECHA DE CELEBRACIÓN |
16-18 de Septiembre |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CiteSEER |
|
|
Categoría del congreso (si existe; p.ej. A, A+): |
|
|
Posición del congreso en el ranking (si existe): 0.89 (top 28.33%) |
|
|
Nº de congresos en el ranking (si existe): 1221 |
|
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
|
OTROS INDICIOS (si se sabe): revisión externa por pares |
|
|
|
|
AUTORES |
Alberto de la Encina, Ricardo Peña |
|
TÍTULO |
Formally Deriving an STG Machine |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
Principles and Practice of Declarative Programming, PPDP 2003 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
ISBN 1-58113-705-2 |
|
VOLUMEN |
|
|
PÁGINAS |
DESDE 102 |
|
|
HASTA 112 |
|
LUGAR DE CELEBRACIÓN |
Uppsala, Sweden |
|
FECHA DE CELEBRACIÓN |
27-29 de Agosto |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CiteSEER |
|
|
Categoría del congreso (si existe; p.ej. A, A+): |
|
|
Posición del congreso en el ranking (si existe): 0.75 (top 34.47%) |
|
|
Nº de congresos en el ranking (si existe): 1221 |
|
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
|
OTROS INDICIOS (si se sabe): revisión externa por pares |
|
|
|
|
AUTORES |
Alberto de la Encina, Luis Llana, Fernando Rubio |
|
TÍTULO |
Formalizing the Debugging Process in Haskell |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
Theoretical Aspects of Computing, ICTAC 2005 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
3-540-43537-9 / 0302-9743 |
|
VOLUMEN |
Lecture Notes in Computer Science vol. 3722 |
|
PÁGINAS |
DESDE: 211 |
|
|
HASTA: 226 |
|
LUGAR DE CELEBRACIÓN |
Hanoi, Vietnam |
|
FECHA DE CELEBRACIÓN |
17-21 de octrubre |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE |
|
|
Categoría del congreso (si existe; p.ej. A, A+): B |
|
|
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): revisión externa por pares |
|
|
|
|
AUTORES |
Alberto de la Encina, Ismael Rodríguez, Fernando Rubio |
|
TÍTULO |
Testing Speculative Work in a Lazy/Eager Parallel Functional Language |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
Languages and Compilers for Parallel Computing, LCPC 2005 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
3-540-43537-9 / 0302-9743 |
|
VOLUMEN |
Lecture Notes in Computer Science vol. 4339 |
|
PÁGINAS |
DESDE: 274 |
|
|
HASTA: 288 |
|
LUGAR DE CELEBRACIÓN |
New York, USA |
|
FECHA DE CELEBRACIÓN |
20-22 de octrubre |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CiteSEER |
|
|
Categoría del congreso (si existe; p.ej. A, A+): |
|
|
Posición del congreso en el ranking (si existe): 1.22 (top 15.23%) |
|
|
Nº de congresos en el ranking (si existe): 1221 |
|
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
|
OTROS INDICIOS (si se sabe): revisión externa por pares |
|
|
|
|
AUTORES |
Alberto de la Encina, Luis Llana, Fernando Rubio |
|
TÍTULO |
Introducing Debugging Capabilities to Natural Semantic |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
Perspectives of Systens Informatics, PSI 2006 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
3-540-43537-9 / 0302-9743 |
|
VOLUMEN |
Lecture Notes in Computer Science vol. 4378 |
|
PÁGINAS |
DESDE: 191 |
|
|
HASTA: 208 |
|
LUGAR DE CELEBRACIÓN |
Novosibirsk, Russia |
|
FECHA DE CELEBRACIÓN |
27-30 de junio |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE |
|
|
Categoría del congreso (si existe; p.ej. A, A+): B |
|
|
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): revisión externa por pares |
|
|
|
|
AUTORES |
Alberto de la Encina, Luis Llana, Fernando Rubio y Mercedes Hidalgo-Herrero |
|
TÍTULO |
Observing intermediate data structures in a parallel lazy functional languaje |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
Principles and Practice of Declarative Programming, PPDP 2007 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
ISBN 1-58113-705-2 |
|
VOLUMEN |
|
|
PÁGINAS |
DESDE: 109 |
|
|
HASTA: 120 |
|
LUGAR DE CELEBRACIÓN |
Wroclaw, Poland |
|
FECHA DE CELEBRACIÓN |
14-46 de julio |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CiteSEER |
|
|
Categoría del congreso (si existe; p.ej. A, A+): |
|
|
Posición del congreso en el ranking (si existe): 0.75 (top 34.47%) |
|
|
Nº de congresos en el ranking (si existe): 1221 |
|
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
|
OTROS INDICIOS (si se sabe): revisión externa por pares |
|
|
|
|
AUTORES |
Alberto de la Encina, Ismael Rodríguez y Fernando Rubio |
|
TÍTULO |
A Debugger for Parallel Haskell Dialects |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
Algorithms and Architectures for Prallel Processing, ICA3PP 2008 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
3-540-43537-9 / 0302-9743 |
|
VOLUMEN |
Lecture Notes in Computer Science vol. 5022 |
|
PÁGINAS |
DESDE: 282 |
|
|
HASTA: 293 |
|
LUGAR DE CELEBRACIÓN |
Cyprus |
|
FECHA DE CELEBRACIÓN |
9-11 de junio |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: Computer Science Conference Ranking |
|
|
Categoría del congreso (si existe; p.ej. A, A+): |
|
|
Posición del congreso en el ranking (si existe): 0.85 (23,39%) |
|
|
Nº de congresos en el ranking (si existe): 421 |
|
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
|
OTROS INDICIOS (si se sabe): revisión externa por pares |
