Niels Lohmann Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

University of Rostock, Germany

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2015
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Accorsi, Andreas Lehmann, Niels Lohmann: Information leak detection in business process models: Theory, application, and tool support. Inf. Syst. 47: 244-257 (2015)
2014
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Dirk Fahland: Where Did I Go Wrong? - Explaining Errors in Business Process Models. BPM 2014: 283-300
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann: Where did I go wrong? - Explaining Errors in Business Process Models. ZEUS 2014: 8-16
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Karsten Wolf: From Artifacts to Activities. Web Services Foundations 2014: 109-135
e7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Minseok Song, Petia Wohed: Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers .Lecture Notes in Business Information Processing 171, Springer 2014, ISBN 978-3-319-06256-3
2013
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf: Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR abs/1309.2485 (2013)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann: Compliance by design for artifact-centric business processes. Inf. Syst. 38(4): 606-618 (2013)
e6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Niels Lohmann: Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers .Lecture Notes in Computer Science 7843, Springer 2013, ISBN 978-3-642-38229-1
e5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kopp, Niels Lohmann: Proceedings of the 5th Central-European Workshop on Services and their Composition, Rostock, Germany, February 21-22, 2013 .CEUR Workshop Proceedings 1029, CEUR-WS.org 2013
2012
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf: Raw Report on the Model Checking Contest at Petri Nets 2012 .CoRR abs/1209.2382 (2012)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa: Ensuring correctness during process configuration via partner synthesis. Inf. Syst. 37(6): 574-592 (2012)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel: Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets and Other Models of Concurrency 6: 169-196 (2012)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Lehmann, Niels Lohmann, Karsten Wolf: Stubborn Sets for Simple Linear Time Properties. Petri Nets 2012: 228-247
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Lehmann, Niels Lohmann: Modeling Wizard for Confidential Business Processes. Business Process Management Workshops 2012: 675-688
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Lehmann, Niels Lohmann: Model Support for Confidential Service-Oriented Business Processes. ZEUS 2012: 136-143
e4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Simon Moser: Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), Tallinn, Estonia, September 4, 2012 .CEUR Workshop Proceedings 940, CEUR-WS.org 2012
e3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Schönberger, Oliver Kopp, Niels Lohmann: Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012 .CEUR Workshop Proceedings 847, CEUR-WS.org 2012
2011
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk 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)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Karsten Wolf: Compact Representations and Efficient Algorithms for Operating Guidelines. Fundam. Inform. 108(1-2): 43-62 (2011)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Daniela Weinberg: Wendy: A Tool to Synthesize Partners for Services. Fundam. Inform. 113(3-4): 295-311 (2011)
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann: Compliance by Design for Artifact-Centric Business Processes. BPM 2011: 99-115
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Martin Nyolt: Artifact-Centric Modeling Using BPMN. ICSOC Workshops 2011: 54-65
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Karsten Wolf: Decidability Results for Choreography Realization. ICSOC 2011: 92-107
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann: Internal Behavior Reduction for Partner Synthesis. ZEUS 2011: 96-103
2010
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann: Correctness of services and their composition. University of Rostock 2010, ISBN 978-90-386-2318-4, pp. 1-189
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWil 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)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Daniela Weinberg: Wendy: A Tool to Synthesize Partners for Services. Petri Nets 2010: 297-307
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Karsten Wolf: How to Implement a Theory of Correctness in the Area of Business Processes and Services. BPM 2010: 61-77
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWil 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
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Karsten Wolf: Artifact-Centric Choreographies. ICSOC 2010: 32-46
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann: Communication models for services. ZEUS 2010: 9-16
2009
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl: Comparing and evaluating Petri net semantics for BPEL. IJBPIM 4(1): 60-73 (2009)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Eric Verbeek, Remco M. Dijkman: Petri Net Transformations for Business Processes - A Survey. Trans. Petri Nets and Other Models of Concurrency 2: 46-63 (2009)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Karsten Wolf: Petrifying Operating Guidelines for Services. ACSD 2009: 80-88
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Awad, Gero Decker, Niels Lohmann: Diagnosing and Repairing Data Anomalies in Process Models. Business Process Management Workshops 2009: 5-16
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk 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
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf: Another Approach to Service Instance Migration. ICSOC/ServiceWave 2009: 607-621
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Karsten Wolf: Realizability Is Controllability. WS-FM 2009: 110-127
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Kaschner, Niels Lohmann: Does my service have unspecified behavior? ZEUS 2009: 22-28
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Karsten Wolf: Realizability is controllability. ZEUS 2009: 61-67
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kopp, Niels Lohmann: 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. Proceedings .CEUR Workshop Proceedings 438, CEUR-WS.org 2009
2008
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64(1): 38-54 (2008)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann: Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. AWPN 2008: 63-68
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. BPM 2008: 132-147
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Kaschner, Niels Lohmann: Automatic Test Case Generation for Interacting Services. ICSOC Workshops 2008: 66-78
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGero Decker, Alistair P. Barros, Frank Michael Kraft, Niels Lohmann: Non-desynchronizable Service Choreographies. ICSOC 2008: 331-346
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Jens Kleine: Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes. Modellierung 2008: 57-72
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann: Why Does My Service Have No Partners?. WS-FM 2008: 191-206
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf: Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels 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 Workshop Proceedings 380, CEUR-WS.org 2008
2007
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Peter Massuthe, Karsten Wolf: Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Peter Massuthe, Karsten Wolf: Behavioral Constraints for Services. BPM 2007: 271-287
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig: Analyzing BPEL4Chor: Verification and Participant Synthesis. WS-FM 2007: 46-60
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. WS-FM 2007: 77-91
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWil 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
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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

