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
Hilfe
Suche: Author="Voorhoeve, Marc"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Operational semantics for Petri net components
Jan Friso Groote
,
Marc Voorhoeve
Theoretical Computer Science
379
(1-2), 2007, pp. 1-19
Nested nets for adaptive systems
Kees M. van Hee
,
Irina A. Lomazova
,
Olivia Oanea
,
Alexander Serebrenik
,
Natalia Sidorova
,
Marc Voorhoeve
Lecture Notes in Computer Science
4024
, 2006, pp. 241-260
Soundness of resource-constrained workflow nets
Kees van Hee
,
Alexander Serebrenik
,
Natalia Sidorova
,
Marc Voorhoeve
Lecture Notes in Computer Science
3536
, 2005, pp. 250-267
Generalised soundness of workflow nets is decidable
Kees van Hee
,
Natalia Sidorova
,
Marc Voorhoeve
Lecture Notes in Computer Science
3099
, 2004, pp. 197-215
Soundness and separability of workflow nets in the stepwise refinement approach
Kees van Hee
,
Natalia Sidorova
,
Marc Voorhoeve
Lecture Notes in Computer Science
2679
, 2003, pp. 337-356
Impossible futures and determinism
Marc Voorhoeve
,
Sjouke Mauw
Information Processing Letters
80
(1), 2001, pp. 51-58
An algebraic semantics for hierarchical P/T nets
Twan Basten
,
Marc Voorhoeve
Lecture Notes in Computer Science
935
, 1995, pp. 45-65