Using the pi-Calculus for Formalizing Workflow Patterns. - Frank Puhlmann; Mathias Weske (Business Process Management, 2005)

Workflow and Service Composition Languages. - Mathias Weske; Gottfried Vossen; Frank Puhlmann (Handbook on Architectures of Information Systems, 2006)

Why Do We Actually Need the Pi-Calculus for Business Process Management? - Frank Puhlmann (BIS, 2006)

Variability Mechanisms in E-Business Process Families. - Arnd Schnieders; Frank Puhlmann (BIS, 2006)

Formalizing Service Interactions. - Gero Decker; Frank Puhlmann; Mathias Weske (Business Process Management, 2006)

A Tool Chain for Lazy Soundness. - Frank Puhlmann (BPM Demos, 2006)

Investigations on Soundness Regarding Lazy Activities. - Frank Puhlmann; Mathias Weske (Business Process Management, 2006)

A Unified Formal Foundation for Service Oriented Architectures. - Frank Puhlmann (EMISA, 2006)

Interaction Soundness for Service Orchestrations. - Frank Puhlmann; Mathias Weske (ICSOC, 2006)

The PiVizTool: Simulating Choreographies with Dynamic Binding. - Anja Bog; Frank Puhlmann; Mathias Weske (BPM (Demos), 2007)

Extending BPMN for Modeling Complex Choreographies. - Gero Decker; Frank Puhlmann (OTM Conferences (1), 2007)

Soundness Verification of Business Processes Specified in the Pi-Calculus. - Frank Puhlmann (OTM Conferences (1), 2007)

Structural Detection of Deadlocks in Business Process Models. - Ahmed Awad 001; Frank Puhlmann (BIS, 2008)

A Look Around the Corner: The Pi-Calculus. - Frank Puhlmann; Mathias Weske (Trans. Petri Nets Other Model. Concurr., 2009)

Process Model Generation from Natural Language Text. - Fabian Friedrich; Jan Mendling; Frank Puhlmann (CAiSE, 2011)

An Agile BPM Project Methodology. - Christian Thiemich; Frank Puhlmann (BPM, 2013)

Implementation Framework for Production Case Management: Modeling and Execution. - Andreas Meyer 001; Nico Herzberg; Frank Puhlmann; Mathias Weske (EDOC, 2014)