Datos de la tesis doctoral

Facultad de Informática

Volver atrás





DATOS DE LA TESIS

Titulo Especificación de sistemas concurrentes usando conceptos de teoría económica: Sintaxis, semántica, aplicaciones y extensiones del lenguaje formal PAMR

Doctorando Ismael Rodríguez

Director(es) Manuel Núñez

Universidad Universidad Complutense de Madrid

Año de lectura 2004

Doctorado europeo (si/no) No




a) Revistas

AUTORES Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio

Nº DE AUTORES 4

TÍTULO A Formal Framework for e-barter based on Microeconomic Theory and Process Algebras

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

NOMBRE DE LA REVISTA Lecture Notes in Computer Science

VOLUMEN 2346

PÁGINAS DESDE 217

HASTA 228

EDITORIAL Springer

PAÍS DE PUBLICACIÓN Alemania

AÑO DE PUBLICACIÓN 2002

ISSN ISSN 0302-9743

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Theory and Methods

ÍNDICE DE IMPACTO: 0.402

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

Nº DE REVISTAS EN EL ÁREA: 71

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

OTROS INDICIOS (si se sabe):







AUTORES Manuel Núñez, Ismael Rodríguez

Nº DE AUTORES 2

TÍTULO Encoding PAMR into (timed) EFSMs

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

NOMBRE DE LA REVISTA Lecture Notes in Computer Science

VOLUMEN 2529

PÁGINAS DESDE 1

HASTA 16

EDITORIAL Springer

PAÍS DE PUBLICACIÓN Alemania

AÑO DE PUBLICACIÓN 2002

ISSN ISSN 0302-9743

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Theory and Methods

ÍNDICE DE IMPACTO: 0.402

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

Nº DE REVISTAS EN EL ÁREA: 71

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

OTROS INDICIOS (si se sabe):







AUTORES Manuel Núñez, Ismael Rodríguez

Nº DE AUTORES 2

TÍTULO Towards Testing Stochastic Timed Systems

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

NOMBRE DE LA REVISTA Lecture Notes in Computer Science

VOLUMEN 2767

PÁGINAS DESDE 335

HASTA 350

EDITORIAL Springer

PAÍS DE PUBLICACIÓN Alemania

AÑO DE PUBLICACIÓN 2003

ISSN ISSN 0302-9743

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Theory and Methods

ÍNDICE DE IMPACTO: 0.402

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

Nº DE REVISTAS EN EL ÁREA: 71

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

OTROS INDICIOS (si se sabe):







AUTORES Natalia López, Manuel Núñez, Ismael Rodríguez

Nº DE AUTORES 3

TÍTULO Testing of Symbolic-Probabilistic Systems

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

NOMBRE DE LA REVISTA Lecture Notes in Computer Science

VOLUMEN 3395

PÁGINAS DESDE 33

HASTA 48

EDITORIAL Springer

PAÍS DE PUBLICACIÓN Alemania

AÑO DE PUBLICACIÓN 2004

ISSN ISSN 0302-9743

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Theory and Methods

ÍNDICE DE IMPACTO: 0.402

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

Nº DE REVISTAS EN EL ÁREA: 71

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

OTROS INDICIOS (si se sabe):







AUTORES Ismael Rodríguez, Manuel Núñez, Fernando Rubio

Nº DE AUTORES 3

TÍTULO Specification of Autonomous Agents in E-commerce Systems

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

NOMBRE DE LA REVISTA Lecture Notes in Computer Science

VOLUMEN 3236

PÁGINAS DESDE 30

HASTA 44

EDITORIAL Springer

PAÍS DE PUBLICACIÓN Alemania

AÑO DE PUBLICACIÓN 2004

ISSN ISSN 0302-9743

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Theory and Methods

ÍNDICE DE IMPACTO: 0.402

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

Nº DE REVISTAS EN EL ÁREA: 71

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

OTROS INDICIOS (si se sabe):







AUTORES Natalia López, Manuel Núñez, Ismael Rodríguez

Nº DE AUTORES 3

TÍTULO Formal Specification of Symbolic-Probabilistic Systems

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

NOMBRE DE LA REVISTA Lecture Notes in Computer Science

VOLUMEN 3236

PÁGINAS DESDE 114

HASTA 127

EDITORIAL Springer

PAÍS DE PUBLICACIÓN Alemania

AÑO DE PUBLICACIÓN 2004

ISSN ISSN 0302-9743

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Theory and Methods

ÍNDICE DE IMPACTO: 0.402

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

Nº DE REVISTAS EN EL ÁREA: 71

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

OTROS INDICIOS (si se sabe):







AUTORES Manuel Núñez, Ismael Rodríguez, Fernando Rubio

Nº DE AUTORES 3

TÍTULO Testing of Autonomous Agents Described as Utility State Machines

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

NOMBRE DE LA REVISTA Lecture Notes in Computer Science

