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="Sidorova, Natalia"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The right timing: Reflections on the modeling and analysis of time
Kees van Hee
,
Natalia Sidorova
Lecture Notes in Computer Science
7927
, 2013, pp. 1-20
Refinement of synchronizable places with multi-workflow nets: Weak termination preserved!
Kees M. van Hee
,
Natalia Sidorova
,
Jan Martijn van der Werf
Lecture Notes in Computer Science
6709
, 2011, pp. 149-168
Compositional service trees
Wil M.P. van der Aalst
,
Kees M. van Hee
,
Peter Massuthe
,
Natalia Sidorova
,
Jan Martijn van der Werf
Lecture Notes in Computer Science
5606
, 2009, pp. 283-302
Can I find a partner? Undecidability of partner existence for open nets
Peter Massuthe
,
Alexander Serebrenik
,
Natalia Sidorova
,
Karsten Wolf
Information Processing Letters
108
(6), 2008, pp. 374-378
History-dependent Petri nets
Kees van Hee
,
Alexander Serebrenik
,
Natalia Sidorova
,
Wil van der Aalst
Lecture Notes in Computer Science
4546
, 2007, pp. 164-183
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
Bisimulation and the reduction of Petri nets
Philippe Schnoebelen
,
Natalia Sidorova
Lecture Notes in Computer Science
1825
, 2000, pp. 409-423