Christian Stahl

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe et al. · The Computer Journal · 2008 · 106 citations

Business, Computer Science, Contract Theory +4

Analyzing interacting WS-BPEL processes using flexible model generation

Niels Lohmann, Peter Massuthe, Christian Stahl et al. · Data & Knowledge Engineering · 2007 · 101 citations

Engineering, Computer Engineering, Information Systems +14

Multiagent systems with workflows

José M. Vidal, Paul A. Buhler, Christian Stahl · IEEE Internet Computing · 2004 · 89 citations

Business, Information Systems, Information Technology +15

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

Natalia Sidorova, Christian Stahl, Nikola Trčka · Information Systems · 2011 · 73 citations

Computing, Computer Science, Formal Methods +14

Extending the compatibility notion for abstract WS-BPEL processes

Dieter König, Niels Lohmann, Simon Moser et al. · 2008 · 55 citations

Business, Computer Science, Information Systems +16