Search the dblp DataBase
Fernando Rosa Velardo :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Fernando Rosa Velardo , David de Frutos-Escrig Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets. [Citation Graph (0, 0)][DBLP ] ATVA, 2006, pp:461-476 [Conf ] David de Frutos-Escrig , Olga Marroquín Alonso , Fernando Rosa Velardo Ubiquitous Systems and Petri Nets. [Citation Graph (0, 0)][DBLP ] ICCSA (2), 2005, pp:1156-1166 [Conf ] Fernando Rosa Velardo , David de Frutos-Escrig , Olga Marroquín Alonso Replicated Ubiquitous Nets. [Citation Graph (0, 0)][DBLP ] ICCSA (4), 2006, pp:158-168 [Conf ] Fernando Rosa Velardo , Olga Marroquín Alonso , David de Frutos-Escrig Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:150, n:1, pp:103-126 [Journal ] Fernando Rosa Velardo , Clara Segura , David de Frutos-Escrig Tagged Systems: A Framework for the Specification of History-dependent Properties. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:151-174 [Journal ] Fernando Rosa Velardo , Clara Segura , Alberto Verdejo Typed Mobile Ambients in Maude. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:135-161 [Journal ] Fernando Rosa Velardo Coding Mobile Synchronizing Petri Nets into Rewriting Logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:83-98 [Journal ] Fernando Rosa Velardo , David de Frutos-Escrig Name Creation vs. Replication in Petri Net Systems. [Citation Graph (0, 0)][DBLP ] ICATPN, 2007, pp:402-422 [Conf ] David de Frutos-Escrig , Fernando Rosa Velardo , Carlos Gregorio-Rodríguez New Bisimulation Semantics for Distributed Systems. [Citation Graph (0, 0)][DBLP ] FORTE, 2007, pp:143-159 [Conf ] Fernando Rosa Velardo Petri Nets for the Verification of Ubiquitous Systems with Transient Secure Association. [Citation Graph (0, 0)][DBLP ] UIC, 2007, pp:1148-1158 [Conf ] Fernando Rosa Velardo , David de Frutos-Escrig , Olga Marroquín Alonso On the Expressiveness of Mobile Synchronizing Petri Nets. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:77-94 [Journal ] Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. [Citation Graph (, )][DBLP ] Forward Analysis for Petri Nets with Name Creation. [Citation Graph (, )][DBLP ] Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. [Citation Graph (, )][DBLP ] Depth Boundedness in Multiset Rewriting Systems with Name Binding. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.006secs