Datos de la tesis doctoral

Facultad de Informática

Volver atrás


	DATOS DE LA TESIS
	Titulo	Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos
	Doctorando	Lidia Sánchez Gil
	Director(es)	Yolanda Ortega Mallén y Mercedes Hidalgo Herrero
	Universidad	Universidad Complutense de Madrid
	Año de lectura	2015
	Doctorado europeo (si/no)	No

	Publicaciones de la tesis

	a) Revistas

	b) Libros

	c) Ponencias

	AUTORES	L. Sánchez Gil, M. Hidalgo Herrero, Y. Ortega Mallén
	TÍTULO	Relating function spaces to resourced function spaces
	ENTIDAD ORGANIZADORA	Tunghai University, Taichung, Taiwan
	CONGRESO:	26th Symposium on Applied Computing
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia - Artículo
	ISSN/ISBN	978-1-4503-0113-8
	VOLUMEN
	PÁGINAS	DESDE 1301
	PÁGINAS	HASTA 1308
	LUGAR DE CELEBRACIÓN	Taichung, Taiwan
	FECHA DE CELEBRACIÓN	21-24 marzo 2011
	INDICIOS DE CALIDAD	Nombre del ranking donde se incluye el congreso: Core
		Categoría del congreso (si existe; p.ej. A, A+): B
		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): Microsoft Academic Search (Software Engineering): 17/285

	AUTORES	L. Sánchez Gil, M. Hidalgo Herrero, Y. Ortega Mallén
	TÍTULO	A locally nameless representation for a natural semantics for lazy evaluation
	ENTIDAD ORGANIZADORA
	CONGRESO:	9th International Colloquium on Theoretical Aspects of Computing
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Artículo
	ISSN/ISBN	0302-9743/978-3-642-32942-5
	VOLUMEN	LNCS 7521
	PÁGINAS	DESDE 105
	PÁGINAS	HASTA 119
	LUGAR DE CELEBRACIÓN	Bangalore, India
	FECHA DE CELEBRACIÓN	24-27 septiembre 2012
	INDICIOS DE CALIDAD	Nombre del ranking donde se incluye el congreso: Core
		Categoría del congreso (si existe; p.ej. A, A+): B
		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): Microsoft Academic Search (Algorithms & Theory): 73/177

	AUTORES	L. Sánchez Gil, M. Hidalgo Herrero, Y. Ortega Mallén
	TÍTULO	The role of indirections in lazy natural semantics
	ENTIDAD ORGANIZADORA
	CONGRESO:	Perspectives of System Informatics
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia - Artículo
	ISSN/ISBN	0302-9743/978-3-662-46822-7
	VOLUMEN	LNCS 8974
	PÁGINAS	DESDE 288
	PÁGINAS	HASTA 303
	LUGAR DE CELEBRACIÓN	San Petersburgo, Rusia
	FECHA DE CELEBRACIÓN	24-27 junio 2014
	INDICIOS DE CALIDAD	Nombre del ranking donde se incluye el congreso: Core
		Categoría del congreso (si existe; p.ej. A, A+): B
		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): Microsoft Academic Search (Software Engineering): 80/285

	AUTORES	L. Sánchez Gil, M. Hidalgo Herrero, Y. Ortega Mallén
	TÍTULO	An operational semantics for distributed lazy evaluation
	ENTIDAD ORGANIZADORA
	CONGRESO:	Trends in Functional Programming
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia - Artículo
	ISSN/ISBN
	VOLUMEN
	PÁGINAS	DESDE 65
	PÁGINAS	HASTA 80
	LUGAR DE CELEBRACIÓN	Komarno, Eslovaquia
	FECHA DE CELEBRACIÓN	2-4 junio 2009
	INDICIOS DE CALIDAD	Nombre del ranking donde se incluye el congreso: Core
		Categoría del congreso (si existe; p.ej. A, A+):B
		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): - Microsoft Academic Search (Programming Languages): 71/168, - CS Conference Ranking 2009 http://perso.crans.org/~genest/conf.html (Applications/Education/Software/Theory/Communications/Graphics/Bioinformatics): 166/788

	AUTORES	L. Sánchez Gil, M. Hidalgo Herrero, Y. Ortega Mallén
	TÍTULO	Launchbury's semantics revisited: On the equivalence of context-heap semantics (work in progress)
	ENTIDAD ORGANIZADORA
	CONGRESO:	Jornadas de Programación y Lenguajes (PROLE)
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia - Artículo
	ISSN/ISBN
	VOLUMEN
	PÁGINAS	DESDE 203
	PÁGINAS	HASTA 217
	LUGAR DE CELEBRACIÓN	Cádiz, España
	FECHA DE CELEBRACIÓN	16-19 septiembre 2014
	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	L. Sánchez Gil, M. Hidalgo Herrero, Y. Ortega Mallén
	TÍTULO	A formalization in Coq of Launchbury's natural semantics for lazy evaluation
	ENTIDAD ORGANIZADORA
	CONGRESO:	Jornadas de Programación y Lenguajes (PROLE)
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia - Artículo
	ISSN/ISBN
	VOLUMEN
	PÁGINAS	DESDE 15
	PÁGINAS	HASTA 29
	LUGAR DE CELEBRACIÓN	Almería, España
	FECHA DE CELEBRACIÓN	17-19 septiembre 2012
	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):