|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Programación Declarativa Cualificada con Restricciones |
|
Doctorando |
Carlos Alberto Romero Díaz |
|
Director(es) |
Rafael Caballero y Mario Rodríguez Artalejo |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2011 |
|
Doctorado europeo (si/no) |
No |
|
|
|
|
Publicaciones de la tesis |
|
|
a) Revistas |
|
|
|
|
|
AUTORES |
Mario Rodríguez-Artalejo y Carlos A. Romero Díaz |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
A declarative semantics for CLP with qualification and proximity |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Theory and Practice of Logic Programming |
|
VOLUMEN |
26th Int’l. Conference on Logic Programming (ICLP
2010), special Issue, 10(4–6) |
|
PÁGINAS |
DESDE 627 |
|
HASTA 642 |
|
EDITORIAL |
Cambridge University Press |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2010 |
|
ISSN |
1471-0684 |
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE, SOFTWARE ENGINEERING, COMPUTER SCIENCE, THEORY & METHODS CORE |
|
ÍNDICE DE IMPACTO: = 1.250 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 36 |
|
Nº DE REVISTAS EN EL ÁREA: 97 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
Rafael Caballero Roldán, Mario Rodríguez-Artalejo y Carlos A. Romero Díaz |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Qualified computations in functional logic programing |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
5649, Actas de ICLP 2009 |
|
PÁGINAS |
DESDE 449 |
|
HASTA 463 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2009 |
|
ISSN |
1350-2387 |
|
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): Conferencia A en el ranking ERA/Core |
|
|
|
|
AUTORES |
Rafael Caballero Roldán, Mario Rodríguez-Artalejo y Carlos A. Romero Díaz |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Similarity-based reasoning in qualified logic programming |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
ACM SIGPLAN conference on Principles and Practice of Declarative Programming |
|
VOLUMEN |
|
|
PÁGINAS |
DESDE 185 |
|
HASTA 194 |
|
EDITORIAL |
ASSOC COMPUTING MACHINERY |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
|
|
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): Conferencia B en el ranking ERA/Core |
|
|
|
|
AUTORES |
Mario Rodríguez-Artalejo y Carlos A. Romero Díaz |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Qualified logic programming with bivaluated predicates |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes in Theoretical Computer Science |
|
VOLUMEN |
248 |
|
PÁGINAS |
DESDE 67 |
|
HASTA 82 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2008 |
|
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 |
Mario Rodríguez-Artalejo y Carlos A. Romero Díaz |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Quantitative logic programming revisited |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
4989, Actas de FLOPS 2008 |
|
PÁGINAS |
DESDE 272 |
|
HASTA 288 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
1350-2387 |
|
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): Conferencia A en el ranking ERA/Core |
|
|
|
|
b) Libros |
|
|
|
|
|
c) Ponencias |
|
