| 2011 |
|---|
| 12 | Analysis on demand: Instantaneous soundness checking of industrial business process models. Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf. Data Knowl. Eng. (70): 448-466 (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 11 | Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. Wil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa, Jingxin Xu. BPM 2010, 95-111. Web SearchBibTeXDownload |
| 10 | Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf. Comput. J. (53): 90-106 (2010). Web SearchBibTeXDownload |
| 2009 |
|---|
| 9 | Instantaneous Soundness Checking of Industrial Business Process Models. Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf. BPM 2009, 278-293. Web SearchBibTeXDownload |
| 8 | Diagnosing and Repairing Data Anomalies in Process Models. Ahmed Awad, Gero Decker, Niels Lohmann. Business Process Management Workshops 2009, 5-16. Web SearchBibTeXDownload |
| 7 | Petri Net Transformations for Business Processes - A Survey. Niels Lohmann, Eric Verbeek, Remco M. Dijkman. T. Petri Nets and Other Models of Concurrency (2): 46-63 (2009). Web SearchBibTeXDownload |
| 2008 |
|---|
| 6 | Non-desynchronizable Service Choreographies. Gero Decker, Alistair P. Barros, Frank Michael Kraft, Niels Lohmann. ICSOC 2008, 331-346. Web SearchBibTeXDownload |
| 5 | Extending the compatibility notion for abstract WS-BPEL processes. Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf. WWW 2008, 785-794. Web SearchBibTeXDownload |
| 2007 |
|---|
| 4 | Services as a Paradigm of Computation. Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl. Formal Methods and Hybrid Real-Time Systems 2007, 521-538. Web SearchBibTeXDownload |
| 3 | From Public Views to Private Views - Correctness-by-Design for Services. Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf. WS-FM 2007, 139-153. Web SearchBibTeXDownload |
| 2 | Analyzing BPEL4Chor: Verification and Participant Synthesis. Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig. WS-FM 2007, 46-60. Web SearchBibTeXDownload |
| 2006 |
|---|
| 1 | Analysis Techniques for Service Models. Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner. ISoLA 2006, 11-17. Web SearchBibTeXDownload |
