On the Notion of Deadlocks in Open Nets. - Richard Müller 001 (AWPN, 2010)

BPMN for Healthcare Processes. - Richard Müller 001; Andreas Rogge-Solti (ZEUS, 2011)

A Trace-Based Semantics for Responsiveness. - Walter Vogler; Christian Stahl; Richard Müller 001 (ACSD, 2012)

Conformance Checking of Services Using the Best Matching Private View. - Richard Müller 001; Wil M. P. van der Aalst; Christian Stahl (WS-FM, 2012)

A Survey on Approaches for Timed Services. - Kristian Duske; Richard Müller 001 (ZEUS, 2012)

Trace- and Failure-Based Semantics for Bounded Responsiveness. - Walter Vogler; Christian Stahl; Richard Müller 001 (ESOCC Workshops, 2013)

Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations. - Richard Müller 001; Christian Stahl; Wil M. P. van der Aalst; Michael Westergaard (ICSOC, 2013)

Trace- and failure-based semantics for responsiveness. - Walter Vogler; Christian Stahl; Richard Müller 001 (Acta Informatica, 2014)

Undecidability of accordance for open systems with unbounded message queues. - Richard Müller 001; Christian Stahl; Walter Vogler (Inf. Process. Lett., 2014)

Deciding conformance for bounded responsiveness. - Richard Müller 001; Christian Stahl; Walter Vogler (Sci. Comput. Program., 2017)