Datos de la tesis doctoral

Facultad de Informática

Volver atrás


DATOS DE LA TESIS

Titulo Dos aplicaciones de los métodos formales para el desarrollo y testing de sistemas complejos

Doctorando Carlos Molinero Brizuela

Director(es) Manuel Nuñez

Universidad Universidad Complutense de Madrid

Año de lectura 2012

Doctorado europeo (si/no) Sí




Publicaciones de la tesis

a) Revistas




AUTORES Carlos Molinero y Manuel Núñez

Nº DE AUTORES 2

TÍTULO Planning of work schedules through the use of a hierarchical multi-agent system

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

NOMBRE DE LA REVISTA Automation in Construction

VOLUMEN 20

PÁGINAS DESDE 1227

HASTA 1241

EDITORIAL Elsevier

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2011

ISSN 0926-5805

INDICIOS DE CALIDAD AREA de JCR:

ÍNDICE DE IMPACTO: = 1.311

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

Nº DE REVISTAS EN EL ÁREA:

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

OTROS INDICIOS (si se sabe):




b) Libros




AUTORES Carlos Molinero , César Andrés y Manuel Núñez

Nº DE AUTORES 3

TÍTULO A Formal Methodology to Specify Hierarchical Agent-Based Systems

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN

PÁGINAS DESDE 93

HASTA 114

EDITORIAL World Scientific

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2010

ISBN 978-9078677284

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

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe):




c) Ponencias




AUTORES Carlos Molinero, Manuel Núñez y Robert M. Hierons

TÍTULO Experimental Comparison of Different Techniques to Generate Adaptive Sequences

ENTIDAD ORGANIZADORA IEEE Computational Intelligence Society

CONGRESO: IWANN 2011

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

ISSN/ISBN 978-3-642-21497-4

VOLUMEN

PÁGINAS DESDE 404

HASTA 411

LUGAR DE CELEBRACIÓN Torremolinos, Málaga, Spain

FECHA DE CELEBRACIÓN 8 Junio 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):Computer Science Conference Ranking based on the "Estimated Impact of Conference (EIC,2009)", concretely in position 55 among 701 considered (in the Artificial Intelligence field)




AUTORES Carlos Molinero, Manuel Núñez y Robert M. Hierons

TÍTULO Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM

ENTIDAD ORGANIZADORA IEEE Computational Intelligence Society

CONGRESO: ALIFE 2011

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

ISSN/ISBN 2160-6374 (978-1-61284-062-8)

VOLUMEN

PÁGINAS DESDE 22

HASTA 29

LUGAR DE CELEBRACIÓN París, Francia

FECHA DE CELEBRACIÓN 13 Abril 2011

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 Carlos Molinero, Manuel Núñez y César Andrés

TÍTULO Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences

ENTIDAD ORGANIZADORA IEEE Computational Intelligence Society

CONGRESO: IWANN 2009

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

ISSN/ISBN 978-3-642-02477-1

VOLUMEN

PÁGINAS DESDE 343

HASTA 350

LUGAR DE CELEBRACIÓN Salamanca

FECHA DE CELEBRACIÓN 10 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): Computer Science Conference Ranking based on the "Estimated Impact of Conference (EIC)", concretely in position 55 among 620 considered (in the Artificial Intelligence field)




AUTORES César Andrés, Carlos Molinero, Manuel Núñez

TÍTULO A Hierarchical Methodology to Specify and Simulate Complex Computational Systems

ENTIDAD ORGANIZADORA Springer

CONGRESO: ICCS 2009

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

ISSN/ISBN

VOLUMEN

PÁGINAS DESDE 347

HASTA 353

LUGAR DE CELEBRACIÓN Baton Rouge (EEUU)

FECHA DE CELEBRACIÓN 25 Mayo 2009

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 César Andrés, Carlos Molinero, Manuel Núñez

TÍTULO A Formal Methodology to Specify Hierarchical Agent-Based Systems

ENTIDAD ORGANIZADORA IEEE Computational Intelligence Society

CONGRESO: SITIS 2008

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

ISSN/ISBN 978-0-7695-3493-0

VOLUMEN

PÁGINAS DESDE 169

HASTA 176

LUGAR DE CELEBRACIÓN Bali (República de Indonesia)

FECHA DE CELEBRACIÓN 30 noviembre 2008

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