Christian Stahl
Loading Google Thumbnails...
| 2010 |
| 7 | 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 |
| 6 | Service 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 |
| 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 |
| 2006 |
| 2 | 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 |
| 1 | A 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