 | 2007 |
|---|
| 9 |       | 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 |
|---|
| 8 | | Fernando Rosa Velardo,
David de Frutos-Escrig,
Olga Marroquín Alonso:
Replicated Ubiquitous Nets.
ICCSA (4) 2006: 158-168 |
| 7 | | Alberto de la Encina,
Mercedes Hidalgo-Herrero,
Olga Marroquín Alonso:
Platyhelminthes Are [Re]constructed Recursively.
International Conference on Computational Science (2) 2006: 207-214 |
| 6 | | 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 |
|---|
| 5 | | David de Frutos-Escrig,
Olga Marroquín Alonso,
Fernando Rosa Velardo:
Ubiquitous Systems and Petri Nets.
ICCSA (2) 2005: 1156-1166 |
| 2003 |
|---|
| 4 | | David de Frutos-Escrig,
Olga Marroquín Alonso:
Replicated Ambient Petri Nets.
International Conference on Computational Science 2003: 774-783 |
| 3 | | David de Frutos-Escrig,
Olga Marroquín Alonso:
Ambient Petri nets.
Electr. Notes Theor. Comput. Sci. 85(1): (2003) |
| 2001 |
|---|
| 2 | | Olga Marroquín Alonso,
David de Frutos-Escrig:
Extending the Petri Box Calculus with Time.
ICATPN 2001: 303-322 |
| 2000 |
|---|
| 1 | | David de Frutos-Escrig,
Valentín Valero Ruiz,
Olga Marroquín Alonso:
Decidability of Properties of Timed-Arc Petri Nets.
ICATPN 2000: 187-206 |
