 | 2011 |
|---|
| 39 |       | Niels Lohmann:
Compliance by Design for Artifact-Centric Business Processes.
BPM 2011: 99-115 |
| 38 | | Niels Lohmann,
Karsten Wolf:
Decidability Results for Choreography Realization.
ICSOC 2011: 92-107 |
| 37 | | Niels Lohmann:
Internal Behavior Reduction for Partner Synthesis.
ZEUS 2011: 96-103 |
| 36 | | Dirk Fahland,
Cédric Favre,
Jana Koehler,
Niels Lohmann,
Hagen Völzer,
Karsten Wolf:
Analysis on demand: Instantaneous soundness checking of industrial business process models.
Data Knowl. Eng. 70(5): 448-466 (2011) |
| 35 | | Niels Lohmann,
Karsten Wolf:
Compact Representations and Efficient Algorithms for Operating Guidelines.
Fundam. Inform. 108(1-2): 43-62 (2011) |
| 34 | | Niels Lohmann,
Daniela Weinberg:
Wendy: A Tool to Synthesize Partners for Services.
Fundam. Inform. 113(3-4): 295-311 (2011) |
| 2010 |
|---|
| 33 | | Niels Lohmann,
Karsten Wolf:
How to Implement a Theory of Correctness in the Area of Business Processes and Services.
BPM 2010: 61-77 |
| 32 | | Wil M. P. van der Aalst,
Niels Lohmann,
Marcello La Rosa,
Jingxin Xu:
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis.
BPM 2010: 95-111 |
| 31 | | Niels Lohmann,
Karsten Wolf:
Artifact-Centric Choreographies.
ICSOC 2010: 32-46 |
| 30 | | Niels Lohmann,
Daniela Weinberg:
Wendy: A Tool to Synthesize Partners for Services.
Petri Nets 2010: 297-307 |
| 29 | | Niels Lohmann:
Communication models for services.
ZEUS 2010: 9-16 |
| 28 | | Wil M. P. van der Aalst,
Niels Lohmann,
Peter Massuthe,
Christian Stahl,
Karsten Wolf:
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.
Comput. J. 53(1): 90-106 (2010) |
| 2009 |
|---|
| 27 |  | 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 |
| 26 | | Niels Lohmann,
Karsten Wolf:
Petrifying Operating Guidelines for Services.
ACSD 2009: 80-88 |
| 25 | | 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 |
| 24 | | Ahmed Awad,
Gero Decker,
Niels Lohmann:
Diagnosing and Repairing Data Anomalies in Process Models.
Business Process Management Workshops 2009: 5-16 |
| 23 | | Nannette Liske,
Niels Lohmann,
Christian Stahl,
Karsten Wolf:
Another Approach to Service Instance Migration.
ICSOC/ServiceWave 2009: 607-621 |
| 22 | | Niels Lohmann,
Karsten Wolf:
Realizability Is Controllability.
WS-FM 2009: 110-127 |
| 21 | | Kathrin Kaschner,
Niels Lohmann:
Does my service have unspecified behavior?
ZEUS 2009: 22-28 |
| 20 | | Niels Lohmann,
Karsten Wolf:
Realizability is controllability.
ZEUS 2009: 61-67 |
| 19 | | 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 |
|---|
| 18 | | 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 |
| 17 | | Niels Lohmann:
Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts.
AWPN 2008: 63-68 |
| 16 | | Niels Lohmann:
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance.
BPM 2008: 132-147 |
| 15 | | Gero Decker,
Alistair P. Barros,
Frank Michael Kraft,
Niels Lohmann:
Non-desynchronizable Service Choreographies.
ICSOC 2008: 331-346 |
| 14 | | Kathrin Kaschner,
Niels Lohmann:
Automatic Test Case Generation for Interacting Services.
ICSOC Workshops 2008: 66-78 |
| 13 | | Niels Lohmann,
Jens Kleine:
Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes.
Modellierung 2008: 57-72 |
| 12 | | Niels Lohmann:
Why Does My Service Have No Partners?.
WS-FM 2008: 191-206 |
| 11 | | Dieter König,
Niels Lohmann,
Simon Moser,
Christian Stahl,
Karsten Wolf:
Extending the compatibility notion for abstract WS-BPEL processes.
WWW 2008: 785-794 |
| 10 | | 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 |
|---|
| 9 | | Niels Lohmann,
Peter Massuthe,
Karsten Wolf:
Behavioral Constraints for Services.
BPM 2007: 271-287 |
| 8 | | 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 |
| 7 | | Niels Lohmann,
Peter Massuthe,
Karsten Wolf:
Operating Guidelines for Finite-State Services.
ICATPN 2007: 321-341 |
| 6 | | 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 |
| 5 | | Niels Lohmann,
Oliver Kopp,
Frank Leymann,
Wolfgang Reisig:
Analyzing BPEL4Chor: Verification and Participant Synthesis.
WS-FM 2007: 46-60 |
| 4 | | Niels Lohmann:
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.
WS-FM 2007: 77-91 |
| 3 | | Wolfgang Reisig,
Karsten Wolf,
Jan Bretschneider,
Kathrin Kaschner,
Niels Lohmann,
Peter Massuthe,
Christian Stahl:
Challenges in a Service-Oriented World.
ERCIM News 2007(70): (2007) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page