Autor der Publikation

Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

, und (Hrsg.) Volume 6194 von Lecture Notes in Computer Science, Springer, (2010)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Counter Machines: Decision Problems and Applications., und . Jewels are Forever, Seite 84-96. Springer, (1999)jBPM4S: A Multi-tenant Extension of jBPM to Support BPaaS., , , , und . AP-BPM, Volume 219 von Lecture Notes in Business Information Processing, Seite 43-56. Springer, (2015)On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity., und . DBPL, Seite 396-410. Morgan Kaufmann, (1989)On Nondeterministic Workflow Executions., und . WS-FM, Volume 6551 von Lecture Notes in Computer Science, Seite 176-190. Springer, (2010)Reachability Analysis for Some Models of Infinite-State Transition Systems., , und . CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 183-198. Springer, (2000)2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award., , und . PODS, Seite 47. ACM, (2019)SPiDeR: P2P-Based Web Service Discovery., , , , , und . ICSOC, Volume 3826 von Lecture Notes in Computer Science, Seite 157-169. Springer, (2005)Specification and Verification of Artifact Behaviors in Business Process Models., und . ICSOC, Volume 4749 von Lecture Notes in Computer Science, Seite 181-192. Springer, (2007)Computing Degree of Parallelism for BPMN Processes., und . ICSOC, Volume 7084 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2011)On automated composition for web services., und . WWW, Seite 1261-1262. ACM, (2007)