Olga Marroquín Alonso

Publication Activity (10 Years)

Years Active: 2000-2007
Publications (10 Years): 0

Publications

Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso
On the Expressiveness of Mobile Synchronizing Petri Nets. Electron. Notes Theor. Comput. Sci. 180 (1) (2007)
Fernando Rosa-Velardo, Olga Marroquín Alonso, David de Frutos-Escrig
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems. Electron. Notes Theor. Comput. Sci. 150 (1) (2006)
Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso
Replicated Ubiquitous Nets. ICCSA (4) (2006)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Olga Marroquín Alonso
Platyhelminthes Are [Re]constructed Recursively. International Conference on Computational Science (2) (2006)
David de Frutos-Escrig, Olga Marroquín Alonso, Fernando Rosa-Velardo
Ubiquitous Systems and Petri Nets. ICCSA (2) (2005)
David de Frutos-Escrig, Olga Marroquín Alonso
Ambient Petri nets. Electron. Notes Theor. Comput. Sci. 85 (1) (2003)
David de Frutos-Escrig, Olga Marroquín Alonso
Replicated Ambient Petri Nets. International Conference on Computational Science (2003)
Olga Marroquín Alonso, David de Frutos-Escrig
Extending the Petri Box Calculus with Time. ICATPN (2001)
David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso
Decidability of Properties of Timed-Arc Petri Nets. ICATPN (2000)