Datos de la tesis doctoral

Facultad de Informática

Volver atrás

- no title specified
     
 

DATOS DE LA TESIS

   
 

Titulo

Más sobre equivalencias lógicas y distancias entre procesos

(Revisiting logical semantics for processes and their distances)

  
 

Doctorando

David Romero Hernández

  
 

Director(es)

David de Frutos Escrig

  
 

Universidad

Universidad Complutense de Madrid

  
 

Año de lectura

2016

  
 

Doctorado europeo (si/no)

  
     
 

Publicaciones de la tesis

   
     
 

a) Revistas

   
     
 

AUTORES

David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino and David Romero Hernández

  
 

Nº DE AUTORES

4

  
 

TÍTULO

Unifying the Linear Time-Branching Time Spectrum of Process Semantics

  
 

CLAVE (Artículo, Artículo de revisión, editor)

Artículo

  
 

NOMBRE DE LA REVISTA

Logical Methods in Computer Science

  
 

VOLUMEN

9,2

  
 

PÁGINAS

DESDE 1

  
 

HASTA 73

  
 

EDITORIAL

LOGICAL METHODS IN COMPUTER SCIENCE, e.V.

  
 

PAÍS DE PUBLICACIÓN

Alemania

  
 

AÑO DE PUBLICACIÓN

2013

  
 

ISSN

1860-5974

  
 

INDICIOS DE CALIDAD

AREA de JCR: Lógica

  
 

ÍNDICE DE IMPACTO: 0.443 (2013)

  
 

POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 11

  
 

Nº DE REVISTAS EN EL ÁREA: 20

  
 

Nº DE CITAS (si se sabe, excl. autocitas): 1

  
 

OTROS INDICIOS (si se sabe):

  
     
 

c) Ponencias

   
     
 

AUTORES

David Romero Hernández and David de Frutos Escrig

  
 

TÍTULO

On the Unification of Process Semantics: Logical Semantics.

  
 

ENTIDAD ORGANIZADORA

   
 

CONGRESO:

Eight Workshop on Structural Operational Semantics 2011- SOS 11

  
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - Paper

  
 

ISSN/ISBN

   
 

VOLUMEN

62

  
 

PÁGINAS

DESDE 47

  
 

HASTA 61

  
 

LUGAR DE CELEBRACIÓN

Aachen, Alemania

  
 

FECHA DE CELEBRACIÓN

09/11

  
 

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

David Romero Hernández and David de Frutos Escrig

  
 

TÍTULO

Distances between Processes: A Pure Algebraic Approach

  
 

ENTIDAD ORGANIZADORA

   
 

CONGRESO:

Recent Trends in Algebraic Development Techniques, 21st International Workshop -

WADT 12

  
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia-Paper

  
 

ISSN/ISBN

0302-9743 / 978-3-642-37634-4

  
 

VOLUMEN

7841

  
 

PÁGINAS

DESDE 265

  
 

HASTA 282

  
 

LUGAR DE CELEBRACIÓN

Salamanca, España

  
 

FECHA DE CELEBRACIÓN

06/12

  
 

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): 1

  
 

OTROS INDICIOS (si se sabe): Indice de aceptación 64%

  
     
 

AUTORES

David Romero Hernández and David de Frutos Escrig

  
 

TÍTULO

Defining Distances for All Process Semantics

  
 

ENTIDAD ORGANIZADORA

   
 

CONGRESO:

Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International

Conference - FMOODS/FORTE 12

  
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

  
 

ISSN/ISBN

0302-9743 / 978-3-642-30792-8

  
 

VOLUMEN

7273

  
 

PÁGINAS

DESDE 169

  
 

HASTA 185

  
 

LUGAR DE CELEBRACIÓN

Stockholm, Suecia

  
 

FECHA DE CELEBRACIÓN

06/12

  
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:  CORE / Computer Science Conference Ranking

  
 

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): 4

  
 

OTROS INDICIOS (si se sabe): Indice de aceptación 38%

  
     
 

AUTORES

David Romero Hernández and David de Frutos Escrig

  
 

TÍTULO

Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances

  
 

ENTIDAD ORGANIZADORA

   
 

CONGRESO:

Formal Techniques for Distributed Objects, Components, and Systems - FORTE 14

  
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

  
 

ISSN/ISBN

0302-9743 / 978-3-662-43612-7

  
 

VOLUMEN

8461

  
 

PÁGINAS

DESDE: 249

  
 

HASTA: 265

  
 

LUGAR DE CELEBRACIÓN

Berlín, Alemania

  
 

FECHA DE CELEBRACIÓN

06/14

  
 

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:CORE / Computer Science Conference Ranking

  
 

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

  
 

OTROS INDICIOS (si se sabe): Indice de aceptación 32.7%

  
     
 

AUTORES

David Romero Hernández, David de Frutos Escrig and Dario Della Monica

  
 

TÍTULO

Proving Continuity of Coinductive Global Bisimulation Distances: A Neverending Story

  
 

ENTIDAD ORGANIZADORA

   
 

CONGRESO:

XV Jornadas sobre Programación y Lenguajes - PROLE 15

  
 

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

  
 

ISSN/ISBN

   
 

VOLUMEN

   
 

PÁGINAS

DESDE

  
 

HASTA

  
 

LUGAR DE CELEBRACIÓN

Santander, España

  
 

FECHA DE CELEBRACIÓN

09/15

  
 

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):