Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. - Simon Moser; Axel Martens; Katharina Görlach; Wolfram Amme; Artur Godlinski (IEEE SCC, 2007)

Towards Reference Passing in Web Service and Workflow-Based Applications. - Matthias Wieland 001; Katharina Görlach; David Schumm; Frank Leymann (EDOC, 2009)

Extending choreography spheres to improve simulations. - Oliver Kopp; Katharina Görlach; Frank Leymann (iiWAS, 2010)

Process space-based scientific workflow enactment. - Mirko Sonntag; Katharina Görlach; Dimka Karastoyanova; Frank Leymann; Michael Reiter (Int. J. Bus. Process. Integr. Manag., 2010)

Views on Scientific Workflows. - Mirko Sonntag; Katharina Görlach; Dimka Karastoyanova; Frank Leymann; Polina Malets; David Schumm (BIR, 2011)

Conventional Workflow Technology for Scientific Simulation. - Katharina Görlach; Mirko Sonntag; Dimka Karastoyanova; Frank Leymann; Michael Reiter (Guide to e-Science, 2011)

Dynamic Service Provisioning for the Cloud. - Katharina Görlach; Frank Leymann (IEEE SCC, 2012)

Unified Execution of Service Compositions (Short Paper). - Katharina Görlach; Frank Leymann; Volker Claus (SOCA, 2013)

Deployment Aggregates - A Generic Deployment Automation Approach for Applications Operated in the Cloud. - Johannes Wettinger; Katharina Görlach; Frank Leymann (EDOC Workshops, 2014)

A Flexible Engine for the Unified Execution of Service Compositions. - Katharina Görlach; Frank Leymann (SOSE, 2015)

Application of Sub-Graph Isomorphism to Extract Reoccurring Structures from BPMN 2.0 Process Models. - Marigianna Skouradaki; Katharina Görlach; Michael Hahn 002; Frank Leymann (SOSE, 2015)