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

Comparing and evaluating Petri net semantics for BPEL., , , and . IJBPIM, 4 (1): 60-73 (2009)Verification., and . Modern Business Process Automation, Springer, (2010)Protos 7.0: Simulation Made Accessible., , , and . ICATPN, volume 3536 of Lecture Notes in Computer Science, page 465-474. Springer, (2005)Decomposing Replay Problems: A Case Study., and . PNSE+ModPE, volume 989 of CEUR Workshop Proceedings, page 219-235. CEUR-WS.org, (2013)Finding Suitable Activity Clusters for Decomposed Process Discovery., , and . SIMPDA, volume 1293 of CEUR Workshop Proceedings, page 16-30. CEUR-WS.org, (2014)ProM 6: The Process Mining Toolkit., , , and . BPM (Demos), volume 615 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)Formal semantics and analysis of control flow in WS-BPEL., , , , , and . Sci. Comput. Program., 67 (2-3): 162-198 (2007)Community Dynamics: Event and Role Analysis in Social Network Analysis., , , , and . ADMA, volume 8933 of Lecture Notes in Computer Science, page 85-97. Springer, (2014)WofBPEL: A Tool for Automated Analysis of BPEL Processes., , , , , and . ICSOC, volume 3826 of Lecture Notes in Computer Science, page 484-489. Springer, (2005)Petra: A Tool for Analysing a Process Family., , , and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 269-288. CEUR-WS.org, (2014)