|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos |
|
Doctorando |
Fernando Rosa Velardo |
|
Director(es) |
David de Frutos Escrig |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2007 |
|
Doctorado europeo (si/no) |
no |
|
|
|
|
Publicaciones de la tesis |
|
|
a) Revistas |
|
|
AUTORES |
David de Frutos Escrig, Olga Marroquín Alonso, Fernando Rosa Velardo |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Ubiquitous Systems and Petri nets |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science, Actas del 3rd International Conference on Computational Science and its Applications, ICCSA'05 |
|
VOLUMEN |
3841 |
|
PÁGINAS |
DESDE 1156 |
|
HASTA 1166 |
|
EDITORIAL |
Springer-Verlag |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2005 |
|
ISSN |
0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE,THEORY&METHODS |
|
ÍNDICE DE IMPACTO: 0,402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 62 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): 1 |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
Fernando Rosa Velardo, David de Frutos Escrig, Olga Marroquín Alonso |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Replicated Ubiquitous Nets |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science, Actas del 4th International Conference on Computational Science and its Applications, ICCSA'06 |
|
VOLUMEN |
3983 |
|
PÁGINAS |
DESDE 158 |
|
HASTA 168 |
|
EDITORIAL |
Springer-Verlag |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISSN |
0302-9743 |
|
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): JCR de 2005 0.402 (62/71) |
|
|
|
|
AUTORES |
Fernando Rosa Velardo, David de Frutos Escrig |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Symbolic semantics for the verification of security properties of mobile Petri nets |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science, Actas del 4th International Symposium on Automated Technology for verification and analysis, ATVA'06 |
|
VOLUMEN |
4218 |
|
PÁGINAS |
DESDE 461 |
|
HASTA 467 |
|
EDITORIAL |
Springer-Verlag |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISSN |
0302-9743 |
|
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): JCR de 2005 0.402 (62/71), CORE A (9/27 páginas) |
|
|
|
|
AUTORES |
Fernando Rosa Velardo, David de Frutos Escrig |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Name creation vs. Replication in Petri net systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science, Actas del 28th International Conference on Applications and Theory of Petri Nets, ICATPN'07 |
|
VOLUMEN |
4546 |
|
PÁGINAS |
DESDE 402 |
|
HASTA 422 |
|
EDITORIAL |
Springer-Verlag |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISSN |
0302-9743 |
|
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): JCR de 2005 0.402 (62/71), CITESEER 1.140 (215/1221), CORE B (18/27 páginas) |
|
|
|
|
AUTORES |
Fernando Rosa Velardo |
|
Nº DE AUTORES |
1 |
|
TÍTULO |
Petri nets for the verification of ubiquitous systems with transient secure association |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
4611 |
|
PÁGINAS |
DESDE 1148 |
|
HASTA 1158 |
|
EDITORIAL |
Springer-Verlag |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISSN |
0302-9743 |
|
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): JCR de 2005 0.402 (62/71) |
|
|
|
|
AUTORES |
Fernando Rosa Velardo, Clara Segura Díaz, David de Frutos Escrig |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Tagged systems: a framework for the specification of history dependent properties |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes in Theoretical Computer Science, Actas del 4th Spanish Conference on Programming and Computer Languages, PROLE'04 |
|
VOLUMEN |
137 |
|
PÁGINAS |
DESDE 151 |
|
HASTA 174 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
|
|
AÑO DE PUBLICACIÓN |
2005 |
|
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): CITESEER 0.380 (710/1221) |
|
|
|
|
AUTORES |
Fernando Rosa Velardo, Olga Marroquín Alonso, David de Frutos Escrig |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Mobile Synchronizing Petri nets: a choreographic approach for coordination in ubiquitous systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes in Theoretical Computer Science, Actas del 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord'05 |
|
VOLUMEN |
150 |
|
PÁGINAS |
DESDE 103 |
|
HASTA 126 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
|
|
AÑO DE PUBLICACIÓN |
2006 |
|
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): CITESEER 0.380 (710/1221) |
|
|
|
|
AUTORES |
Fernando Rosa Velardo, David de Frutos Escrig, Olga Marroquín Alonso |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
On the expressiveness of Mobile Synchronizing Petri nets |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes in Theoretical Computer Science, Actas del International Workshop on Security and Concurrency, SecCo'05 |
|
VOLUMEN |
180 |
|
PÁGINAS |
DESDE 77 |
|
HASTA 94 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
|
|
AÑO DE PUBLICACIÓN |
2007 |
|
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): 2 |
|
OTROS INDICIOS (si se sabe): CITESEER 0.380 (710/1221) |
|
|
|
|
AUTORES |
Fernando Rosa Velardo |
|
Nº DE AUTORES |
1 |
|
TÍTULO |
Coding Mobile Synchronizing Petri nets into Rewriting Logic |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes in Theoretical Computer Science, Actas del 7th International Workshop on Rule Based Programming, RULE'06 |
|
VOLUMEN |
174 |
|
PÁGINAS |
DESDE 83 |
|
HASTA 98 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
|
|
AÑO DE PUBLICACIÓN |
2007 |
|
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): 2 |
|
OTROS INDICIOS (si se sabe): CITESEER 0.380 (710/1221) |
|
|
|
|
AUTORES |
Fernando Rosa Velardo, David de Frutos Escrig |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Name Creation vs. Replication in Petri Net Systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Fundamenta Informaticae |
|
VOLUMEN |
88(3) |
|
PÁGINAS |
DESDE 329 |
|
HASTA 356 |
|
EDITORIAL |
IOS Press |
|
PAÍS DE PUBLICACIÓN |
Polonia |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISSN |
0169-2968 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Software Engineering |
|
ÍNDICE DE IMPACTO: 0.693 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 53 |
|
Nº DE REVISTAS EN EL ÁREA: 84 |
|
Nº DE CITAS (si se sabe, excl. autocitas): 2 |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
AUTORES |
Fernando Rosa Velardo, David de Frutos Escrig |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Decidability results for restricted models of Petri nets with name creation and replication |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science, Actas del 30th International Conference on Applications and Theory of Petri Nets, ICATPN'09 |
|
VOLUMEN |
Por aparecer |
|
PÁGINAS |
DESDE |
|
HASTA |
|
EDITORIAL |
Springer-Verlag |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2009 |
|
ISSN |
0302-9743 |
|
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): JCR de 2005 0.402 (62/71), CITESEER 1.140 (215/1221), CORE B (18/27 páginas) |
