|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Reflexión, abstracción y simulación en la lógica de reescritura |
|
Doctorando |
Miguel Palomino Tarjuelo |
|
Director(es) |
Narciso Martí Oliet y José Meseguer Guaita |
|
Universidad |
Universidad Complutense |
|
Año de lectura |
2005 |
|
Doctorado europeo (si/no) |
no |
|
|
|
|
Publicaciones de la tesis |
|
|
a) Revistas |
|
|
|
|
|
AUTORES |
Manuel Clavel, José Meseguer, Miguel Palomino |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes in Theoretical Computer Science |
|
VOLUMEN |
71 |
|
PÁGINAS |
DESDE: 110 |
|
HASTA: 126 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2003 |
|
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 |
José Meseguer, Miguel Palomino, Narciso Martí-Oliet |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Equational abstractions |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
2741 |
|
PÁGINAS |
DESDE: 2 |
|
HASTA: 16 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2003 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer science, theory and methods |
|
ÍNDICE DE IMPACTO: 0,515 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 39 |
|
Nº DE REVISTAS EN EL ÁREA: 64 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): Conferencia CADE, recogida en el CS Conference Rankings con coeficiente 0,93 |
|
|
|
|
AUTORES |
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Formalizing and Proving Semantic Relations between Specifications by Reflection |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
3116 |
|
PÁGINAS |
DESDE: 72 |
|
HASTA: 86 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2004 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer science, theory and methods |
|
ÍNDICE DE IMPACTO: 0,513 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 53 |
|
Nº DE REVISTAS EN EL ÁREA: 70 |
|
Nº DE CITAS (si se sabe, excl. Autocitas): |
|
OTROS INDICIOS (si se sabe):Conferencia AMAST, recogida en el índice Computing Research and Education |
|
|
|
|
AUTORES |
Narciso Martí-Oliet, José Meseguer, Miguel Palomino |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Theoroidal Maps as Algebraic Simulations |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
3423 |
|
PÁGINAS |
DESDE: 126 |
|
HASTA: 143 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2005 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer science, theory and methods |
|
ÍNDICE DE IMPACTO: 0,402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 62 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
A categorical approach to simulations |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Miguel Palomino, Narciso Martí-Oliet, José Meseguer |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
3629 |
|
PÁGINAS |
DESDE: 313 |
|
HASTA: 330 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2005 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer science, theory and methods |
|
ÍNDICE DE IMPACTO: 0,402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 62 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
Manuel Clavel, José Meseguer, Miguel Palomino |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Theoretical Computer Science |
|
VOLUMEN |
373(1-2) |
|
PÁGINAS |
DESDE: 70 |
|
HASTA: 91 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISSN |
0304-3975 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer science, theory and methods |
|
ÍNDICE DE IMPACTO: 0,843 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 37 |
|
Nº DE REVISTAS EN EL ÁREA: 75 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Strategies and simulations in a semantic framework |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Journal of Algorithms |
|
VOLUMEN |
62(3-4) |
|
PÁGINAS |
DESDE: 95 |
|
HASTA: 116 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISSN |
0196-6774 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer science, theory and methods |
|
ÍNDICE DE IMPACTO: 1,119 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 24 |
|
Nº DE REVISTAS EN EL ÁREA: 75 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
Algebraic Stuttering Simulations |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Narciso Martí-Oliet, José Meseguer, Miguel Palomino |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes in Theoretical Computer Science |
|
VOLUMEN |
206 |
|
PÁGINAS |
DESDE: 91 |
|
HASTA: 110 |
|
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 |
José Meseguer, Miguel Palomino, Narciso Martí-Oliet |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Equational abstractions |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Theoretical Computer Science |
|
VOLUMEN |
403(1-2) |
|
PÁGINAS |
DESDE: 239 |
|
HASTA: 264 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
0304-3975 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer science, theory and methods |
|
ÍNDICE DE IMPACTO: 0,735 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 44 |
|
Nº DE REVISTAS EN EL ÁREA: 79 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
José Meseguer, Miguel Palomino, Narciso Martí-Oliet |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Algebraic Simulations |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Journal of Algebraic and Logic Programming |
|
VOLUMEN |
No disponible |
|
PÁGINAS |
DESDE: no disponible |
|
HASTA: no disponible |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2009 |
|
ISSN |
1567-8326 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer science, theory and methods |
|
ÍNDICE DE IMPACTO: 0,873 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 35 |
|
Nº DE REVISTAS EN EL ÁREA: 79 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
