Christian Stahl

2009
16	EE	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)
15	EE	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
14	EE	Christian Stahl, Karsten Wolf: An Approach to Tackle Livelock-Freedom in SOA. AWPN 2008: 69-74
13	EE	Christian Stahl, Karsten Wolf: Covering Places and Transitions in Open Nets. BPM 2008: 116-131
12	EE	Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf: Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794
11	EE	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
10	EE	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
9	EE	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
8	EE	Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32
7	EE	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	EE	Christian Stahl, Wolfgang Reisig, Milos Krstic: Hazard Detection in a GALS Wrapper: A Case Study. ACSD 2005: 234-243
5	EE	Milos Krstic, Eckhard Grass, Christian Stahl: Request-Driven GALS Technique for Wireless Communication System. ASYNC 2005: 76-85
4	EE	Sebastian Hinz, Karsten Schmidt, Christian Stahl: Transforming BPEL to Petri Nets. Business Process Management 2005: 220-235
3	EE	Eckhard Grass, Frank Winkler, Milos Krstic, Alexandra Julius, Christian Stahl, Maxim Piz: Enhanced GALS Techniques for Datapath Applications. PATMOS 2005: 581-590
2	EE	Wolfgang Reisig, Karsten Schmidt, Christian Stahl: Kommunizierende Workflow-Services modellieren und analysieren. Inform., Forsch. Entwickl. 20(1-2): 90-101 (2005)
2004
1	EE	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] [9]
2	Michael Beisiegel	[7]
3	Jan Bretschneider	[10] [16]
4	Paul A. Buhler	[1]
5	Dirk Fahland	[10]
6	Eckhard Grass	[3] [5]
7	Kees M. van Hee	[7] [15]
8	Sebastian Hinz	[4]
9	Alexandra Julius	[3]
10	Dieter König	[7] [12]
11	Milos Krstic	[3] [5] [6]
12	Niels Lohmann	[8] [9] [10] [11] [12]
13	Peter Massuthe	[8] [9] [10] [11] [16]
14	Simon Moser	[12]
15	Maxim Piz	[3]
16	Wolfgang Reisig	[2] [6] [10]
17	Natalia Sidorova	[15]
18	H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek)	[15]
19	José M. Vidal	[1]
20	Daniela Weinberg	[8] [11]
21	Frank Winkler	[3]
22	Karsten Wolf (Karsten Schmidt)	[2] [4] [9] [12] [13] [14]

Colors in the list of coauthors