Datos de la tesis doctoralFacultad de Informática |
DATOS DE LA TESIS | |||
Titulo | Técnicas de Detección y Diagnosis de Errores en Consultas de Bases de Datos | ||
Doctorando | Yolanda García Ruiz | ||
Director(es) | Rafael Caballero Roldán | ||
Universidad | Universidad Complutense de Madrid | ||
Año de lectura | 2014 | ||
Doctorado europeo (si/no) | No | ||
Publicaciones de la tesis | |||
c) Ponencias | |||
AUTORES | Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez | ||
TÍTULO | Applying Constraint Logic Programming to SQL Test Case Generation | ||
ENTIDAD ORGANIZADORA | |||
CONGRESO: | Functional and Logic Programming (FLOPS 2010) | ||
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia(paper) | ||
ISSN/ISBN | 978-3-642-12250-7 | ||
VOLUMEN | 6009 | ||
PÁGINAS | DESDE 191 | ||
HASTA 206 | |||
LUGAR DE CELEBRACIÓN | Sendai - Japan | ||
FECHA DE CELEBRACIÓN | 04/10 | ||
INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: core 2008 | ||
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): | |||
AUTORES | Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez | ||
TÍTULO | Algorithmic Debugging of SQL Views | ||
ENTIDAD ORGANIZADORA | |||
CONGRESO: | Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference (PSI 2011) | ||
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia(paper) | ||
ISSN/ISBN | 978-3-642-29708-3 | ||
VOLUMEN | 7162 | ||
PÁGINAS | DESDE 77 | ||
HASTA 85 | |||
LUGAR DE CELEBRACIÓN | Novosibirsk, Russia | ||
FECHA DE CELEBRACIÓN | 07/11 | ||
INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: core 2008 | ||
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): | |||
AUTORES | Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez | ||
TÍTULO | Integrating XPath with the functional-logic language Toy | ||
ENTIDAD ORGANIZADORA | |||
CONGRESO: | Practical Aspects of Declarative Languages (PADL 2011) | ||
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia(paper) | ||
ISSN/ISBN | 978-3-642-18377-5 | ||
VOLUMEN | 6539 | ||
PÁGINAS | DESDE 145 | ||
HASTA 159 | |||
LUGAR DE CELEBRACIÓN | Austin, TX, USA | ||
FECHA DE CELEBRACIÓN | 01/11 | ||
INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: CORE 2008 | ||
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): | |||
AUTORES | Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez | ||
TÍTULO | A Declarative Embedding of XQuery in a Functional-Logic Language | ||
ENTIDAD ORGANIZADORA | |||
CONGRESO: | Logic-based Program Synthesis and Transformation (LOPSTR 2011). | ||
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper | ||
ISSN/ISBN | 978-3-642-32210-5 | ||
VOLUMEN | 7225 | ||
PÁGINAS | DESDE 52 | ||
HASTA 56 | |||
LUGAR DE CELEBRACIÓN | Odense, Denmark | ||
FECHA DE CELEBRACIÓN | 07/11 | ||
INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: CORE 2008 | ||
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): 3 | |||
OTROS INDICIOS (si se sabe): | |||
AUTORES | Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez | ||
TÍTULO | Declarative Debugging of Wrong and Missing Answers for SQL Views | ||
ENTIDAD ORGANIZADORA | |||
CONGRESO: | Functional and Logic Programming (FLOPS 2012). | ||
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper | ||
ISSN/ISBN | 978-3-642-29821-9 | ||
VOLUMEN | 7294 | ||
PÁGINAS | DESDE 73 | ||
HASTA 87 | |||
LUGAR DE CELEBRACIÓN | Kobe, Japan | ||
FECHA DE CELEBRACIÓN | 05/12 | ||
INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: CORE 2008 | ||
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): | |||
AUTORES | Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez | ||
TÍTULO | A New Proposal for Debugging Datalog Programs | ||
ENTIDAD ORGANIZADORA | |||
CONGRESO: | Functional and (Constraint) Logic Programming (WFLP 2007) | ||
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper | ||
ISSN/ISBN | |||
VOLUMEN | 216 | ||
PÁGINAS | DESDE 79 | ||
HASTA 92 | |||
LUGAR DE CELEBRACIÓN | Paris, France | ||
FECHA DE CELEBRACIÓN | 09/07 | ||
INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: CORE 2008 | ||
Categoría del congreso (si existe; p.ej. A, A+): C | |||
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): | |||
AUTORES | Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez | ||
TÍTULO | A theoretical framework for the declarative debugging of datalog programs | ||
ENTIDAD ORGANIZADORA | |||
CONGRESO: | Semantics in Data and Knowledge Bases (SDKB 2008). | ||
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper | ||
ISSN/ISBN | 978-3-540-88593-1 | ||
VOLUMEN | 4925 | ||
PÁGINAS | DESDE 143 | ||
HASTA 159 | |||
LUGAR DE CELEBRACIÓN | Nantes, France, | ||
FECHA DE CELEBRACIÓN | 03/08 | ||
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): | |||
AUTORES | Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez | ||
TÍTULO | XQuery in the Functional-Logic Language Toy | ||
ENTIDAD ORGANIZADORA | |||
CONGRESO: | International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011). | ||
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper | ||
ISSN/ISBN | 978-3-642-22530-7 | ||
VOLUMEN | 6816 | ||
PÁGINAS | DESDE 35 | ||
HASTA 51 | |||
LUGAR DE CELEBRACIÓN | Odense, Denmark | ||
FECHA DE CELEBRACIÓN | 07/11 | ||
INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: CORE 2008 | ||
Categoría del congreso (si existe; p.ej. A, A+): C | |||
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): | |||
AUTORES | Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez | ||
TÍTULO | XPath Query Processing in a Functional-Logic Language | ||
ENTIDAD ORGANIZADORA | |||
CONGRESO: | Jornadas of PROgramación y LEnguajes (PROLE 2011 - SISTEDES 2011 | ||
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper | ||
ISSN/ISBN | |||
VOLUMEN | 282 | ||
PÁGINAS | DESDE 19 | ||
HASTA 34 | |||
LUGAR DE CELEBRACIÓN | A Coruña, Spain | ||
FECHA DE CELEBRACIÓN | 09/11 | ||
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): | |||
AUTORES | Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez | ||
TÍTULO | Towards a set oriented calculus for logic programming | ||
ENTIDAD ORGANIZADORA | |||
CONGRESO: | Jornadas of PROgramación y LEnguajes (PROLE 2006) | ||
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper | ||
ISSN/ISBN | |||
VOLUMEN | |||
PÁGINAS | DESDE 25 | ||
HASTA 34 | |||
LUGAR DE CELEBRACIÓN | Sitges, Spain | ||
FECHA DE CELEBRACIÓN | 10/06 | ||
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): | |||