Christian Stahl

Loading Google Thumbnails...
2010
7Multiparty 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
6Service Interaction: Patterns, Formalization, and Analysis. Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf. SFM 2009, 42-88. Web SearchBibTeXDownload
2008
5Extending 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
4Services 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
3From 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
2006
2Analysis 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
1A SOA-Based Architecture Framework. Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl. The Role of Business Processes in Service Oriented Architectures 2006. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research