Niels Lohmann

	2009
23		Oliver Kopp, Niels Lohmann: 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. Proceedings CEUR-WS.org 2009
22		Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf: Instantaneous Soundness Checking of Industrial Business Process Models. BPM 2009: 278-293
21		Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf: Another Approach to Service Instance Migration. ICSOC/ServiceWave 2009: 607-621
20		Kathrin Kaschner, Niels Lohmann: Does my service have unspecified behavior? ZEUS 2009: 22-28
19		Niels Lohmann, Karsten Wolf: Realizability is controllability. ZEUS 2009: 61-67
18		Niels Lohmann, Eric Verbeek, Remco M. Dijkman: Petri Net Transformations for Business Processes - A Survey. T. Petri Nets and Other Models of Concurrency 2: 46-63 (2009)
	2008
17		Niels Lohmann, Karsten Wolf: 15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen und Werkzeuge für Petrinetze, AWPN 2008, Rostock, Germany, September 26-27, 2008. Proceedings CEUR-WS.org 2008
16		Niels Lohmann: Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. AWPN 2008: 63-68
15		Niels Lohmann: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. BPM 2008: 132-147
14		Gero Decker, Alistair P. Barros, Frank Michael Kraft, Niels Lohmann: Non-desynchronizable Service Choreographies. ICSOC 2008: 331-346
13		Kathrin Kaschner, Niels Lohmann: Automatic Test Case Generation for Interacting Services. ICSOC Workshops 2008: 66-78
12		Niels Lohmann, Jens Kleine: Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes. Modellierung 2008: 57-72
11		Niels Lohmann: Why Does My Service Have No Partners?. WS-FM 2008: 191-206
10		Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf: Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794
9		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
8		Niels Lohmann, Peter Massuthe, Karsten Wolf: Behavioral Constraints for Services. BPM 2007: 271-287
7		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
6		Niels Lohmann, Peter Massuthe, Karsten Wolf: Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341
5		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
4		Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig: Analyzing BPEL4Chor: Verification and Participant Synthesis. WS-FM 2007: 46-60
3		Niels Lohmann: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. WS-FM 2007: 77-91
	2006
2		Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32
1		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

Coauthor Index

1	Wil M. P. van der Aalst	[5]
2	Alistair P. Barros	[14]
3	Jan Bretschneider	[7]
4	Gero Decker	[14]
5	Remco M. Dijkman	[18]
6	Dirk Fahland	[1] [7] [22]
7	Cédric Favre	[22]
8	Barbara Jobstmann	[22]
9	Kathrin Kaschner	[1] [13] [20]
10	Jens Kleine	[12]
11	Jana Koehler (Jana Köhler)	[22]
12	Dieter König	[10]
13	Oliver Kopp	[4] [23]
14	Frank Michael Kraft	[14]
15	Frank Leymann	[4]
16	Nannette Liske	[21]
17	Peter Massuthe	[1] [2] [5] [6] [7] [8] [9]
18	Simon Moser	[10]
19	Wolfgang Reisig	[1] [4] [7]
20	Christian Stahl	[1] [2] [5] [7] [9] [10] [21]
21	H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek)	[18]
22	Hagen Völzer	[22]
23	Daniela Weinberg	[1] [2] [9]
24	Karsten Wolf (Karsten Schmidt)	[1] [5] [6] [8] [10] [17] [19] [21] [22]

Colors in the list of coauthors