VOLUMEN 3236

PÁGINAS DESDE 322

HASTA 335

EDITORIAL Springer

PAÍS DE PUBLICACIÓN Alemania

AÑO DE PUBLICACIÓN 2004

ISSN ISSN 0302-9743

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Theory and Methods

ÍNDICE DE IMPACTO: 0.402

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

Nº DE REVISTAS EN EL ÁREA: 71

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

OTROS INDICIOS (si se sabe):







AUTORES Ismael Rodríguez, Manuel Núñez, Fernando Rubio

Nº DE AUTORES 3

TÍTULO A formal framework for analyzing reusability complexity in component-based systems

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

NOMBRE DE LA REVISTA INFORMATION AND SOFTWARE TECHNOLOGY

VOLUMEN 46(12)

PÁGINAS DESDE 791

HASTA 804

EDITORIAL Elsevier Science

PAÍS DE PUBLICACIÓN Holanda

AÑO DE PUBLICACIÓN 2004

ISSN 0950-5849

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Software Engineering

ÍNDICE DE IMPACTO: 0.726

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

Nº DE REVISTAS EN EL ÁREA: 82

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

OTROS INDICIOS (si se sabe):







AUTORES Manuel Núñez, Ismael Rodríguez

Nº DE AUTORES 2

TÍTULO Conformance Testing Relations for Timed Systems

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

NOMBRE DE LA REVISTA Lecture Notes in Computer Science

VOLUMEN 3997

PÁGINAS DESDE 103

HASTA 117

EDITORIAL Springer

PAÍS DE PUBLICACIÓN Alemania

AÑO DE PUBLICACIÓN 2005

ISSN ISSN 0302-9743

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Theory and Methods

ÍNDICE DE IMPACTO: 0.402

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

Nº DE REVISTAS EN EL ÁREA: 71

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

OTROS INDICIOS (si se sabe):







AUTORES Manuel Núñez, Ismael Rodríguez, Fernando Rubio

Nº DE AUTORES 3

TÍTULO Formal specification of multi-agent e-barter systems

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

NOMBRE DE LA REVISTA Science of Computer Programming

VOLUMEN 57(2)

PÁGINAS DESDE 187

HASTA 216

EDITORIAL Elsevier Science

PAÍS DE PUBLICACIÓN Holanda

AÑO DE PUBLICACIÓN 2005

ISSN 0167-6423

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Software Engineering

ÍNDICE DE IMPACTO: 0.769

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

Nº DE REVISTAS EN EL ÁREA: 82

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

OTROS INDICIOS (si se sabe):







AUTORES Manuel Núñez, Ismael Rodríguez, Fernando Rubio

Nº DE AUTORES 3

TÍTULO Specification and testing of autonomous agents in e-commerce systems

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

NOMBRE DE LA REVISTA Software Testing, Verification & Reliability

VOLUMEN 15(4)

PÁGINAS DESDE 211

HASTA 233

EDITORIAL John Wiley & sons LTD

PAÍS DE PUBLICACIÓN Gran Bretaña

AÑO DE PUBLICACIÓN 2005

ISSN 0960-0833

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Software Engineering

ÍNDICE DE IMPACTO: 1.100

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

Nº DE REVISTAS EN EL ÁREA: 82

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

OTROS INDICIOS (si se sabe):







AUTORES Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez

Nº DE AUTORES 3

TÍTULO Customized Testing for Probabilistic Systems

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

NOMBRE DE LA REVISTA Lecture Notes in Computer Science

VOLUMEN 3964

PÁGINAS DESDE 87

HASTA 102

EDITORIAL Springer

PAÍS DE PUBLICACIÓN Alemania

AÑO DE PUBLICACIÓN 2006

ISSN ISSN 0302-9743

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Theory and Methods

ÍNDICE DE IMPACTO: 0.402

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

Nº DE REVISTAS EN EL ÁREA: 71

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

OTROS INDICIOS (si se sabe):







AUTORES Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez

Nº DE AUTORES 4

TÍTULO From Theoretical e-barter Models to an Implementation Based on Web Services

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

NOMBRE DE LA REVISTA Electronic Notes in Theoretical Computer Science

VOLUMEN 159

PÁGINAS DESDE

HASTA

EDITORIAL Elsevier

PAÍS DE PUBLICACIÓN Holanda

AÑO DE PUBLICACIÓN 2006

ISSN ISSN 1571-0661

INDICIOS DE CALIDAD AREA de JCR:

ÍNDICE DE IMPACTO:

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







AUTORES Natalia López, Ismael Rodríguez, Fernando Rubio

Nº DE AUTORES 3

TÍTULO Defining and testing metaadaptable agents

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

NOMBRE DE LA REVISTA IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C

VOLUMEN 36(2)

PÁGINAS DESDE 182

HASTA 195

EDITORIAL IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2006

ISSN 1094-6977

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Cybernetics

