Complutense University Library

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 13.

Rosa Velardo, Fernando and Martos Salgado, María Rosa and Frutos Escrig, David de (2011) Accelerations for the coverability set of Petri nets with names. Fundamenta informaticae, 113 (3-4). pp. 313-341. ISSN 0169-2968

Rosa Velardo, Fernando and Frutos Escrig, David de (2011) Decidability and complexity of Petri nets with unordered data. Theoretical Computer Science, 412 (34). pp. 4439-4451. ISSN 0304-3975

Rosa Velardo, Fernando and Frutos Escrig, David de (2010) Decidability problems in Petri nets with names and replication. Fundamenta informaticae, 105 (3). pp. 291-317. ISSN 0169-2968

Rosa Velardo, Fernando and Frutos Escrig, David de (2009) Decidability results for restricted models of petri nets with name creation and replication. In Applications and Theory of Petri Nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Lecture notes in computer science (5606). Springer, pp. 63-82. ISBN 978-3-642-02423-8

Rosa Velardo, Fernando and Frutos Escrig, David de (2010) Decision problems for petri nets with names. Other. Arxiv.org.

Rosa Velardo, Fernando and Frutos Escrig, David de (2010) Forward analysis for petri nets with name creation. In Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Lecture notes in computer science (6128). Springer, pp. 185-205. ISBN 978-3-642-13674-0

Rosa Velardo, Fernando and Frutos Escrig, David de (2008) Name creation vs. replication in Petri net systems. Fundamenta informaticae, 88 (3). pp. 329-356. ISSN 0169-2968

Rosa Velardo, Fernando and Frutos Escrig, David de (2007) Name creation vs. replication in Petri net systems. In Petri Nets and Other Models of Concurrency – ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings. Lecture notes in computer science (4546). Springer, pp. 402-422. ISBN 978-3-540-73093-4

Frutos Escrig, David de and Rosa Velardo, Fernando and Gregorio Rodríguez, Carlos (2007) New Bisimulation Semantics for Distributed Systems. In Formal Techniques for Networked and Distributed Systems – FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings. Lecture notes in computer science (4574). Springer, pp. 143-159. ISBN 978-3-540-73195-5

Rosa Velardo, Fernando and Frutos Escrig, David de and Marroquín Alonso, Olga (2007) On the Expressiveness of Mobile Synchronizing Petri Nets. Electronic Notes in Theoretical Computer Science, 180 (1). pp. 77-94. ISSN 15710661

Rosa Velardo, Fernando (2007) Petri nets for the verification of Ubiquitous Systems with Transient Secure Association. [ Technical Report ; 2/07, ] (Unpublished)

Frutos Escrig, David de and Marroquín Alonso, Olga and Rosa Velardo, Fernando (2005) Ubiquitous systems and Petri nets. In Computational Science and Its Applications – ICCSA 2005 : International Conference, Singapore, May 9-12, 2005, Proceedings. Lecture notes in computer science, Part I (3481). Springer, pp. 1156-1166. ISBN 978-3-540-25861-2

Cleva Millor, José Miguel and Gregorio Rodríguez, Carlos and Rosa Velardo, Fernando (2005) Un campus virtual alternativo. In II Jornada Campus Virtual UCM: cómo integrar investigación y docencia en el CV-UCM. Editorial Complutense, Madrid, pp. 222-232. ISBN 84-7491-787-5

This list was generated on Tue Sep 2 03:05:34 2014 CEST.