Christian Stahl

	2009
20		Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf: Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88
19		Jarungjit Parnjai, Christian Stahl, Karsten Wolf: A finite representation of all substitutable services and its applications. ZEUS 2009: 29-34
18		Christian Stahl, Karsten Wolf: Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. 68(9): 819-833 (2009)
17		Christian Stahl, Peter Massuthe, Jan Bretschneider: Deciding Substitutability of Services with Operating Guidelines. T. Petri Nets and Other Models of Concurrency 2: 172-191 (2009)
16		Kees 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)
	2008
15		Christian Stahl, Karsten Wolf: An Approach to Tackle Livelock-Freedom in SOA. AWPN 2008: 69-74
14		Christian Stahl, Karsten Wolf: Covering Places and Transitions in Open Nets. BPM 2008: 116-131
13		Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf: Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794
12		Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64(1): 38-54 (2008)
	2007
11		Wolfgang 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
10		Wil 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
	2006
9		Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32
8		Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner: Analysis Techniques for Service Models. ISoLA 2006: 11-17
7		Wil 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
	2005
6		Christian Stahl, Wolfgang Reisig, Milos Krstic: Hazard Detection in a GALS Wrapper: A Case Study. ACSD 2005: 234-243
5		Milos Krstic, Eckhard Grass, Christian Stahl: Request-Driven GALS Technique for Wireless Communication System. ASYNC 2005: 76-85
4		Sebastian Hinz, Karsten Schmidt, Christian Stahl: Transforming BPEL to Petri Nets. Business Process Management 2005: 220-235
3		Eckhard Grass, Frank Winkler, Milos Krstic, Alexandra Julius, Christian Stahl, Maxim Piz: Enhanced GALS Techniques for Datapath Applications. PATMOS 2005: 581-590
2		Wolfgang Reisig, Karsten Schmidt, Christian Stahl: Kommunizierende Workflow-Services modellieren und analysieren. Inform., Forsch. Entwickl. 20(1-2): 90-101 (2005)
	2004
1		José M. Vidal, Paul A. Buhler, Christian Stahl: Multiagent Systems with Workflows. IEEE Internet Computing 8(1): 76-82 (2004)

Coauthor Index

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

Colors in the list of coauthors