BibTeX records: Niels Lohmann

download as .bib file

@article{DBLP:journals/is/Accorsi0L15,
  author    = {Rafael Accorsi and
               Andreas Lehmann and
               Niels Lohmann},
  title     = {Information leak detection in business process models: Theory, application,
               and tool support},
  journal   = {Inf. Syst.},
  volume    = {47},
  pages     = {244--257},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.is.2013.12.006},
  doi       = {10.1016/j.is.2013.12.006},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/is/Accorsi0L15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LohmannF14,
  author    = {Niels Lohmann and
               Dirk Fahland},
  editor    = {Shazia Wasim Sadiq and
               Pnina Soffer and
               Hagen V{\"{o}}lzer},
  title     = {Where Did {I} Go Wrong? - Explaining Errors in Business Process Models},
  booktitle = {Business Process Management - 12th International Conference, {BPM}
               2014, Haifa, Israel, September 7-11, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8659},
  pages     = {283--300},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10172-9\_18},
  doi       = {10.1007/978-3-319-10172-9\_18},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/LohmannF14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/Lohmann14,
  author    = {Niels Lohmann},
  editor    = {Nico Herzberg and
               Matthias Kunze},
  title     = {Where did {I} go wrong? - Explaining Errors in Business Process Models},
  booktitle = {Proceedings of the 6th Central-European Workshop on Services and their
               Composition, {ZEUS} 2014, Potsdam, Germany, February 20-21, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1140},
  pages     = {8--16},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1140/paper2.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:55 +0100},
  biburl    = {https://dblp.org/rec/conf/zeus/Lohmann14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wsf14/LohmannW14,
  author    = {Niels Lohmann and
               Karsten Wolf},
  editor    = {Athman Bouguettaya and
               Quan Z. Sheng and
               Florian Daniel},
  title     = {From Artifacts to Activities},
  booktitle = {Web Services Foundations},
  pages     = {109--135},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-1-4614-7518-7\_5},
  doi       = {10.1007/978-1-4614-7518-7\_5},
  timestamp = {Sat, 19 Oct 2019 19:02:56 +0200},
  biburl    = {https://dblp.org/rec/books/sp/wsf14/LohmannW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2013w,
  editor    = {Niels Lohmann and
               Minseok Song and
               Petia Wohed},
  title     = {Business Process Management Workshops - {BPM} 2013 International Workshops,
               Beijing, China, August 26, 2013, Revised Papers},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {171},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06257-0},
  doi       = {10.1007/978-3-319-06257-0},
  isbn      = {978-3-319-06256-3},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/bpm/2013w.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/Lohmann13,
  author    = {Niels Lohmann},
  title     = {Compliance by design for artifact-centric business processes},
  journal   = {Inf. Syst.},
  volume    = {38},
  number    = {4},
  pages     = {606--618},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.is.2012.07.003},
  doi       = {10.1016/j.is.2012.07.003},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/is/Lohmann13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2012,
  editor    = {Maurice H. ter Beek and
               Niels Lohmann},
  title     = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
               2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7843},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38230-7},
  doi       = {10.1007/978-3-642-38230-7},
  isbn      = {978-3-642-38229-1},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wsfm/2012.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zeus/2013,
  editor    = {Oliver Kopp and
               Niels Lohmann},
  title     = {Proceedings of the 5\({}^{\mbox{th}}\) Central-European Workshop on
               Services and their Composition, Rostock, Germany, February 21-22,
               2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1029},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1029},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/zeus/2013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KordonLBBFHHLLMPPRRTWW13,
  author    = {Fabrice Kordon and
               Alban Linard and
               Marco Beccuti and
               Didier Buchs and
               Lukasz Fronc and
               Lom{-}Messan Hillah and
               Francis Hulin{-}Hubard and
               Fabrice Legond{-}Aubry and
               Niels Lohmann and
               Alexis Marechal and
               Emmanuel Paviot{-}Adet and
               Franck Pommereau and
               C{\'{e}}sar Rodr{\'{\i}}guez and
               Christian Rohr and
               Yann Thierry{-}Mieg and
               Harro Wimmel and
               Karsten Wolf},
  title     = {Model Checking Contest @ Petri Nets, Report on the 2013 edition},
  journal   = {CoRR},
  volume    = {abs/1309.2485},
  year      = {2013},
  url       = {http://arxiv.org/abs/1309.2485},
  archivePrefix = {arXiv},
  eprint    = {1309.2485},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/AalstLR12,
  author    = {Wil M. P. van der Aalst and
               Niels Lohmann and
               Marcello La Rosa},
  title     = {Ensuring correctness during process configuration via partner synthesis},
  journal   = {Inf. Syst.},
  volume    = {37},
  number    = {6},
  pages     = {574--592},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.is.2011.08.004},
  doi       = {10.1016/j.is.2011.08.004},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/is/AalstLR12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonLBCELLPTW12,
  author    = {Fabrice Kordon and
               Alban Linard and
               Didier Buchs and
               Maximilien Colange and
               Sami Evangelista and
               Kai Lampka and
               Niels Lohmann and
               Emmanuel Paviot{-}Adet and
               Yann Thierry{-}Mieg and
               Harro Wimmel},
  title     = {Report on the Model Checking Contest at Petri Nets 2011},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {169--196},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_8},
  doi       = {10.1007/978-3-642-35179-2\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LehmannLW12,
  author    = {Andreas Lehmann and
               Niels Lohmann and
               Karsten Wolf},
  editor    = {Serge Haddad and
               Lucia Pomello},
  title     = {Stubborn Sets for Simple Linear Time Properties},
  booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
               {PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7347},
  pages     = {228--247},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31131-4\_13},
  doi       = {10.1007/978-3-642-31131-4\_13},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/LehmannLW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LehmannL12,
  author    = {Andreas Lehmann and
               Niels Lohmann},
  editor    = {Marcello La Rosa and
               Pnina Soffer},
  title     = {Modeling Wizard for Confidential Business Processes},
  booktitle = {Business Process Management Workshops - {BPM} 2012 International Workshops,
               Tallinn, Estonia, September 3, 2012. Revised Papers},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {132},
  pages     = {675--688},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-36285-9\_67},
  doi       = {10.1007/978-3-642-36285-9\_67},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/LehmannL12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/LehmannL12,
  author    = {Andreas Lehmann and
               Niels Lohmann},
  editor    = {Andreas Sch{\"{o}}nberger and
               Oliver Kopp and
               Niels Lohmann},
  title     = {Model Support for Confidential Service-Oriented Business Processes},
  booktitle = {Proceedings of the 4\({}^{\mbox{th}}\) Central-European Workshop on
               Services and their Composition, ZEUS-2012, Bamberg, Germany, February
               23-24, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {847},
  pages     = {136--143},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-847/paper18.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:55 +0100},
  biburl    = {https://dblp.org/rec/conf/zeus/LehmannL12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2012d,
  editor    = {Niels Lohmann and
               Simon Moser},
  title     = {Proceedings of the Demonstration Track of the 10th International Conference
               on Business Process Management {(BPM} 2012), Tallinn, Estonia, September
               4, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {940},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-940},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/bpm/2012d.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zeus/2012,
  editor    = {Andreas Sch{\"{o}}nberger and
               Oliver Kopp and
               Niels Lohmann},
  title     = {Proceedings of the 4\({}^{\mbox{th}}\) Central-European Workshop on
               Services and their Composition, ZEUS-2012, Bamberg, Germany, February
               23-24, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {847},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-847},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/zeus/2012.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-2382,
  author    = {Fabrice Kordon and
               Alban Linard and
               Didier Buchs and
               Maximilien Colange and
               Sami Evangelista and
               Lukasz Fronc and
               Lom{-}Messan Hillah and
               Niels Lohmann and
               Emmanuel Paviot{-}Adet and
               Franck Pommereau and
               Christian Rohr and
               Yann Thierry{-}Mieg and
               Harro Wimmel and
               Karsten Wolf},
  title     = {Raw Report on the Model Checking Contest at Petri Nets 2012},
  journal   = {CoRR},
  volume    = {abs/1209.2382},
  year      = {2012},
  url       = {http://arxiv.org/abs/1209.2382},
  archivePrefix = {arXiv},
  eprint    = {1209.2382},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1209-2382.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/FahlandFKLVW11,
  author    = {Dirk Fahland and
               C{\'{e}}dric Favre and
               Jana Koehler and
               Niels Lohmann and
               Hagen V{\"{o}}lzer and
               Karsten Wolf},
  title     = {Analysis on demand: Instantaneous soundness checking of industrial
               business process models},
  journal   = {Data Knowl. Eng.},
  volume    = {70},
  number    = {5},
  pages     = {448--466},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.datak.2011.01.004},
  doi       = {10.1016/j.datak.2011.01.004},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/dke/FahlandFKLVW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LohmannW11,
  author    = {Niels Lohmann and
               Karsten Wolf},
  title     = {Compact Representations and Efficient Algorithms for Operating Guidelines},
  journal   = {Fundam. Inform.},
  volume    = {108},
  number    = {1-2},
  pages     = {43--62},
  year      = {2011},
  url       = {https://doi.org/10.3233/FI-2011-413},
  doi       = {10.3233/FI-2011-413},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/LohmannW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LohmannW11a,
  author    = {Niels Lohmann and
               Daniela Weinberg},
  title     = {Wendy: {A} Tool to Synthesize Partners for Services},
  journal   = {Fundam. Inform.},
  volume    = {113},
  number    = {3-4},
  pages     = {295--311},
  year      = {2011},
  url       = {https://doi.org/10.3233/FI-2011-610},
  doi       = {10.3233/FI-2011-610},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/LohmannW11a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Lohmann11,
  author    = {Niels Lohmann},
  editor    = {Stefanie Rinderle{-}Ma and
               Farouk Toumani and
               Karsten Wolf},
  title     = {Compliance by Design for Artifact-Centric Business Processes},
  booktitle = {Business Process Management - 9th International Conference, {BPM}
               2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6896},
  pages     = {99--115},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23059-2\_11},
  doi       = {10.1007/978-3-642-23059-2\_11},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/Lohmann11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LohmannN11,
  author    = {Niels Lohmann and
               Martin Nyolt},
  editor    = {George Pallis and
               Mohamed Jmaiel and
               Anis Charfi and
               Sven Graupner and
               Y{\"{u}}cel Karabulut and
               Sam Guinea and
               Florian Rosenberg and
               Quan Z. Sheng and
               Cesare Pautasso and
               Sonia Ben Mokhtar},
  title     = {Artifact-Centric Modeling Using {BPMN}},
  booktitle = {Service-Oriented Computing - {ICSOC} 2011 Workshops - {ICSOC} 2011,
               International Workshops WESOA, NFPSLAM-SOC, and Satellite Events,
               Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7221},
  pages     = {54--65},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-31875-7\_7},
  doi       = {10.1007/978-3-642-31875-7\_7},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoc/LohmannN11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LohmannW11,
  author    = {Niels Lohmann and
               Karsten Wolf},
  editor    = {Gerti Kappel and
               Zakaria Maamar and
               Hamid R. Motahari Nezhad},
  title     = {Decidability Results for Choreography Realization},
  booktitle = {Service-Oriented Computing - 9th International Conference, {ICSOC}
               2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7084},
  pages     = {92--107},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-25535-9\_7},
  doi       = {10.1007/978-3-642-25535-9\_7},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoc/LohmannW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/Lohmann11,
  author    = {Niels Lohmann},
  editor    = {Daniel Eichhorn and
               Agnes Koschmider and
               Huayu Zhang},
  title     = {Internal Behavior Reduction for Partner Synthesis},
  booktitle = {3rd Central-European Workshop on Services and their Composition, Services
               und ihre Komposition, {ZEUS} 2011, Karlsruhe, Germany, February 21-22,
               2011. Proceedings},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {705},
  pages     = {96--103},
  publisher = {CEUR-WS.org},
  year      = {2011},
  url       = {http://ceur-ws.org/Vol-705/paper13.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:55 +0100},
  biburl    = {https://dblp.org/rec/conf/zeus/Lohmann11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Lohmann2010,
  author    = {Niels Lohmann},
  title     = {Correctness of services and their composition},
  school    = {University of Rostock},
  year      = {2010},
  url       = {http://rosdok.uni-rostock.de/metadata/rosdok\_disshab\_000000000505},
  isbn      = {978-90-386-2318-4},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/phd/de/Lohmann2010.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/AalstLMSW10,
  author    = {Wil M. P. van der Aalst and
               Niels Lohmann and
               Peter Massuthe and
               Christian Stahl and
               Karsten Wolf},
  title     = {Multiparty Contracts: Agreeing and Implementing Interorganizational
               Processes},
  journal   = {Comput. J.},
  volume    = {53},
  number    = {1},
  pages     = {90--106},
  year      = {2010},
  url       = {https://doi.org/10.1093/comjnl/bxn064},
  doi       = {10.1093/comjnl/bxn064},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cj/AalstLMSW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LohmannW10,
  author    = {Niels Lohmann and
               Daniela Weinberg},
  editor    = {Johan Lilius and
               Wojciech Penczek},
  title     = {Wendy: {A} Tool to Synthesize Partners for Services},
  booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
               {PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6128},
  pages     = {297--307},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13675-7\_18},
  doi       = {10.1007/978-3-642-13675-7\_18},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/LohmannW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Lohmann10,
  author    = {Niels Lohmann},
  editor    = {Marcello La Rosa},
  title     = {service-technology.org/live - Replaying tool experiments in a Web
               browser},
  booktitle = {Proceedings of the Business Process Management 2010 Demonstration
               Track, Hoboken, NJ, USA, September 14-16, 2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {615},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-615/paper23.pdf},
  timestamp = {Tue, 28 May 2019 16:23:24 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/Lohmann10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LohmannW10,
  author    = {Niels Lohmann and
               Karsten Wolf},
  editor    = {Richard Hull and
               Jan Mendling and
               Stefan Tai},
  title     = {How to Implement a Theory of Correctness in the Area of Business Processes
               and Services},
  booktitle = {Business Process Management - 8th International Conference, {BPM}
               2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6336},
  pages     = {61--77},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15618-2\_7},
  doi       = {10.1007/978-3-642-15618-2\_7},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/LohmannW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AalstLRX10,
  author    = {Wil M. P. van der Aalst and
               Niels Lohmann and
               Marcello La Rosa and
               Jingxin Xu},
  editor    = {Richard Hull and
               Jan Mendling and
               Stefan Tai},
  title     = {Correctness Ensuring Process Configuration: An Approach Based on Partner
               Synthesis},
  booktitle = {Business Process Management - 8th International Conference, {BPM}
               2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6336},
  pages     = {95--111},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15618-2\_9},
  doi       = {10.1007/978-3-642-15618-2\_9},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/AalstLRX10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LohmannW10,
  author    = {Niels Lohmann and
               Karsten Wolf},
  editor    = {Paul P. Maglio and
               Mathias Weske and
               Jian Yang and
               Marcelo Fantinato},
  title     = {Artifact-Centric Choreographies},
  booktitle = {Service-Oriented Computing - 8th International Conference, {ICSOC}
               2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6470},
  pages     = {32--46},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17358-5\_3},
  doi       = {10.1007/978-3-642-17358-5\_3},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoc/LohmannW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/Lohmann10,
  author    = {Niels Lohmann},
  editor    = {Christian Gierds and
               Jan S{\"{u}}rmeli},
  title     = {Communication models for services},
  booktitle = {2nd Central-European Workshop on Services and their Composition, Services
               und ihre Komposition, {ZEUS} 2010, Berlin, Germany, February 25-26,
               2010. Proceedings},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {563},
  pages     = {9--16},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-563/paper1.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:55 +0100},
  biburl    = {https://dblp.org/rec/conf/zeus/Lohmann10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/LohmannVOS09,
  author    = {Niels Lohmann and
               Eric Verbeek and
               Chun Ouyang and
               Christian Stahl},
  title     = {Comparing and evaluating Petri net semantics for {BPEL}},
  journal   = {Int. J. Bus. Process. Integr. Manag.},
  volume    = {4},
  number    = {1},
  pages     = {60--73},
  year      = {2009},
  url       = {https://doi.org/10.1504/IJBPIM.2009.026986},
  doi       = {10.1504/IJBPIM.2009.026986},
  timestamp = {Sun, 17 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijbpim/LohmannVOS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/LohmannVD09,
  author    = {Niels Lohmann and
               Eric Verbeek and
               Remco M. Dijkman},
  title     = {Petri Net Transformations for Business Processes - {A} Survey},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {46--63},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_3},
  doi       = {10.1007/978-3-642-00899-3\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/LohmannVD09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LohmannW09,
  author    = {Niels Lohmann and
               Karsten Wolf},
  title     = {Petrifying Operating Guidelines for Services},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {80--88},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.11},
  doi       = {10.1109/ACSD.2009.11},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/LohmannW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AwadDL09,
  author    = {Ahmed Awad and
               Gero Decker and
               Niels Lohmann},
  editor    = {Stefanie Rinderle{-}Ma and
               Shazia Wasim Sadiq and
               Frank Leymann},
  title     = {Diagnosing and Repairing Data Anomalies in Process Models},
  booktitle = {Business Process Management Workshops, {BPM} 2009 International Workshops,
               Ulm, Germany, September 7, 2009. Revised Papers},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {43},
  pages     = {5--16},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-12186-9\_2},
  doi       = {10.1007/978-3-642-12186-9\_2},
  timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/AwadDL09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/FahlandFJKLVW09,
  author    = {Dirk Fahland and
               C{\'{e}}dric Favre and
               Barbara Jobstmann and
               Jana Koehler and
               Niels Lohmann and
               Hagen V{\"{o}}lzer and
               Karsten Wolf},
  editor    = {Umeshwar Dayal and
               Johann Eder and
               Jana Koehler and
               Hajo A. Reijers},
  title     = {Instantaneous Soundness Checking of Industrial Business Process Models},
  booktitle = {Business Process Management, 7th International Conference, {BPM} 2009,
               Ulm, Germany, September 8-10, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5701},
  pages     = {278--293},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03848-8\_19},
  doi       = {10.1007/978-3-642-03848-8\_19},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/FahlandFJKLVW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LiskeLSW09,
  author    = {Nannette Liske and
               Niels Lohmann and
               Christian Stahl and
               Karsten Wolf},
  editor    = {Luciano Baresi and
               Chi{-}Hung Chi and
               Jun Suzuki},
  title     = {Another Approach to Service Instance Migration},
  booktitle = {Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave
               2009, Stockholm, Sweden, November 24-27, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5900},
  pages     = {607--621},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10383-4\_44},
  doi       = {10.1007/978-3-642-10383-4\_44},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoc/LiskeLSW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/LohmannW09,
  author    = {Niels Lohmann and
               Karsten Wolf},
  editor    = {Cosimo Laneve and
               Jianwen Su},
  title     = {Realizability Is Controllability},
  booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
               2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6194},
  pages     = {110--127},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-14458-5\_7},
  doi       = {10.1007/978-3-642-14458-5\_7},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wsfm/LohmannW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/KaschnerL09,
  author    = {Kathrin Kaschner and
               Niels Lohmann},
  editor    = {Oliver Kopp and
               Niels Lohmann},
  title     = {Does my service have unspecified behavior?},
  booktitle = {1st Central-European Workshop on Services and their Composition, {ZEUS}
               2009, Stuttgart, Germany, March 2-3, 2009. Proceedings},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {438},
  pages     = {22--28},
  publisher = {CEUR-WS.org},
  year      = {2009},
  url       = {http://ceur-ws.org/Vol-438/paper4.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:55 +0100},
  biburl    = {https://dblp.org/rec/conf/zeus/KaschnerL09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/LohmannW09,
  author    = {Niels Lohmann and
               Karsten Wolf},
  editor    = {Oliver Kopp and
               Niels Lohmann},
  title     = {Realizability is controllability},
  booktitle = {1st Central-European Workshop on Services and their Composition, {ZEUS}
               2009, Stuttgart, Germany, March 2-3, 2009. Proceedings},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {438},
  pages     = {61--67},
  publisher = {CEUR-WS.org},
  year      = {2009},
  url       = {http://ceur-ws.org/Vol-438/paper10.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:55 +0100},
  biburl    = {https://dblp.org/rec/conf/zeus/LohmannW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zeus/2009,
  editor    = {Oliver Kopp and
               Niels Lohmann},
  title     = {1st Central-European Workshop on Services and their Composition, {ZEUS}
               2009, Stuttgart, Germany, March 2-3, 2009. Proceedings},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {438},
  publisher = {CEUR-WS.org},
  year      = {2009},
  url       = {http://ceur-ws.org/Vol-438},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/zeus/2009.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/LohmannMSW08,
  author    = {Niels Lohmann and
               Peter Massuthe and
               Christian Stahl and
               Daniela Weinberg},
  title     = {Analyzing interacting {WS-BPEL} processes using flexible model generation},
  journal   = {Data Knowl. Eng.},
  volume    = {64},
  number    = {1},
  pages     = {38--54},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.datak.2007.06.006},
  doi       = {10.1016/j.datak.2007.06.006},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/dke/LohmannMSW08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Lohmann08,
  author    = {Niels Lohmann},
  editor    = {Niels Lohmann and
               Karsten Wolf},
  title     = {Decompositional Calculation of Operating Guidelines Using Free Choice
               Conflicts},
  booktitle = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
               und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
               September 26-27, 2008. Proceedings},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {380},
  pages     = {63--68},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-380/paper10.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:58 +0100},
  biburl    = {https://dblp.org/rec/conf/awpn/Lohmann08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Lohmann08,
  author    = {Niels Lohmann},
  editor    = {Marlon Dumas and
               Manfred Reichert and
               Ming{-}Chien Shan},
  title     = {Correcting Deadlocking Service Choreographies Using a Simulation-Based
               Graph Edit Distance},
  booktitle = {Business Process Management, 6th International Conference, {BPM} 2008,
               Milan, Italy, September 2-4, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5240},
  pages     = {132--147},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85758-7\_12},
  doi       = {10.1007/978-3-540-85758-7\_12},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/Lohmann08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/KaschnerL08,
  author    = {Kathrin Kaschner and
               Niels Lohmann},
  editor    = {George Feuerlicht and
               Winfried Lamersdorf},
  title     = {Automatic Test Case Generation for Interacting Services},
  booktitle = {Service-Oriented Computing - {ICSOC} 2008 Workshops, {ICSOC} 2008
               International Workshops, Sydney, Australia, December 1st, 2008, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5472},
  pages     = {66--78},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-642-01247-1\_7},
  doi       = {10.1007/978-3-642-01247-1\_7},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoc/KaschnerL08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/DeckerBKL08,
  author    = {Gero Decker and
               Alistair P. Barros and
               Frank Michael Kraft and
               Niels Lohmann},
  editor    = {Athman Bouguettaya and
               Ingolf Kr{\"{u}}ger and
               Tiziana Margaria},
  title     = {Non-desynchronizable Service Choreographies},
  booktitle = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
               Sydney, Australia, December 1-5, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5364},
  pages     = {331--346},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89652-4\_26},
  doi       = {10.1007/978-3-540-89652-4\_26},
  timestamp = {Sun, 02 Jun 2019 21:20:23 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoc/DeckerBKL08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/LohmannK08,
  author    = {Niels Lohmann and
               Jens Kleine},
  editor    = {Thomas K{\"{u}}hne and
               Wolfgang Reisig and
               Friedrich Steimann},
  title     = {Fully-automatic Translation of Open Workflow Net Models into Simple
               Abstract {BPEL} Processes},
  booktitle = {Modellierung 2008, 12.-14. M{\"{a}}rz 2008, Berlin},
  series    = {{LNI}},
  volume    = {{P-127}},
  pages     = {57--72},
  publisher = {{GI}},
  year      = {2008},
  url       = {https://dl.gi.de/20.500.12116/21631},
  timestamp = {Thu, 14 Nov 2019 16:35:26 +0100},
  biburl    = {https://dblp.org/rec/conf/modellierung/LohmannK08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Lohmann08,
  author    = {Niels Lohmann},
  editor    = {Roberto Bruni and
               Karsten Wolf},
  title     = {Why Does My Service Have No Partners?},
  booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM}
               2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5387},
  pages     = {191--206},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-642-01364-5\_12},
  doi       = {10.1007/978-3-642-01364-5\_12},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wsfm/Lohmann08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/KonigLMSW08,
  author    = {Dieter K{\"{o}}nig and
               Niels Lohmann and
               Simon Moser and
               Christian Stahl and
               Karsten Wolf},
  editor    = {Jinpeng Huai and
               Robin Chen and
               Hsiao{-}Wuen Hon and
               Yunhao Liu and
               Wei{-}Ying Ma and
               Andrew Tomkins and
               Xiaodong Zhang},
  title     = {Extending the compatibility notion for abstract {WS-BPEL} processes},
  booktitle = {Proceedings of the 17th International Conference on World Wide Web,
               {WWW} 2008, Beijing, China, April 21-25, 2008},
  pages     = {785--794},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1367497.1367603},
  doi       = {10.1145/1367497.1367603},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/www/KonigLMSW08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/awpn/2008,
  editor    = {Niels Lohmann and
               Karsten Wolf},
  title     = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
               und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
               September 26-27, 2008. Proceedings},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {380},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-380},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/awpn/2008.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LohmannMW07,
  author    = {Niels Lohmann and
               Peter Massuthe and
               Karsten Wolf},
  editor    = {Jetty Kleijn and
               Alexandre Yakovlev},
  title     = {Operating Guidelines for Finite-State Services},
  booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
               Conference on Applications and Theory of Petri Nets and Other Models
               of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4546},
  pages     = {321--341},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73094-1\_20},
  doi       = {10.1007/978-3-540-73094-1\_20},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/LohmannMW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ReisigBFLMS07,
  author    = {Wolfgang Reisig and
               Jan Bretschneider and
               Dirk Fahland and
               Niels Lohmann and
               Peter Massuthe and
               Christian Stahl},
  editor    = {Cliff B. Jones and
               Zhiming Liu and
               Jim Woodcock},
  title     = {Services as a Paradigm of Computation},
  booktitle = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
               Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
               Papers presented at a Symposium held in Macao, China, September 24-25,
               2007},
  series    = {Lecture Notes in Computer Science},
  volume    = {4700},
  pages     = {521--538},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75221-9\_25},
  doi       = {10.1007/978-3-540-75221-9\_25},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/ReisigBFLMS07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LohmannMW07,
  author    = {Niels Lohmann and
               Peter Massuthe and
               Karsten Wolf},
  editor    = {Gustavo Alonso and
               Peter Dadam and
               Michael Rosemann},
  title     = {Behavioral Constraints for Services},
  booktitle = {Business Process Management, 5th International Conference, {BPM} 2007,
               Brisbane, Australia, September 24-28, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4714},
  pages     = {271--287},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75183-0\_20},
  doi       = {10.1007/978-3-540-75183-0\_20},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/LohmannMW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/LohmannKLR07,
  author    = {Niels Lohmann and
               Oliver Kopp and
               Frank Leymann and
               Wolfgang Reisig},
  editor    = {Marlon Dumas and
               Reiko Heckel},
  title     = {Analyzing BPEL4Chor: Verification and Participant Synthesis},
  booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
               2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4937},
  pages     = {46--60},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-79230-7\_4},
  doi       = {10.1007/978-3-540-79230-7\_4},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wsfm/LohmannKLR07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Lohmann07,
  author    = {Niels Lohmann},
  editor    = {Marlon Dumas and
               Reiko Heckel},
  title     = {A Feature-Complete Petri Net Semantics for {WS-BPEL} 2.0},
  booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
               2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4937},
  pages     = {77--91},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-79230-7\_6},
  doi       = {10.1007/978-3-540-79230-7\_6},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wsfm/Lohmann07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/AalstLMSW07,
  author    = {Wil M. P. van der Aalst and
               Niels Lohmann and
               Peter Massuthe and
               Christian Stahl and
               Karsten Wolf},
  editor    = {Marlon Dumas and
               Reiko Heckel},
  title     = {From Public Views to Private Views - Correctness-by-Design for Services},
  booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
               2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4937},
  pages     = {139--153},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-79230-7\_10},
  doi       = {10.1007/978-3-540-79230-7\_10},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wsfm/AalstLMSW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/ReisigWBKLMS07,
  author    = {Wolfgang Reisig and
               Karsten Wolf and
               Jan Bretschneider and
               Kathrin Kaschner and
               Niels Lohmann and
               Peter Massuthe and
               Christian Stahl},
  title     = {Challenges in a Service-Oriented World},
  journal   = {{ERCIM} News},
  volume    = {2007},
  number    = {70},
  year      = {2007},
  url       = {http://ercim-news.ercim.eu/challenges-in-a-service-oriented-world},
  timestamp = {Wed, 22 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ercim/ReisigWBKLMS07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LohmannMSW06,
  author    = {Niels Lohmann and
               Peter Massuthe and
               Christian Stahl and
               Daniela Weinberg},
  editor    = {Schahram Dustdar and
               Jos{\'{e}} Luiz Fiadeiro and
               Amit P. Sheth},
  title     = {Analyzing Interacting {BPEL} Processes},
  booktitle = {Business Process Management, 4th International Conference, {BPM} 2006,
               Vienna, Austria, September 5-7, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4102},
  pages     = {17--32},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11841760\_3},
  doi       = {10.1007/11841760\_3},
  timestamp = {Sun, 02 Jun 2019 21:21:27 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/LohmannMSW06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ReisigFLMSWWK06,
  author    = {Wolfgang Reisig and
               Dirk Fahland and
               Niels Lohmann and
               Peter Massuthe and
               Christian Stahl and
               Daniela Weinberg and
               Karsten Wolf and
               Kathrin Kaschner},
  title     = {Analysis Techniques for Service Models},
  booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
               ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages     = {11--17},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://doi.org/10.1109/ISoLA.2006.58},
  doi       = {10.1109/ISoLA.2006.58},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/ReisigFLMSWWK06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics