| 2008 |
|---|
| 12 | EE | Fernando Rosa Velardo,
David de Frutos-Escrig:
Name Creation vs. Replication in Petri Net Systems.
Fundam. Inform. 88(3): 329-356 (2008) |
| 2007 |
|---|
| 11 | EE | David de Frutos-Escrig,
Fernando Rosa Velardo,
Carlos Gregorio-Rodríguez:
New Bisimulation Semantics for Distributed Systems.
FORTE 2007: 143-159 |
| 10 | EE | Fernando Rosa Velardo,
David de Frutos-Escrig:
Name Creation vs. Replication in Petri Net Systems.
ICATPN 2007: 402-422 |
| 9 | EE | Fernando Rosa Velardo:
Petri Nets for the Verification of Ubiquitous Systems with Transient Secure Association.
UIC 2007: 1148-1158 |
| 8 | EE | Fernando Rosa Velardo:
Coding Mobile Synchronizing Petri Nets into Rewriting Logic.
Electr. Notes Theor. Comput. Sci. 174(1): 83-98 (2007) |
| 7 | EE | Fernando Rosa Velardo,
David de Frutos-Escrig,
Olga Marroquín Alonso:
On the Expressiveness of Mobile Synchronizing Petri Nets.
Electr. Notes Theor. Comput. Sci. 180(1): 77-94 (2007) |
| 2006 |
|---|
| 6 | EE | Fernando Rosa Velardo,
David de Frutos-Escrig:
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets.
ATVA 2006: 461-476 |
| 5 | EE | Fernando Rosa Velardo,
David de Frutos-Escrig,
Olga Marroquín Alonso:
Replicated Ubiquitous Nets.
ICCSA (4) 2006: 158-168 |
| 4 | EE | Fernando Rosa Velardo,
Clara Segura,
Alberto Verdejo:
Typed Mobile Ambients in Maude.
Electr. Notes Theor. Comput. Sci. 147(1): 135-161 (2006) |
| 3 | EE | Fernando Rosa Velardo,
Olga Marroquín Alonso,
David de Frutos-Escrig:
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems.
Electr. Notes Theor. Comput. Sci. 150(1): 103-126 (2006) |
| 2005 |
|---|
| 2 | EE | David de Frutos-Escrig,
Olga Marroquín Alonso,
Fernando Rosa Velardo:
Ubiquitous Systems and Petri Nets.
ICCSA (2) 2005: 1156-1166 |
| 1 | EE | Fernando Rosa Velardo,
Clara Segura,
David de Frutos-Escrig:
Tagged Systems: A Framework for the Specification of History-dependent Properties.
Electr. Notes Theor. Comput. Sci. 137(1): 151-174 (2005) |
