|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Programación con indeterminismo: un enfoque basado en reescritura |
|
Doctorando |
Juan Rodríguez Hortalá |
|
Director(es) |
Francisco J. López Fraguas y Jaime Sánchez Hernández |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2010 |
|
Doctorado europeo (si/no) |
Sí |
|
|
|
|
Publicaciones de la tesis |
|
|
a) Revistas |
|
|
AUTORES |
Juan Rodríguez-Hortalá
|
|
Nº DE AUTORES |
1 |
|
TÍTULO |
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Leibniz International Proceedings in Informatics (LIPIcs) |
|
VOLUMEN |
2 Proceedings IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS'08 |
|
PÁGINAS |
DESDE 328 |
|
HASTA 339 |
|
EDITORIAL |
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
1868-8969 |
|
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): 2 (google scholar) |
|
OTROS INDICIOS (si se sabe): CORE 2007 – A, CORE 2010 – B, Citeseer 475 0,69 (top 38,90 %), CiteseerX 2007 – 185/581 (0,04) |
|
|
|
|
AUTORES |
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá y Jaime Sánchez-Hernández |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Equivalence of Two Formal Semantics for Functional Logic Programs
|
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes in Theoretical Computer Science |
|
VOLUMEN |
188 |
|
PÁGINAS |
DESDE 117 |
|
HASTA 142 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2007 |
|
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): 3 (google scholar) |
|
OTROS INDICIOS (si se sabe): CORE 2010 – C, Citeseer 710 0,38 (top 58,14%) |
|
|
|
|
AUTORES |
Adrián Riesco y Juan Rodríguez-Hortalá |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
A Natural Implementation of Plural Semantics in Maude |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes in Theoretical Computer Science |
|
VOLUMEN |
253 |
|
PÁGINAS |
DESDE 165 |
|
HASTA 175 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2010 |
|
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): 1 (google scholar) |
|
OTROS INDICIOS (si se sabe): CORE 2010 – C, Citeseer 710 0,38 (top 58,14%), Computer Science Conference Ranking 0,54 |
|
|
|
|
|
|
|
b) Libros |
|
|
|
|
|
AUTORES |
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá y Jaime Sánchez-
Hernández |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
A Simple Rewrite Notion for Call-time Choice Semantics |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de libro |
|
VOLUMEN |
Proceedings of the 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming PPDP’07 |
|
COLECCIÓN |
|
|
PÁGINAS |
DESDE 197 |
|
HASTA 208 |
|
EDITORIAL |
ACM New York, NY, USA |
|
PAÍS DE PUBLICACIÓN |
EEUU |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISBN |
978-1-59593-769-8 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. Autocitas): 20 (google scholar) |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): CORE 2007 - B, CORE 2010 – B, Citeseer 421 0,75 (top 34,47%), CiteseerX 2007 – 117/581 (0,06) |
|
|
|
|
AUTORES |
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá y Jaime Sánchez-Hernández |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
A flexible framework for programming with non-deterministic functions |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de Libro |
|
VOLUMEN |
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation (PEPM'10) |
|
COLECCIÓN |
|
|
PÁGINAS |
DESDE 91 |
|
HASTA 100 |
|
EDITORIAL |
ACM New York, NY, USA |
|
PAÍS DE PUBLICACIÓN |
EEUU |
|
AÑO DE PUBLICACIÓN |
2009 |
|
ISBN |
978-1-60558-327-3 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. Autocitas): 3 (google scholar) |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): CORE 2007 - A, CORE 2010 – B, Citeseer 65 1,74 (top 5,32%), CiteseerX 2005 – 209/932 (0,12) |
|
|
|
|
|
|
|
|
|
|
c) Ponencias |
|
|
|
|
|
AUTORES |
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá y Jaime Sánchez-Hernández |
|
TÍTULO |
Rewriting and Call-Time Choice: The HO Case |
|
ENTIDAD ORGANIZADORA |
Nagoya University
|
|
CONGRESO: |
9th International Symposium on Functional and Logic Programming FLOPS'08 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia (paper) |
|
ISSN/ISBN |
0302-9743 / 978-3-540-78968-0 |
|
VOLUMEN |
LNCS 4989 |
|
PÁGINAS |
DESDE 147 |
|
HASTA 162 |
|
LUGAR DE CELEBRACIÓN |
Ise, Japón |
|
FECHA DE CELEBRACIÓN |
14-16 Abril 2008 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE 2010 |
|
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): 19 (google scholar) |
|
OTROS INDICIOS (si se sabe): CORE 2007 – A, Citeseer 468 0,69 (top 38,32%), CiteseerX 2003 – 247/856 (0,16) |
|
|
|
|
AUTORES |
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá y Jaime Sánchez-Hernández |
|
TÍTULO |
A Fully Abstract Semantics for Constructor Systems |
|
ENTIDAD ORGANIZADORA |
Universidade de Brasília |
|
CONGRESO: |
20th International Conference on Rewriting Techniques and Applications RTA'09 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
0302-9743 / 978-3-642-02347-7 |
|
VOLUMEN |
LNCS 5595 |
|
PÁGINAS |
DESDE 320 |
|
HASTA 334 |
|
LUGAR DE CELEBRACIÓN |
Brasília, Brasil |
|
FECHA DE CELEBRACIÓN |
29 Junio al 1 de Julio de 2009 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE 2007 |
|
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): 2 (google scholar) |
|
OTROS INDICIOS (si se sabe): Citeseer 271 1,04 (top 22,19%), CiteseerX 2006 – 169/894 (0.1) |
|
|
|
|
AUTORES |
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá y Jaime Sánchez-Hernández |
|
TÍTULO |
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics |
|
ENTIDAD ORGANIZADORA |
Society of Logic Programming |
|
CONGRESO: |
21st Workshop on (Constraint) Logic Programming WLP’07 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia - paper |
|
ISSN/ISBN |
0302-9743 / 978-3-642-00674-6 |
|
VOLUMEN |
LNAI 5437 |
|
PÁGINAS |
DESDE 206 |
|
HASTA 222 |
|
LUGAR DE CELEBRACIÓN |
Würzburg, Alemania |
|
FECHA DE CELEBRACIÓN |
4-6 Octubre 2007 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: Citeseer |
|
Categoría del congreso (si existe; p.ej. A, A+): A / 0.85/1 |
|
Posición del congreso en el ranking (si existe): 870 0,23 (top 71,25%) |
|
Nº de congresos en el ranking (si existe): |
|
Nº DE CITAS (si se sabe, excl. Autocitas): 1 (google scholar) |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá y Jaime Sánchez-Hernández |
|
TÍTULO |
A Lightweight Combination of Semantics for Non-deterministic Functions
|
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
18th Workshop on Logic-based methods in Programming Environments WLPE’08
|
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia - paper |
|
ISSN/ISBN |
|
|
VOLUMEN |
abs/0903.2205
|
|
PÁGINAS |
DESDE |
|
HASTA |
|
LUGAR DE CELEBRACIÓN |
Udine, Italia |
|
FECHA DE CELEBRACIÓN |
12 Dicembre 2008 |
|
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): 2 (google scholar) |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
Francisco Javier López-Fraguas y Juan Rodríguez-Hortalá |
|
TÍTULO |
The Full Abstraction Problem for Higher Order Functional-Logic Programs
|
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
19th Workshop on Logic-based methods in Programming Environments WLPE’09 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia - paper |
|
ISSN/ISBN |
|
|
VOLUMEN |
Abs/1002.1833 |
|
PÁGINAS |
DESDE |
|
HASTA |
|
LUGAR DE CELEBRACIÓN |
Pasadena, California, EEUU |
|
FECHA DE CELEBRACIÓN |
14 Juilo 2009 |
|
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 |
Francisco Javier López-Fraguas, Stepahn Merz y Juan Rodríguez-Hortalá |
|
TÍTULO |
A Formalization of the Semantics of Functional-Logic Programming in Isabelle
|
|
ENTIDAD ORGANIZADORA |
Technische Universität München |
|
CONGRESO: |
Emerging trends section (category B) of Theorem Proving in Higher Order Logics TPHOLs’09
|
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Poster |
|
ISSN/ISBN |
|
|
VOLUMEN |
|
|
PÁGINAS |
DESDE |
|
HASTA |
|
LUGAR DE CELEBRACIÓN |
Munich, Alemania |
|
FECHA DE CELEBRACIÓN |
sep-04 |
|
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): |
