Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Rosa-Velardo, Fernando"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Dynamic networks of timed Petri nets
María Martos-Salgado
,
Fernando Rosa-Velardo
Lecture Notes in Computer Science
8489
, 2014, pp. 294-313
Ordinal theory for expressiveness of well-structured transition systems
Rémi Bonnet
,
Alain Finkel
,
Serge Haddad
,
Fernando Rosa-Velardo
Information and Computation
224
, 2013, pp. 1-22
On the coverability and reachability languages of monotonic extensions of Petri nets
Giorgio Delzanno
,
Fernando Rosa-Velardo
Theoretical Computer Science
467
, 2013, pp. 12-29
Petri nets with name creation for transient secure association
Fernando Rosa-Velardo
Acta Informatica
50
(7-8), 2013, pp. 403-436
Cost soundness for priced resource-constrained workflow nets
María Martos-Salgado
,
Fernando Rosa-Velardo
Lecture Notes in Computer Science
7347
, 2012, pp. 108-127
Multiset rewriting for the verification of depth-bounded processes with name binding
Fernando Rosa-Velardo
,
María Martos-Salgado
Information and Computation
215
, 2012, pp. 68-87
Decidability and complexity of Petri nets with unordered data
Fernando Rosa-Velardo
,
David de Frutos-Escrig
Theoretical Computer Science
412
(34), 2011, pp. 4439-4451
Forward analysis for Petri nets with name creation
Fernando Rosa-Velardo
,
David de Frutos-Escrig
Lecture Notes in Computer Science
6128
, 2010, pp. 185-205
Decidability results for restricted models of Petri nets with name creation and replication
Fernando Rosa-Velardo
,
David de Frutos-Escrig
Lecture Notes in Computer Science
5606
, 2009, pp. 63-82
Name creation vs. replication in Petri net systems
Fernando Rosa-Velardo
,
David de Frutos-Escrig
Lecture Notes in Computer Science
4546
, 2007, pp. 402-422