Niels Lohmann Vis

*	2009
22		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
21	EE	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
20	EE	Kathrin Kaschner, Niels Lohmann: Does my service have unspecified behavior? ZEUS 2009: 22-28
19	EE	Niels Lohmann, Karsten Wolf: Realizability is controllability. ZEUS 2009: 61-67
18	EE	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	EE	Niels Lohmann: Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. AWPN 2008: 63-68
15	EE	Niels Lohmann: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. BPM 2008: 132-147
14	EE	Gero Decker, Alistair P. Barros, Frank Michael Kraft, Niels Lohmann: Non-desynchronizable Service Choreographies. ICSOC 2008: 331-346
13	EE	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	EE	Niels Lohmann: Why Does My Service Have No Partners?. WS-FM 2008: 191-206
10	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
9	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
8	EE	Niels Lohmann, Peter Massuthe, Karsten Wolf: Behavioral Constraints for Services. BPM 2007: 271-287
7	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
6	EE	Niels Lohmann, Peter Massuthe, Karsten Wolf: Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341
5	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
4	EE	Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig: Analyzing BPEL4Chor: Verification and Participant Synthesis. WS-FM 2007: 46-60
3	EE	Niels Lohmann: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. WS-FM 2007: 77-91
	2006
2	EE	Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32
1	EE	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] [21]
7	Cédric Favre	[21]
8	Barbara Jobstmann	[21]
9	Kathrin Kaschner	[1] [13] [20]
10	Jens Kleine	[12]
11	Jana Koehler (Jana Köhler)	[21]
12	Dieter König	[10]
13	Oliver Kopp	[4] [22]
14	Frank Michael Kraft	[14]
15	Frank Leymann	[4]
16	Peter Massuthe	[1] [2] [5] [6] [7] [8] [9]
17	Simon Moser	[10]
18	Wolfgang Reisig	[1] [4] [7]
19	Christian Stahl	[1] [2] [5] [7] [9] [10]
20	H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek)	[18]
21	Hagen Völzer	[21]
22	Daniela Weinberg	[1] [2] [9]
23	Karsten Wolf (Karsten Schmidt)	[1] [5] [6] [8] [10] [17] [19] [21]

Colors in the list of coauthors