The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fernando Rosa Velardo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]

  12. Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. [Citation Graph (, )][DBLP]


  13. Forward Analysis for Petri Nets with Name Creation. [Citation Graph (, )][DBLP]


  14. Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. [Citation Graph (, )][DBLP]


  15. Depth Boundedness in Multiset Rewriting Systems with Name Binding. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002