María Martos-Salgado Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2014
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Martos-Salgado, Fernando Rosa-Velardo: Safety and Soundness for Priced Resource-Constrained Workflow Nets. Fundam. Inform. 131(1): 55-80 (2014)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Martos-Salgado, Fernando Rosa-Velardo: Dynamic Networks of Timed Petri Nets. Petri Nets 2014: 294-313
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Martos-Salgado, Fernando Rosa-Velardo: Expressiveness of Dynamic Networks of Timed Petri Nets. LATA 2014: 516-527
2012
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Rosa-Velardo, María Martos-Salgado: Multiset rewriting for the verification of depth-bounded processes with name binding. Inf. Comput. 215: 68-87 (2012)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Martos-Salgado, Fernando Rosa-Velardo: Cost Soundness for Priced Resource-Constrained Workflow Nets. Petri Nets 2012: 108-127
2011
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Rosa-Velardo, María Martos-Salgado, David de Frutos-Escrig: Accelerations for the Coverability Set of Petri Nets with Names. Fundam. Inform. 113(3-4): 313-341 (2011)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Martos-Salgado, Fernando Rosa-Velardo: Dynamic Soundness in Resource-Constrained Workflow Nets. FMOODS/FORTE 2011: 259-273

Coauthor Index

1David de Frutos-Escrig[j1]
2Fernando Rosa-Velardo[j3] [c4] [c3] [j2] [c2] [j1] [c1]

 

Last update 2015-02-03 17:36 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page