1Wil M. P. van der Aalst[j9] [j4] [c25] [c3]
2Rafael Accorsi[j11]
3Ahmed Awad[c21]
4Alistair P. Barros[c12]
5Marco Beccuti[i3]
6Maurice H. ter Beek[e6]
7Jan Bretschneider[c7] [i1]
8Didier Buchs[i3] [i2] [j8]
9Maximilien Colange[i2] [j8]
10Gero Decker[c21] [c12]
11Remco M. Dijkman[j2]
12Sami Evangelista[i2] [j8]
13Dirk Fahland[c36] [j7] [c20] [c7] [c1]
14Cédric Favre[j7] [c20]
15Lukasz Fronc[i3] [i2]
16Lom-Messan Hillah[i3] [i2]
17Francis Hulin-Hubard[i3]
18Barbara Jobstmann[c20]
19Kathrin Kaschner[c17] [c13] [i1] [c1]
20Jens Kleine[c11]
21Jana Koehler[j7] [c20]
22Dieter König[c9]
23Oliver Kopp[e5] [e3] [e2] [c5]
24Fabrice Kordon[i3] [i2] [j8]
25Frank Michael Kraft[c12]
26Kai Lampka[j8]
27Fabrice Legond-Aubry[i3]
28Andreas Lehmann 0001[j11] [c34] [c33] [c32]
29Frank Leymann[c5]
30Alban Linard[i3] [i2] [j8]
31Nannette Liske[c19]
32Alexis Marechal[i3]
33Peter Massuthe[j4] [j1] [c8] [c7] [c6] [c3] [i1] [c2] [c1]
34Simon Moser[e4] [c9]
35Martin Nyolt[c30]
36Chun Ouyang[j3]
37Emmanuel Paviot-Adet[i3] [i2] [j8]
38Franck Pommereau[i3] [i2]
39Wolfgang Reisig[c7] [c5] [i1] [c1]
40César Rodríguez[i3]
41Christian Rohr[i3] [i2]
42Marcello La Rosa[j9] [c25]
43Andreas Schönberger[e3]
44Minseok Song 0001[e7]
45Christian Stahl[j4] [j3] [c19] [j1] [c9] [c7] [c3] [i1] [c2] [c1]
46Yann Thierry-Mieg[i3] [i2] [j8]
47H. M. W. (Eric) Verbeek
Eric Verbeek
[j3] [j2]
48Hagen Völzer[j7] [c20]
49Daniela Weinberg[j5] [c27] [j1] [c2] [c1]
50Harro Wimmel[i3] [i2] [j8]
51Petia Wohed[e7]
52Karsten Wolf[p1] [i3] [i2] [c34] [j7] [j6] [c29] [j4] [c26] [c24] [c22] [c20] [c19] [c18] [c16] [c9] [e1] [c8] [c6] [c3] [i1] [c1]
53Jingxin Xu[c25]

 

Last update 2017-06-09 03:45 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page