|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa |
|
Doctorando |
Rafael del Vado Vírseda |
|
Director(es) |
Mario Rodríguez Artalejo |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2009 |
|
Doctorado europeo (si/no) |
no |
|
|
|
|
Publicaciones de la tesis |
|
|
|
|
|
a) Revistas |
|
|
|
|
|
AUTORES |
Antonio José Fernández Leiva, Maria Teresa Hortalá González, Fernando Sáenz Pérez, Rafael del Vado Vírseda |
|
Nº DE AUTORES |
4 |
|
TÍTULO |
Constraint Functional Logic Programming over Finite Domains |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Theory and Practice of Logic Programming |
|
VOLUMEN |
7(5) |
|
PÁGINAS |
DESDE: 537 |
|
HASTA: 582 |
|
EDITORIAL |
Cambridge University Press |
|
PAÍS DE PUBLICACIÓN |
Reino Unido |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISSN |
1471-0684 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Programming Languages and Software Engineering |
|
ÍNDICE DE IMPACTO: 0,778 |
|
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 |
Francisco Javier López Fraguas, Mario Rodríguez Artalejo, Rafael del Vado Vírseda |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
A New Generic Scheme for Functional Logic Programming with Constraints |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Higher-Order and Symbolic Computation / Lisp and Symbolic Computation |
|
VOLUMEN |
20(1-2) |
|
PÁGINAS |
DESDE: 73 |
|
HASTA: 122 |
|
EDITORIAL |
Springer Netherlands - Kluwer Academic Publishers |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISSN |
1388-3690 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Programming Languages and Software Engineering |
|
ÍNDICE DE IMPACTO: 0,658 |
|
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): |
|
|
|
|
b) Libros |
|
|
|
|
|
AUTORES |
Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Artículo |
|
VOLUMEN |
4989 |
|
COLECCIÓN |
Proceedings of the Ninth International Symposium on Functional and Logic Programming (FLOPS'08) |
|
PÁGINAS |
DESDE 305 |
|
HASTA 321 |
|
EDITORIAL |
Springer - Lecture Notes in Computer Science |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISBN |
978-3-540-78968-0 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): Ranking Conferences CORE: A, CiteSeer: 0.69 (Top 38.32%) |
|
|
|
|
|
|
|
AUTORES |
Rafael del Vado Vírseda |
|
Nº DE AUTORES |
1 |
|
TÍTULO |
A Higher-Order Demand-driven Narrowing Calculus with Definitional Trees |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Artículo |
|
VOLUMEN |
4711 |
|
COLECCIÓN |
Proceedings of the 4th International Conference on Theoretical Aspects of Computing (ICTAC'07) |
|
PÁGINAS |
DESDE 169 |
|
HASTA 184 |
|
EDITORIAL |
Springer - Lecture Notes in Computer Science |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISBN |
978-3-540-75290-5 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): Ranking Conferences CORE: B, CiteSeerX: 0.05 |
|
|
|
|
|
|
|
AUTORES |
Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Poster |
|
VOLUMEN |
4079 |
|
COLECCIÓN |
Proceedings of the 22nd International Conference on Logic Programming (ICLP'06) |
|
PÁGINAS |
DESDE 421 |
|
HASTA 422 |
|
EDITORIAL |
Springer - Lecture Notes in Computer Science |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISBN |
3-540-36635-0 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): Ranking Conferences CORE: A, CiteSeerX: 0.09 |
|
|
|
|
|
|
|
AUTORES |
Rafael del Vado Vírseda |
|
Nº DE AUTORES |
1 |
|
TÍTULO |
Declarative Constraint Programming with Definitional Trees |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Artículo |
|
VOLUMEN |
3717 |
|
COLECCIÓN |
Proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS'05) |
|
PÁGINAS |
DESDE 184 |
|
HASTA 199 |
|
EDITORIAL |
Springer - Lecture Notes in Computer Science |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2005 |
|
ISBN |
3-540-29051-6 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): CiteSeer: 0.24 (Top 70.02%) |
|
|
|
|
|
|
|
AUTORES |
Francisco Javier López Fraguas, Mario Rodríguez Artalejo, Rafael del Vado Vírseda |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
A Lazy Narrowing Calculus for Declarative Constraint Programming |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Artículo |
|
VOLUMEN |
|
|
COLECCIÓN |
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'04) |
|
PÁGINAS |
DESDE 43 |
|
HASTA 54 |
|
EDITORIAL |
ACM PRESS |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos de América |
|
AÑO DE PUBLICACIÓN |
2004 |
|
ISBN |
1-58113-819-9 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): Ranking Conferences CORE: B, CiteSeerX: 0.31 |
|
|
|
|
|
|
|
AUTORES |
Rafael del Vado Vírseda |
|
Nº DE AUTORES |
1 |
|
TÍTULO |
A Demand-driven Narrowing Calculus with Overlapping Definitional Trees |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Artículo |
|
VOLUMEN |
|
|
COLECCIÓN |
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'03) |
|
PÁGINAS |
DESDE 253 |
|
HASTA 263 |
|
EDITORIAL |
ACM PRESS |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos de América |
|
AÑO DE PUBLICACIÓN |
2003 |
|
ISBN |
1-58113-705-2 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): Ranking Conferences CORE: B, CiteSeerX: 0.11 |
|
|
|
|
c) Ponencias |
|
|
|
|
|
AUTORES |
Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda |
|
TÍTULO |
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming |
|
ENTIDAD ORGANIZADORA |
Japan Society for Software Science and Technology, Asian Association for Foundation of Software |
|
CONGRESO: |
9th International Symposium on Functional and Logic Programming (FLOPS'08) |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
978-3-540-78968-0 |
|
VOLUMEN |
4989 |
|
PÁGINAS |
DESDE 305 |
|
HASTA 321 |
|
LUGAR DE CELEBRACIÓN |
Ise, Japón |
|
FECHA DE CELEBRACIÓN |
4/16/2008 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE |
|
Categoría del congreso (si existe; p.ej. A, 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): CiteSeer: 0.69 (Top 38.32%) |
|
|
|
|
|
|
|
AUTORES |
Rafael del Vado Vírseda |
|
TÍTULO |
A Higher-Order Demand-driven Narrowing Calculus with Definitional Trees |
|
ENTIDAD ORGANIZADORA |
United Nations University, International Institute for Software Technology, Formal Methods Europe |
|
CONGRESO: |
4th International Colloquium on Theoretical Aspects of Computing (ICTAC'07) |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
978-3-540-75290 |
|
VOLUMEN |
4711 |
|
PÁGINAS |
DESDE 169 |
|
HASTA 184 |
|
LUGAR DE CELEBRACIÓN |
Macao, China |
|
FECHA DE CELEBRACIÓN |
9/27/2007 |
|
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): CiteSeerX: 0.05 |
|
|
|
|
|
|
|
AUTORES |
Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda |
|
TÍTULO |
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming |
|
ENTIDAD ORGANIZADORA |
ACM, IBM, Intelligent Information Systems Institute, Institute for Pure & Applied Mathematics |
|
CONGRESO: |
22nd International Conference on Logic Programming (ICLP'06) |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Poster |
|
ISSN/ISBN |
3-540-36635-0 |
|
VOLUMEN |
4079 |
|
PÁGINAS |
DESDE 421 |
|
HASTA 422 |
|
LUGAR DE CELEBRACIÓN |
Seattle, Washington (U.S.A.) |
|
FECHA DE CELEBRACIÓN |
8/20/2006 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE |
|
Categoría del congreso (si existe; p.ej. A, 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): CiteSeerX: 0.09 |
|
|
|
|
|
|
|
AUTORES |
Rafael del Vado Vírseda |
|
TÍTULO |
Declarative Constraint Programming with Definitional Trees |
|
ENTIDAD ORGANIZADORA |
Vienna University of Technology, The Kurt Gödel Society, EATCS |
|
CONGRESO: |
5th International Workshop on Frontiers of Combining Systems (FroCoS'05) |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
3-540-29051-6 |
|
VOLUMEN |
3717 |
|
PÁGINAS |
DESDE 184 |
|
HASTA 199 |
|
LUGAR DE CELEBRACIÓN |
Viena, Austria |
|
FECHA DE CELEBRACIÓN |
9/20/2005 |
|
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): CiteSeer: 0.24 (Top 70.02%) |
|
|
|
|
|
|
|
AUTORES |
Francisco Javier López Fraguas, Mario Rodríguez Artalejo, Rafael del Vado Vírseda |
|
TÍTULO |
A Lazy Narrowing Calculus for Declarative Constraint Programming |
|
ENTIDAD ORGANIZADORA |
ACM SIGPLAN |
|
CONGRESO: |
6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'04) |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
1-58113-819-9 |
|
VOLUMEN |
|
|
PÁGINAS |
DESDE 43 |
|
HASTA 54 |
|
LUGAR DE CELEBRACIÓN |
Verona, Italia |
|
FECHA DE CELEBRACIÓN |
8/24/2004 |
|
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): CiteSeerX: 0.31 |
|
|
|
|
|
|
|
AUTORES |
Rafael del Vado Vírseda |
|
TÍTULO |
A Demand-driven Narrowing Calculus with Overlapping Definitional Trees |
|
ENTIDAD ORGANIZADORA |
ACM SIGPLAN |
|
CONGRESO: |
5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'03) |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
1-58113-705-2 |
|
VOLUMEN |
|
|
PÁGINAS |
DESDE 213 |
|
HASTA 227 |
|
LUGAR DE CELEBRACIÓN |
Uppsala, Suecia |
|
FECHA DE CELEBRACIÓN |
8/29/2003 |
|
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): CiteSeerX: 0.11 |
