Niels Lohmann

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

16EENiels 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)
15 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
14EENiels Lohmann: Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. AWPN 2008: 63-68
13EENiels Lohmann: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. BPM 2008: 132-147
12EEGero Decker, Alistair P. Barros, Frank Michael Kraft, Niels Lohmann: Non-desynchronizable Service Choreographies. ICSOC 2008: 331-346
11EEKathrin Kaschner, Niels Lohmann: Automatic Test Case Generation for Interacting Services. ICSOC Workshops 2008: 66-78
10 Niels Lohmann, Jens Kleine: Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes. Modellierung 2008: 57-72
9EEDieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf: Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794
8EENiels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64(1): 38-54 (2008)
7EENiels Lohmann, Peter Massuthe, Karsten Wolf: Behavioral Constraints for Services. BPM 2007: 271-287
6EEWolfgang 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
5EENiels Lohmann, Peter Massuthe, Karsten Wolf: Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341
4EEWil 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
3EENiels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig: Analyzing BPEL4Chor: Verification and Participant Synthesis. WS-FM 2007: 46-60
2EENiels Lohmann: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. WS-FM 2007: 77-91
1EENiels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32

Coauthor Index

1Wil M. P. van der Aalst [4]
2Alistair P. Barros [12]
3Jan Bretschneider [6]
4Gero Decker [12]
5Remco M. Dijkman [16]
6Dirk Fahland [6]
7Kathrin Kaschner [11]
8Jens Kleine [10]
9Dieter König [9]
10Oliver Kopp [3]
11Frank Michael Kraft [12]
12Frank Leymann [3]
13Peter Massuthe [1] [4] [5] [6] [7] [8]
14Simon Moser [9]
15Wolfgang Reisig [3] [6]
16Christian Stahl [1] [4] [6] [8] [9]
17H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek) [16]
18Daniela Weinberg [1] [8]
19Karsten Wolf (Karsten Schmidt) [4] [5] [7] [9] [15]

Colors in the list of coauthors

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