|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos |
|
Doctorando |
Ignacio Fábregas Alfaro |
|
Director(es) |
David de Frutos Escrig y Miguel Palomino Tarjuelo |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2012 |
|
Doctorado europeo (si/no) |
No |
|
|
|
|
Publicaciones de la tesis |
|
|
|
|
|
a) Revistas |
|
|
|
|
|
AUTORES |
I. Fábregas, D. de Frutos Escrig y M. Palomino |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Proceedings Seventh Workshop on Structural Operational Semantics |
|
VOLUMEN |
32 |
|
PÁGINAS |
DESDE 1 |
|
HASTA 14 |
|
EDITORIAL |
Electronic Proceedings in Theoretical Computer Science (EPTCS) |
|
PAÍS DE PUBLICACIÓN |
|
|
AÑO DE PUBLICACIÓN |
2010 |
|
ISSN |
2075-2180 |
|
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 |
L. Aceto, I. Fábregas, D. de Frutos Escrig, A. Ingólfsdóttir y M. Palomino |
|
Nº DE AUTORES |
5 |
|
TÍTULO |
Graphical representation of covariant-contravariant modal formulae |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Proceedings 18th International Workshop on Expressiveness in Concurrency |
|
VOLUMEN |
64 |
|
PÁGINAS |
DESDE 1 |
|
HASTA 15 |
|
EDITORIAL |
Electronic Proceedings in Theoretical Computer Science (EPTCS) |
|
PAÍS DE PUBLICACIÓN |
|
|
AÑO DE PUBLICACIÓN |
2011 |
|
ISSN |
2075-2180 |
|
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): |
|
|
|
|
b) Libros |
|
|
|
|
|
AUTORES |
I. Fábregas, M. Palomino y D. de Frutos Escrig, |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de Libro |
|
VOLUMEN |
4711 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 231 |
|
HASTA 245 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISBN |
978-3-540-75290-5 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): Congreso Core B |
|
|
|
|
AUTORES |
D. de Frutos Escrig, M. Palomino e I. Fábregas |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de Libro |
|
VOLUMEN |
5048 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 283 |
|
HASTA 298 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISBN |
978-3-540-68854-9 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): Congreso Core A |
|
|
|
|
AUTORES |
I. Fábregas, D. de Frutos Escrig y M. Palomino |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Non-strongly Stable Orders Also Define InNon-strongly Stable Orders Also Define Interesting Simulation Relations |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de Libro |
|
VOLUMEN |
5728 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 221 |
|
HASTA 235 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2009 |
|
ISBN |
978-3-642-03740-5 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): Congreso Core A |
|
|
|
|
AUTORES |
I. Fábregas, D. de Frutos Escrig y M. Palomino |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Logics for Contravariant Simulations |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de Libro |
|
VOLUMEN |
6117 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 224 |
|
HASTA 231 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2010 |
|
ISBN |
978-3-642-03740-5 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): Congreso Core A |
|
|
|
|
AUTORES |
L. Aceto, I. Fábregas, D. de Frutos Escrig, A. Ingólfsdóttir y M. Palomino |
|
Nº DE AUTORES |
5 |
|
TÍTULO |
Relating modal refinements, covariant-contravariant simulations and partial bisimulations |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capítulo de Libro |
|
VOLUMEN |
7141 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 268 |
|
HASTA 283 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2011 |
|
ISBN |
978-3-642-29319-1 |
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): |
