Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model Support for Confidential Service-Oriented Business Processes., and . ZEUS, volume 847 of CEUR Workshop Proceedings, page 136-143. CEUR-WS.org, (2012)Wendy: A Tool to Synthesize Partners for Services., and . Petri Nets, volume 6128 of Lecture Notes in Computer Science, page 297-307. Springer, (2010)Diagnosing and Repairing Data Anomalies in Process Models., , and . Business Process Management Workshops, volume 43 of Lecture Notes in Business Information Processing, page 5-16. Springer, (2009)Extending the compatibility notion for abstract WS-BPEL processes., , , , and . WWW, page 785-794. ACM, (2008)Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes., and . Modellierung, volume P-127 of LNI, page 57-72. GI, (2008)Comparing and evaluating Petri net semantics for BPEL., , , and . IJBPIM, 4 (1): 60-73 (2009)Petrifying Operating Guidelines for Services., and . ACSD, page 80-88. IEEE Computer Society, (2009)Correctness of services and their composition.. University of Rostock, (2010)Raw Report on the Model Checking Contest at Petri Nets 2012, , , , , , , , , and 4 other author(s). CoRR, (2012)Another Approach to Service Instance Migration., , , and . ICSOC/ServiceWave, volume 5900 of Lecture Notes in Computer Science, page 607-621. (2009)