| 2013 | BPM | Declarative Modeling-An Academic Dream or the Future for BPM? | Hajo A. Reijers, Tijs Slaats, Christian Stahl |
| 2013 | BPM | Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions. | Michael Westergaard, Christian Stahl |
| 2013 | ICSOC | Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations. | Richard Mller, Christian Stahl, Wil M. P. van der Aalst, Michael Westergaard |
| 2011 | FOSSACS | A Trace-Based View on Operating Guidelines. | Christian Stahl, Walter Vogler |
| 2010 | CaiSE | Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. | Natalia Sidorova, Christian Stahl, Nikola Trcka |
| 2009 | ICSOC | Another Approach to Service Instance Migration. | Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf |
| 2008 | BPM | Covering Places and Transitions in Open Nets. | Christian Stahl, Karsten Wolf |
| 2008 | WWW | Extending the compatibility notion for abstract WS-BPEL processes. | Dieter Knig, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf |
| 2006 | BPM | Analyzing Interacting BPEL Processes. | Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg |
| 2006 | ISoLA | Analysis Techniques for Service Models. | Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner |
| 2005 | BPM | Transforming BPEL to Petri Nets. | Sebastian Hinz, Karsten Schmidt, Christian Stahl |