|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales |
|
Doctorando |
Rafael Caballero Roldán |
|
Director(es) |
Mario Rodríguez Artalejo |
|
Universidad |
Complutense de Madrid |
|
Año de lectura |
2004 |
|
Doctorado europeo (si/no) |
no |
|
|
|
|
Publicaciones de la tesis |
|
|
a) Revistas |
|
|
AUTORES |
Rafael Caballero, Francisco J. López-Fraguas, Mario Rodríguez-Artalejo |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Theoretical Foundations for the declarative debugging of lazy functional-logic programs. |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
2024, 5th Int Symp. FLOPS'01 |
|
PÁGINAS |
DESDE 170 |
|
HASTA 184 |
|
EDITORIAL |
Springer Verlag |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2001 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory & Methods |
|
ÍNDICE DE IMPACTO: 0.402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): Congreso de rango A según CORE (Australian Ranking of ICT Conferences). Serie LNCS indexada JCR 2005. |
|
AUTORES |
Rafael Caballero, Mario Rodríguez-Artalejo |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
DDT: A Declarative Debugging Tool for Functional-Logic Languages |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
7th Int Symp. FLOPS'04., Vol. 2998 |
|
PÁGINAS |
DESDE 70 |
|
HASTA 84 |
|
EDITORIAL |
Springer Verlag |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2004 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory & Methods |
|
ÍNDICE DE IMPACTO: 0.402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): Congreso de rango A según CORE (Australian Ranking of ICT Conferences). Serie LNCS indexada JCR 2005. |
|
AUTORES |
Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
Proceedings of FLOPS 2008, Vol. 4989 |
|
PÁGINAS |
DESDE 305 |
|
|
HASTA 321 |
|
EDITORIAL |
Springer Verlag |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory & Methods |
|
|
ÍNDICE DE IMPACTO: 0.402 |
|
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
|
OTROS INDICIOS (si se sabe): Congreso de rango A según CORE (Australian Ranking of ICT Conferences). Serie LNCS indexada JCR 2005 |
|
|
|
|
b) Libros |
|
|
AUTORES |
R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez. |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
A Theoretical Framework for the Declarative Debugging of Datalog Programs |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de libro |
|
VOLUMEN |
4295 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 143 |
|
|
HASTA 159 |
|
EDITORIAL |
Springer Verlag |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISBN |
978-3-540-88593-1 |
|
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): |
|
AUTORES |
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco and Alberto Verdejo. |
|
Nº DE AUTORES |
4 |
|
TÍTULO |
A declarative debugger for Maude functional modules |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de libro |
|
VOLUMEN |
Actas de WRLA 08. Próxima aparición |
|
COLECCIÓN |
Electronic Notes in Theoretical Computer Science |
|
PÁGINAS |
DESDE 53 |
|
|
HASTA 70 |
|
EDITORIAL |
Elsevier Science |
|
PAÍS DE PUBLICACIÓN |
Publicación Electrónica |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISBN |
Aún no C65 determinado |
|
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): |
|
AUTORES |
R. Caballero, M. Rodríguez Artalejo and R. del Vado Vírseda. |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de libro |
|
VOLUMEN |
Actas ICLP 2007. Vol 4670 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 425 |
|
|
HASTA 427 |
|
EDITORIAL |
Springer Verlag |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISBN |
978-3-540-74608-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): Congreso ICLP incluído en CORE (Australian Ranking of ICT Conferences) con rango tipo A |
|
AUTORES |
R. Caballero, M. Rodríguez Artalejo and R. 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) |
Capítulo de libro |
|
VOLUMEN |
Actas ICLP 2006. Vol 4079 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 421 |
|
|
HASTA 422 |
|
EDITORIAL |
Springer Verlag |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISBN |
978-3-540-36635-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): Congreso ICLP incluído en CORE (Australian Ranking of ICT Conferences) con rango tipo A |
|
AUTORES |
Rafael Caballero, Christian Hermanns, and Herbert Kuchen |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Algorithmic Debugging of Java Programs. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de libro |
|
VOLUMEN |
Actas WFLP 2006. Volumen 177 |
|
COLECCIÓN |
Electronic Notes in Theoretical Computer Science |
|
PÁGINAS |
DESDE 153 |
|
|
HASTA 168 |
|
EDITORIAL |
Elsevier Science |
|
PAÍS DE PUBLICACIÓN |
Publicación Electrónica |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISBN |
ISSN:1571-0661 |
|
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): WFLP incluído en CORE (Australian Ranking of ICT Conferences) con rango tipo C |
|
AUTORES |
Rafael Caballero |
|
Nº DE AUTORES |
1 |
|
TÍTULO |
A declarative debugger of incorrect answers for constraint functional-logic programs |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de libro |
|
VOLUMEN |
Actas WFLP 2005. |
|
COLECCIÓN |
|
|
PÁGINAS |
DESDE 8 |
|
|
HASTA 13 |
|
EDITORIAL |
ACM |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2005 |
|
ISBN |
1-59593-069-8 |
|
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): WFLP incluído en CORE (Australian Ranking of ICT Conferences) con rango tipo C |
|
AUTORES |
Rafael Caballero, Mario Rodríguez Artalejo |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
A Declarative Debugging System for Lazy Functional-Logic Programs. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de libro |
|
VOLUMEN |
Actas WFLP 2006. Volumen 76 |
|
COLECCIÓN |
Electronic Notes in Theoretical Computer Science |
|
PÁGINAS |
DESDE |
|
|
HASTA 64 páginas+C226 |
|
EDITORIAL |
Elsevier Science |
|
PAÍS DE PUBLICACIÓN |
Publicación Electrónica |
|
AÑO DE PUBLICACIÓN |
2002 |
|
ISBN |
ISSN 1571-0661 |
|
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): WFLP incluído en CORE (Australian Ranking of ICT Conferences) con rango tipo C |
|
AUTORES |
Rafael Caballero, Wolfgang Lux |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Declarative Debugging for Encapsulated Search. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de libro |
|
VOLUMEN |
Actas WFLP 2006. Volumen 76 |
|
COLECCIÓN |
Electronic Notes in Theoretical Computer Science |
|
PÁGINAS |
DESDE 1 |
|
|
HASTA 13 |
|
EDITORIAL |
Elsevier Science |
|
PAÍS DE PUBLICACIÓN |
Publicación Electrónica |
|
AÑO DE PUBLICACIÓN |
2002 |
|
ISBN |
ISSN 1571-0661 |
|
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): WFLP incluído en CORE (Australian Ranking of ICT Conferences) con rango tipo C |
|
AUTORES |
R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez. |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
A new proposal for debugging datalog programs. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de libro |
|
VOLUMEN |
Actas WFLP 2007. Próxima aparición |
|
COLECCIÓN |
Electronic Notes in Theoretical Computer Science |
|
PÁGINAS |
DESDE 1 |
|
|
HASTA 15 |
|
EDITORIAL |
Elsevier Science |
|
PAÍS DE PUBLICACIÓN |
Publicación Electrónica |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISBN |
Aún no de determinado |
|
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): WFLP incluído en CORE (Australian Ranking of ICT Conferences) con rango tipo C |