ÍNDICE DE IMPACTO: 0.885

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

Nº DE REVISTAS EN EL ÁREA: 18

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

OTROS INDICIOS (si se sabe):







AUTORES Natalia López, Manuel Núñez, Ismael Rodríguez

Nº DE AUTORES 3

TÍTULO Specification, testing and implementation relations for symbolic-probabilistic systems

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

NOMBRE DE LA REVISTA Theoretical Computer Science

VOLUMEN 353(1-3)

PÁGINAS DESDE 228

HASTA 248

EDITORIAL Elsevier Science

PAÍS DE PUBLICACIÓN Holanda

AÑO DE PUBLICACIÓN 2006

ISSN 0304-3975

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Theory & Methods

ÍNDICE DE IMPACTO: 0.843

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

Nº DE REVISTAS EN EL ÁREA: 75

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

OTROS INDICIOS (si se sabe):







AUTORES Ismael Rodríguez, Mercedes G. Merayo and Manuel Núñez

Nº DE AUTORES 3

TÍTULO HOTL: Hypotheses and Observations Testing Logic

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

NOMBRE DE LA REVISTA Journal of Logic and Algebraic Programming

VOLUMEN 74

PÁGINAS DESDE 57

HASTA 93

EDITORIAL Elsevier

PAÍS DE PUBLICACIÓN Holanda

AÑO DE PUBLICACIÓN 2008

ISSN 1567-8326

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Theory and Methods

ÍNDICE DE IMPACTO: 0.980

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

Nº DE REVISTAS EN EL ÁREA: 75

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

OTROS INDICIOS (si se sabe):







AUTORES Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez

Nº DE AUTORES 3

TÍTULO Formal testing from timed finite state machines

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

NOMBRE DE LA REVISTA Computer Networks

VOLUMEN 52 (2)

PÁGINAS DESDE 432

HASTA 460

EDITORIAL Elsevier

PAÍS DE PUBLICACIÓN Holanda

AÑO DE PUBLICACIÓN 2008

ISSN 1389-1286

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Information Systems

ÍNDICE DE IMPACTO: 0.631

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

Nº DE REVISTAS EN EL ÁREA: 87

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

OTROS INDICIOS (si se sabe):







AUTORES Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez

Nº DE AUTORES 3

TÍTULO Extending EFSMs to specify and test timed systems with action durations and timeouts

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

NOMBRE DE LA REVISTA IEEE Transactions on Computers

VOLUMEN En prensa (http://doi.ieeecomputersociety.org/10.1109/TC.2008.15)

PÁGINAS DESDE

HASTA

EDITORIAL IEEE

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2008

ISSN 0018-9340

INDICIOS DE CALIDAD AREA de JCR: Computer Science, Hardware and Architecture

ÍNDICE DE IMPACTO: 1.426

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

Nº DE REVISTAS EN EL ÁREA: 44

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

OTROS INDICIOS (si se sabe):







b) Libros




AUTORES

Nº DE AUTORES

TÍTULO

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

VOLUMEN

COLECCIÓN

PÁGINAS DESDE

HASTA

EDITORIAL

PAÍS DE PUBLICACIÓN

AÑO DE PUBLICACIÓN

ISBN

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 Manuel Núñez, Ismael Rodríguez

TÍTULO PAMR: A Process Algebra for the Management of Resources in Concurrent Systems

ENTIDAD ORGANIZADORA International Federation for Information Processing (IFIP)

CONGRESO: 21st IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE 2001

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

ISSN/ISBN ISBN 0-7923-7470-3

VOLUMEN

PÁGINAS DESDE

HASTA

LUGAR DE CELEBRACIÓN Corea del Sur

FECHA DE CELEBRACIÓN 2001

INDICIOS DE CALIDAD Nombre del ranking donde se incluye el congreso: CORE (COmputing Research and Education)

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): Premio IFIP al mejor artículo de la conferencia







AUTORES Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio

TÍTULO A Multi-Agent System for e-barter including Transaction and Shipping Costs

ENTIDAD ORGANIZADORA ACM

CONGRESO: 18th ACM Symposium on Applied Computing, SAC 2003

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

ISSN/ISBN ISBN 1-58113-624-2

VOLUMEN

PÁGINAS DESDE 587

HASTA 594

LUGAR DE CELEBRACIÓN Estados Unidos

FECHA DE CELEBRACIÓN 2003

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 Manuel Núñez, Ismael Rodríguez

TÍTULO Specification-based testing of real-time embedded systems

ENTIDAD ORGANIZADORA International Federation for Information Processing (IFIP)

CONGRESO: IFIP TC10: International Embedded Systems Symposium 2005

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

ISSN/ISBN ISBN 0-387-27557-6

VOLUMEN

PÁGINAS DESDE 115

HASTA 124

LUGAR DE CELEBRACIÓN Brasil

FECHA DE CELEBRACIÓN 2005

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