Christian Stahl

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

16EEChristian Stahl, Peter Massuthe, Jan Bretschneider: Deciding Substitutability of Services with Operating Guidelines. T. Petri Nets and Other Models of Concurrency 2: 172-191 (2009)
15EEKees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova: A Framework for Linking and Pricing No-Cure-No-Pay Services. T. Petri Nets and Other Models of Concurrency 2: 192-207 (2009)
14EEChristian Stahl, Karsten Wolf: An Approach to Tackle Livelock-Freedom in SOA. AWPN 2008: 69-74
13EEChristian Stahl, Karsten Wolf: Covering Places and Transitions in Open Nets. BPM 2008: 116-131
12EEDieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf: Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794
11EENiels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64(1): 38-54 (2008)
10EEWolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl: Services as a Paradigm of Computation. Formal Methods and Hybrid Real-Time Systems 2007: 521-538
9EEWil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf: From Public Views to Private Views - Correctness-by-Design for Services. WS-FM 2007: 139-153
8EENiels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32
7EEWil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl: A SOA-Based Architecture Framework. The Role of Business Processes in Service Oriented Architectures 2006
6EEChristian Stahl, Wolfgang Reisig, Milos Krstic: Hazard Detection in a GALS Wrapper: A Case Study. ACSD 2005: 234-243
5EEMilos Krstic, Eckhard Grass, Christian Stahl: Request-Driven GALS Technique for Wireless Communication System. ASYNC 2005: 76-85
4EESebastian Hinz, Karsten Schmidt, Christian Stahl: Transforming BPEL to Petri Nets. Business Process Management 2005: 220-235
3EEEckhard Grass, Frank Winkler, Milos Krstic, Alexandra Julius, Christian Stahl, Maxim Piz: Enhanced GALS Techniques for Datapath Applications. PATMOS 2005: 581-590
2EEWolfgang Reisig, Karsten Schmidt, Christian Stahl: Kommunizierende Workflow-Services modellieren und analysieren. Inform., Forsch. Entwickl. 20(1-2): 90-101 (2005)
1EEJosé M. Vidal, Paul A. Buhler, Christian Stahl: Multiagent Systems with Workflows. IEEE Internet Computing 8(1): 76-82 (2004)

Coauthor Index

1Wil M. P. van der Aalst [7] [9]
2Michael Beisiegel [7]
3Jan Bretschneider [10] [16]
4Paul A. Buhler [1]
5Dirk Fahland [10]
6Eckhard Grass [3] [5]
7Kees M. van Hee [7] [15]
8Sebastian Hinz [4]
9Alexandra Julius [3]
10Dieter König [7] [12]
11Milos Krstic [3] [5] [6]
12Niels Lohmann [8] [9] [10] [11] [12]
13Peter Massuthe [8] [9] [10] [11] [16]
14Simon Moser [12]
15Maxim Piz [3]
16Wolfgang Reisig [2] [6] [10]
17Natalia Sidorova [15]
18H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek) [15]
19José M. Vidal [1]
20Daniela Weinberg [8] [11]
21Frank Winkler [3]
22Karsten Wolf (Karsten Schmidt) [2] [4] [9] [12] [13] [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)