( en | de | ru )

 

Disambiguierung von "Voorhoeve, Marc"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Price of Coordination in Resource Management.

, , , , und . Business Process Management, 3649, Seite 96-108. (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Adolf Voorhoeve

Jutta Voorhoeve

Stefanie Marczoch

Langzeitverlauf von 200 Patienten mit kraniofazialen und zervikalen Dystonien bis zu 12 Jahre nach der ersten Botulinumtoxin-Behandlung. TU München, (2009)

Valerian Marcinkowski

Moritz Daniel Marcinowski

 

Weitere Publikationen von Autoren mit dem selben Namen

Compositional Modeling and Verification of Workflow Processes.. Business Process Management, Volume 1806 von Lecture Notes in Computer Science, Seite 184-200. Springer, (2000)Operational semantics for Petri net components., und . Theor. Comput. Sci., 379 (1-2): 1-19 (2007)Executable Specifications for Distributed Information Systems., , und . ISCO, Seite 157-176. North-Holland, (1989)Soundness of workflow nets: classification, decidability, and analysis., , , , , , und . Formal Aspects Comput., 23 (3): 333-363 (2011)A Formal Framework for Dynamic modelling of Information Systems., , und . DMIS, Seite 227-236. Elsevier/North Holland, (1990)Verifying Generalized Soundness of Workflow Nets., , , und . Ershov Memorial Conference, Volume 4378 von Lecture Notes in Computer Science, Seite 235-247. Springer, (2006)History-Based Joins: Semantics, Soundness and Implementation., , , , und . Business Process Management, Volume 4102 von Lecture Notes in Computer Science, Seite 225-240. Springer, (2006)Formal Modeling and Scheduling of Datapaths of Digital Document Printers., , , , , , , , und . FORMATS, Volume 5215 von Lecture Notes in Computer Science, Seite 170-187. Springer, (2008)Z and High Level Petri Nets., , und . VDM Europe (1), Volume 551 von Lecture Notes in Computer Science, Seite 204-219. Springer, (1991)Modelling History-Dependent Business Processes., , , , und . MSVVEIS, Seite 76-85. INSTICC Press, (2006)