|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Depuración declarativa y verificación heterogénea en Maude |
|
Doctorando |
Adrián Riesco Rodríguez |
|
Director(es) |
José Alberto Verdejo López y Narciso Martí Oliet |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2011 |
|
Doctorado europeo (si/no) |
Sí |
|
|
|
|
Publicaciones de la tesis |
|
|
a) Revistas |
|
|
|
|
|
AUTORES |
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet y Rafael Caballero |
|
Nº DE AUTORES |
4 |
|
TÍTULO |
Declarative debugging of rewriting logic specifications |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Journal of Logic and Algebraic Programming |
|
VOLUMEN |
Pendiente de publicación |
|
PÁGINAS |
DESDE |
|
HASTA |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2012 |
|
ISSN |
|
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE, THEORY & METHODS |
|
ÍNDICE DE IMPACTO: = 0.552 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 76 |
|
Nº DE REVISTAS EN EL ÁREA: 97 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
b) Libros |
|
|
|
|
|
AUTORES |
R. Caballero, N. Martí-Oliet, A. Riesco y A. Verdejo |
|
Nº DE AUTORES |
4 |
|
TÍTULO |
Declarative Debugging of Membership Equational Logic Specifications |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de libro |
|
VOLUMEN |
5065 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 174 |
|
HASTA 193 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISBN |
978-3-540-68676-7 |
|
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): |
|
|
|
|
c) Ponencias |
|
|
|
|
|
AUTORES |
R. Caballero, N. Martí-Oliet, A. Riesco y A. Verdejo |
|
TÍTULO |
A Declarative Debugger for Maude Functional Modules |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
7th International Workshop on Rewriting Logic and its Applications, WRLA 2008 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia - Paper |
|
ISSN/ISBN |
1571-0661 |
|
VOLUMEN |
238(3) |
|
PÁGINAS |
DESDE 63 |
|
HASTA 81 |
|
LUGAR DE CELEBRACIÓN |
Budapest, Hungría |
|
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 |
A. Riesco, A. Verdejo, R. Caballero y N. Martí-Oliet |
|
TÍTULO |
Declarative Debugging of Rewriting Logic Specifications |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
Recent Trends in Algebraic Development Techniques, WADT 2008 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia - Paper |
|
ISSN/ISBN |
978-3-642-03428-2 |
|
VOLUMEN |
5486 |
|
PÁGINAS |
DESDE 308 |
|
HASTA 325 |
|
LUGAR DE CELEBRACIÓN |
Pisa, Italia |
|
FECHA DE CELEBRACIÓN |
06/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): Indice de impacto en CiteSeerX 2004: 0,04 |
|
|
|
|
AUTORES |
A. Riesco, A. Verdejo, N. Martí-Oliet y R. Caballero |
|
TÍTULO |
A Declarative Debugger for Maude |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia - paper |
|
ISSN/ISBN |
978-3-540-79979-5 |
|
VOLUMEN |
5140 |
|
PÁGINAS |
DESDE 116 |
|
HASTA 121 |
|
LUGAR DE CELEBRACIÓN |
Urbana, Illinois, USA |
|
FECHA DE CELEBRACIÓN |
07/08 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE |
|
Categoría del congreso (si existe; p.ej. A, A+): |
|
Posición del congreso en el ranking (si existe): C |
|
Nº de congresos en el ranking (si existe): |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): Índice de impacto CiteSeerX 2006: 0,07 |
|
|
|
|
AUTORES |
A. Riesco, A. Verdejo y N. Martí-Oliet |
|
TÍTULO |
Enhancing the Debugging of Maude Specifications |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
8th International Workshop on Rewriting Logic and its Applications, WRLA 2010 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia - paper |
|
ISSN/ISBN |
978-3-642-16309-8 |
|
VOLUMEN |
6381 |
|
PÁGINAS |
DESDE 226 |
|
HASTA 242 |
|
LUGAR DE CELEBRACIÓN |
Madrid |
|
FECHA DE CELEBRACIÓN |
03/10 |
|
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 |
A. Riesco, A. Verdejo y N. Martí-Oliet |
|
TÍTULO |
Declarative Debugging of Missing Answers for Maude Specifications |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
21st International Conference on Rewriting Techniques and Applications, RTA 2010 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia - paper |
|
ISSN/ISBN |
978-3-939897-18-7 |
|
VOLUMEN |
6 |
|
PÁGINAS |
DESDE 277 |
|
HASTA 294 |
|
LUGAR DE CELEBRACIÓN |
Edinburgh, United Kingdom |
|
FECHA DE CELEBRACIÓN |
07/10 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE 2008 |
|
Categoría del congreso (si existe; p.ej. A, A+): |
|
Posición del congreso en el ranking (si existe): A |
|
Nº de congresos en el ranking (si existe): |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): Indice de impacto CiteSeerX 2007: 0,1 |
|
|
|
|
AUTORES |
A. Riesco, A. Verdejo, N. Martí-Oliet y R. Caballero |
|
TÍTULO |
A Complete Declarative Debugger for Maude |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia - paper |
|
ISSN/ISBN |
978-3-642-17795-8 |
|
VOLUMEN |
6486 |
|
PÁGINAS |
DESDE 216 |
|
HASTA 225 |
|
LUGAR DE CELEBRACIÓN |
Québec, Canada |
|
FECHA DE CELEBRACIÓN |
06/10 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE |
|
Categoría del congreso (si existe; p.ej. A, A+): |
|
Posición del congreso en el ranking (si existe): C |
|
Nº de congresos en el ranking (si existe): |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): Indice de impacto CiteSeerX 2006: 0,07 |
|
|
|
|
AUTORES |
M. Codescu, T. Mossakowski, A. Riesco y C. Maeder |
|
TÍTULO |
Integrating Maude into Hets |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia - paper |
|
ISSN/ISBN |
978-3-642-17795-8 |
|
VOLUMEN |
6486 |
|
PÁGINAS |
DESDE 60 |
|
HASTA 75 |
|
LUGAR DE CELEBRACIÓN |
Québec, Canada |
|
FECHA DE CELEBRACIÓN |
06/10 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE |
|
Categoría del congreso (si existe; p.ej. A, A+): |
|
Posición del congreso en el ranking (si existe): C |
|
Nº de congresos en el ranking (si existe): |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): Indice de impacto CiteSeerX 2006: 0,07 |
