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)	Sí

	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
	PÁGINAS	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
	PÁGINAS	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
	PÁGINAS	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
	PÁGINAS	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
	PÁGINAS	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
	PÁGINAS	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):