Autor der Publikation

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

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service., , , , , und . FMOODS, Volume 4037 von Lecture Notes in Computer Science, Seite 251-266. Springer, (2006)Model Checking Dynamic UML Consistency., , und . ICFEM, Volume 4260 von Lecture Notes in Computer Science, Seite 440-459. Springer, (2006)Type Checking Choreography Description Language., , , , und . ICFEM, Volume 4260 von Lecture Notes in Computer Science, Seite 264-283. Springer, (2006)Efficient Identification of TOP-K Heavy Hitters over Sliding Windows., , , , , und . MONET, 24 (5): 1732-1741 (2019)A Formal Model of Human Workflow., , , und . ICWS, Seite 195-202. IEEE Computer Society, (2008)Patterns with Algebraic Properties in BPEL0., , , , , und . ISoLA, Seite 363-370. IEEE, (2006)Towards a Theory of Web Service Choreographies., , , und . WS-FM, Volume 4937 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2007)Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation., , , und . FORTE, Volume 4574 von Lecture Notes in Computer Science, Seite 81-96. Springer, (2007)Enforcing Constraints on Life Cycles of Business Artifacts., , , und . TASE, Seite 111-118. IEEE Computer Society, (2009)Reasoning about Channel Passing in Choreography., , , , und . TASE, Seite 135-142. IEEE Computer Society, (2008)