|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Entendiendo las semánticas de Procesos |
|
Doctorando |
Carlos Gregorio Rodríguez |
|
Director(es) |
David de Frutos Escrig |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2009 |
|
Doctorado europeo (si/no) |
No |
|
|
|
|
Publicaciones de la tesis |
|
|
a) Revistas |
|
|
AUTORES |
David de Frutos Escrig, Carlos Gregorio Rodríguez |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
(Bi)simulations up-to characterise process semantics |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Information and Computation |
|
VOLUMEN |
207 |
|
PÁGINAS |
Desde 146 |
|
Hasta 170 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos de América |
|
AÑO DE PUBLICACIÓN |
2009 |
|
ISSN |
0890-5401 |
|
INDICIOS DE CALIDAD |
AREA de JCR: |
|
ÍNDICE DE IMPACTO: = 1.504 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: |
|
Nº DE REVISTAS EN EL ÁREA: |
|
|
|
|
|
|
|
|
AUTORES |
David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino Tarjuelo |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Ready to preorder: an algebraic and general proof. |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Journal of Logic and Algebraic Programming |
|
VOLUMEN |
78 |
|
PÁGINAS |
Desde 539 |
|
Hasta 551 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2009 |
|
ISSN |
1567-8326 |
|
INDICIOS DE CALIDAD |
AREA de JCR: |
|
ÍNDICE DE IMPACTO: 1.018 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: |
|
Nº DE REVISTAS EN EL ÁREA: |
|
|
|
|
|
|
|
|
AUTORES |
David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino Tarjuelo |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
On the Unification of Process Semantics: Equational Semantics |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes on Theoretical Computer Science |
|
VOLUMEN |
249 |
|
PÁGINAS |
DESDE 243 |
|
HASTA 267 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2009 |
|
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: |
|
|
|
|
|
|
|
|
AUTORES |
David de Frutos Escrig, Carlos Gregorio Rodríguez |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Universal Coinductive Characterisations of Process Semantics |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
IFIP International Federation for Information Processing |
|
VOLUMEN |
273 |
|
PÁGINAS |
DESDE 397 |
|
HASTA 412 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Reino Unido |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
1571-5736 |
|
INDICIOS DE CALIDAD |
AREA de JCR: |
|
ÍNDICE DE IMPACTO: |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: |
|
Nº DE REVISTAS EN EL ÁREA: |
|
|
|
|
|
|
|
|
AUTORES |
David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino Tarjuelo |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
On the Unification of Process Semantics: Observational Semantics |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
273 |
|
PÁGINAS |
DESDE 279 |
|
HASTA 290 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2009 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: |
|
ÍNDICE DE IMPACTO: |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: |
|
Nº DE REVISTAS EN EL ÁREA: |
|
|
|
|
|
|
|
|
AUTORES |
David de Frutos Escrig, Carlos Gregorio Rodríguez, |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. |
|
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 41 |
|
Hasta 58 |
|
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: |
|
|
|
|
|
|
|
|
|
|
|
AUTORES |
David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino Tarjuelo |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes on Theoretical Computer Science |
|
VOLUMEN |
212 |
|
PÁGINAS |
DESDE 149 |
|
HASTA 162 |
|
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: |
|
|
|
|
|
|
|
|
AUTORES |
David de Frutos Escrig, Fernando Rosa Velando, Carlos Gregorio Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
New Bisimulation Semantics for Distributed Systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
4574 |
|
PÁGINAS |
Desde 143 |
|
HASTA 159 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: |
|
ÍNDICE DE IMPACTO: |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: |
|
Nº DE REVISTAS EN EL ÁREA: |
|
|
|
|
|
|
|
|
AUTORES |
David de Frutos Escrig, Carlos Gregorio Rodríguez |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Simulations up-to and canonical preorders |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes on Theoretical Computer Science |
|
VOLUMEN |
192 |
|
PÁGINAS |
Desde 13 |
|
Hasta 28 |
|
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: |
|
|
|
|
|
|
|
|
AUTORES |
David de Frutos Escrig, Carlos Gregorio Rodríguez |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Process Equivalences as Global Bisimulations |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Journal of Universal Computer Science |
|
VOLUMEN |
12 |
|
PÁGINAS |
DESDE 1521 |
|
HASTA 1550 |
|
EDITORIAL |
Verlag der Technischen Universität Graz |
|
PAÍS DE PUBLICACIÓN |
Austria |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISSN |
0948-695X |
|
INDICIOS DE CALIDAD |
AREA de JCR: |
|
ÍNDICE DE IMPACTO: |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: |
|
Nº DE REVISTAS EN EL ÁREA: |
|
|
|
|
|
|
|
|
AUTORES |
David de Frutos Escrig, Carlos Gregorio Rodríguez |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Bisimulations up-to for the linear time-branching time spectrum |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Articulo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
3653 |
|
PÁGINAS |
DESDE 278 |
|
Hasta 292 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2005 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: |
|
ÍNDICE DE IMPACTO: |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: |
|
Nº DE REVISTAS EN EL ÁREA: |
|
|
|
|
