Datos de la tesis doctoral

Facultad de Informática

Volver atrás

- no title specified


	DATOS DE LA TESIS
	Titulo	Verificación de Extensiones de Redes de Petri con Precios, Tiempo y Múltiples Instancias
	Doctorando	María Rosa Martos Salgado
	Director(es)	Fernando Rosa Velardo
	Universidad	Universidad Complutense de Madrid
	Año de lectura	2016
	Doctorado europeo (si/no)	Sí

	Publicaciones de la tesis

	a) Revistas

	AUTORES	María Martos-Salgado, Fernando Rosa-Velardo
	Nº DE AUTORES	2
	TÍTULO	Safety and soundness for priced resource-constrained workflow nets.
	CLAVE (Artículo, Artículo de revisión, editor)	Artículo
	NOMBRE DE LA REVISTA	Fundamenta Informaticae
	VOLUMEN	131(1)
	PÁGINAS	DESDE 55
	PÁGINAS	HASTA 80
	EDITORIAL	IOS Press
	PAÍS DE PUBLICACIÓN	Países Bajos
	AÑO DE PUBLICACIÓN	2012
	ISSN	0169-2968
	INDICIOS DE CALIDAD	AREA de JCR: Computer science, software ingeneering
		ÍNDICE DE IMPACTO: = 0.399
		POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 71
		Nº DE REVISTAS EN EL ÁREA: 104
		Nº DE CITAS (si se sabe, excl. autocitas):
		OTROS INDICIOS (si se sabe):

	c) Ponencias

	AUTORES	María Martos-Salgado, Fernando Rosa-Velardo
	TÍTULO	Dynamic soundness in Resource-Constrained Workflow Nets.
	ENTIDAD ORGANIZADORA
	CONGRESO:	International Conference on FORmal TEchniques for Networked and Distributed Systems, FORTE’11.
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Paper
	ISSN/ISBN	0302-9743 / 978-3-642-21460-8
	VOLUMEN	LNCS 6722
	PÁGINAS	DESDE 259
	PÁGINAS	HASTA 273
	LUGAR DE CELEBRACIÓN	Reykjavik
	FECHA DE CELEBRACIÓN	06/11
	INDICIOS DE CALIDAD	Nombre del ranking donde se incluye el congreso: CORE
		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):
		OTROS INDICIOS (si se sabe):

	AUTORES	María Martos-Salgado, Fernando Rosa-Velardo
	TÍTULO	Cost Soundness for Priced Resource-ConstrainedWorkflow nets.
	ENTIDAD ORGANIZADORA
	CONGRESO:	33rd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2012
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia, paper
	ISSN/ISBN	978-3-642-31130-7
	VOLUMEN	LNCS 7347
	PÁGINAS	DESDE 108
	PÁGINAS	HASTA 127
	LUGAR DE CELEBRACIÓN	Hamburgo, Alemania
	FECHA DE CELEBRACIÓN	06/12
	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):

	AUTORES	María Martos-Salgado, Fernando Rosa-Velardo
	TÍTULO	Dynamic Networks of Timed Petri Nets
	ENTIDAD ORGANIZADORA
	CONGRESO:	35th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2014
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia, paper
	ISSN/ISBN	978-3-319-07733-8
	VOLUMEN	LNCS 8489
	PÁGINAS	DESDE 294
	PÁGINAS	HASTA 313
	LUGAR DE CELEBRACIÓN	Tunicia, Túnez
	FECHA DE CELEBRACIÓN	06/14
	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):

	AUTORES	María Martos-Salgado, Fernando Rosa-Velardo
	TÍTULO	Expressiveness of Dynamic Networks of Timed Petri Nets.
	ENTIDAD ORGANIZADORA
	CONGRESO:	8th International Conference on Language and Automata Theory and Applications, LATA 2014
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia, paper
	ISSN/ISBN	978-3-319-04920-5
	VOLUMEN	8370
	PÁGINAS	DESDE 516
	PÁGINAS	HASTA 527
	LUGAR DE CELEBRACIÓN	Madrid
	FECHA DE CELEBRACIÓN	03/14
	INDICIOS DE CALIDAD	Nombre del ranking donde se incluye el congreso:CORE
		Categoría del congreso (si existe; p.ej. A, A+):C
		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): 3
		OTROS INDICIOS (si se sabe):