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    = {http://dblp.org/rec/bib/journals/is/Accorsi0L15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LohmannF14,
  author    = {Niels Lohmann and
               Dirk Fahland},
  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},
  pages     = {283--300},
  year      = {2014},
  crossref  = {DBLP:conf/bpm/2014},
  url       = {https://doi.org/10.1007/978-3-319-10172-9_18},
  doi       = {10.1007/978-3-319-10172-9_18},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/LohmannF14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zeus/Lohmann14,
  author    = {Niels Lohmann},
  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.},
  pages     = {8--16},
  year      = {2014},
  crossref  = {DBLP:conf/zeus/2014},
  url       = {http://ceur-ws.org/Vol-1140/paper2.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/Lohmann14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:books/sp/wsf14/LohmannW14,
  author    = {Niels Lohmann and
               Karsten Wolf},
  title     = {From Artifacts to Activities},
  booktitle = {Web Services Foundations},
  pages     = {109--135},
  year      = {2014},
  crossref  = {DBLP:books/sp/wsf2014},
  url       = {https://doi.org/10.1007/978-1-4614-7518-7_5},
  doi       = {10.1007/978-1-4614-7518-7_5},
  timestamp = {Mon, 29 May 2017 13:41:09 +0200},
  biburl    = {http://dblp.org/rec/bib/books/sp/wsf14/LohmannW14},
  bibsource = {dblp computer science bibliography, http://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 = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2013w},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/is/Lohmann13},
  bibsource = {dblp computer science bibliography, http://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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/2012},
  bibsource = {dblp computer science bibliography, http://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},
  urn       = {urn:nbn:de:0074-1029-2},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/2013},
  bibsource = {dblp computer science bibliography, http://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},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KordonLBBFHHLLMPPRRTWW13},
  bibsource = {dblp computer science bibliography, http://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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/is/AalstLR12},
  bibsource = {dblp computer science bibliography, http://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 and Other Models of Concurrency},
  volume    = {6},
  pages     = {169--196},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2_8},
  doi       = {10.1007/978-3-642-35179-2_8},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/topnoc/KordonLBCELLPTW12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apn/LehmannLW12,
  author    = {Andreas Lehmann and
               Niels Lohmann and
               Karsten Wolf},
  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},
  pages     = {228--247},
  year      = {2012},
  crossref  = {DBLP:conf/apn/2012},
  url       = {https://doi.org/10.1007/978-3-642-31131-4_13},
  doi       = {10.1007/978-3-642-31131-4_13},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/LehmannLW12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LehmannL12,
  author    = {Andreas Lehmann and
               Niels Lohmann},
  title     = {Modeling Wizard for Confidential Business Processes},
  booktitle = {Business Process Management Workshops - {BPM} 2012 International Workshops,
               Tallinn, Estonia, September 3, 2012. Revised Papers},
  pages     = {675--688},
  year      = {2012},
  crossref  = {DBLP:conf/bpm/2012w},
  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    = {http://dblp.org/rec/bib/conf/bpm/LehmannL12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zeus/LehmannL12,
  author    = {Andreas Lehmann 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},
  pages     = {136--143},
  year      = {2012},
  crossref  = {DBLP:conf/zeus/2012},
  url       = {http://ceur-ws.org/Vol-847/paper18.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/LehmannL12},
  bibsource = {dblp computer science bibliography, http://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},
  urn       = {urn:nbn:de:0074-940-9},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2012d},
  bibsource = {dblp computer science bibliography, http://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},
  urn       = {urn:nbn:de:0074-847-4},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/2012},
  bibsource = {dblp computer science bibliography, http://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},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1209-2382},
  bibsource = {dblp computer science bibliography, http://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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dke/FahlandFKLVW11},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/fuin/LohmannW11},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/fuin/LohmannW11a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Lohmann11,
  author    = {Niels Lohmann},
  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},
  pages     = {99--115},
  year      = {2011},
  crossref  = {DBLP:conf/bpm/2011},
  url       = {https://doi.org/10.1007/978-3-642-23059-2_11},
  doi       = {10.1007/978-3-642-23059-2_11},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/Lohmann11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LohmannN11,
  author    = {Niels Lohmann and
               Martin Nyolt},
  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},
  pages     = {54--65},
  year      = {2011},
  crossref  = {DBLP:conf/icsoc/2011w},
  url       = {https://doi.org/10.1007/978-3-642-31875-7_7},
  doi       = {10.1007/978-3-642-31875-7_7},
  timestamp = {Sun, 04 Jun 2017 10:06:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/LohmannN11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LohmannW11,
  author    = {Niels Lohmann and
               Karsten Wolf},
  title     = {Decidability Results for Choreography Realization},
  booktitle = {Service-Oriented Computing - 9th International Conference, {ICSOC}
               2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
  pages     = {92--107},
  year      = {2011},
  crossref  = {DBLP:conf/icsoc/2011},
  url       = {https://doi.org/10.1007/978-3-642-25535-9_7},
  doi       = {10.1007/978-3-642-25535-9_7},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/LohmannW11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zeus/Lohmann11,
  author    = {Niels Lohmann},
  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},
  pages     = {96--103},
  year      = {2011},
  crossref  = {DBLP:conf/zeus/2011},
  url       = {http://ceur-ws.org/Vol-705/paper13.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/Lohmann11},
  bibsource = {dblp computer science bibliography, http://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},
  urn       = {urn:nbn:de:gbv:28-diss2010-0138-3},
  isbn      = {978-90-386-2318-4},
  timestamp = {Tue, 07 Jun 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/phd/de/Lohmann2010},
  bibsource = {dblp computer science bibliography, http://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 = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cj/AalstLMSW10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apn/LohmannW10,
  author    = {Niels Lohmann and
               Daniela Weinberg},
  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},
  pages     = {297--307},
  year      = {2010},
  crossref  = {DBLP:conf/apn/2010},
  url       = {https://doi.org/10.1007/978-3-642-13675-7_18},
  doi       = {10.1007/978-3-642-13675-7_18},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/LohmannW10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AalstLRX10,
  author    = {Wil M. P. van der Aalst and
               Niels Lohmann and
               Marcello La Rosa and
               Jingxin Xu},
  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},
  pages     = {95--111},
  year      = {2010},
  crossref  = {DBLP:conf/bpm/2010},
  url       = {https://doi.org/10.1007/978-3-642-15618-2_9},
  doi       = {10.1007/978-3-642-15618-2_9},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/AalstLRX10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Lohmann10,
  author    = {Niels Lohmann},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/bpm/2010d},
  url       = {http://ceur-ws.org/Vol-615/paper23.pdf},
  timestamp = {Thu, 14 Sep 2017 13:33:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/Lohmann10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LohmannW10,
  author    = {Niels Lohmann and
               Karsten Wolf},
  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},
  pages     = {61--77},
  year      = {2010},
  crossref  = {DBLP:conf/bpm/2010},
  url       = {https://doi.org/10.1007/978-3-642-15618-2_7},
  doi       = {10.1007/978-3-642-15618-2_7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/LohmannW10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LohmannW10,
  author    = {Niels Lohmann and
               Karsten Wolf},
  title     = {Artifact-Centric Choreographies},
  booktitle = {Service-Oriented Computing - 8th International Conference, {ICSOC}
               2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings},
  pages     = {32--46},
  year      = {2010},
  crossref  = {DBLP:conf/icsoc/2010},
  url       = {https://doi.org/10.1007/978-3-642-17358-5_3},
  doi       = {10.1007/978-3-642-17358-5_3},
  timestamp = {Tue, 19 Sep 2017 12:18:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/LohmannW10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zeus/Lohmann10,
  author    = {Niels Lohmann},
  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},
  pages     = {9--16},
  year      = {2010},
  crossref  = {DBLP:conf/zeus/2010},
  url       = {http://ceur-ws.org/Vol-563/paper1.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/Lohmann10},
  bibsource = {dblp computer science bibliography, http://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   = {{IJBPIM}},
  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, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijbpim/LohmannVOS09},
  bibsource = {dblp computer science bibliography, http://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 and Other Models of Concurrency},
  volume    = {2},
  pages     = {46--63},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3_3},
  doi       = {10.1007/978-3-642-00899-3_3},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/topnoc/LohmannVD09},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2009},
  crossref  = {DBLP:conf/acsd/2009},
  url       = {https://doi.org/10.1109/ACSD.2009.11},
  doi       = {10.1109/ACSD.2009.11},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/acsd/LohmannW09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AwadDL09,
  author    = {Ahmed Awad and
               Gero Decker and
               Niels Lohmann},
  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},
  pages     = {5--16},
  year      = {2009},
  crossref  = {DBLP:conf/bpm/2009w},
  url       = {https://doi.org/10.1007/978-3-642-12186-9_2},
  doi       = {10.1007/978-3-642-12186-9_2},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/AwadDL09},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {278--293},
  year      = {2009},
  crossref  = {DBLP:conf/bpm/2009},
  url       = {https://doi.org/10.1007/978-3-642-03848-8_19},
  doi       = {10.1007/978-3-642-03848-8_19},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/FahlandFJKLVW09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LiskeLSW09,
  author    = {Nannette Liske and
               Niels Lohmann and
               Christian Stahl and
               Karsten Wolf},
  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},
  pages     = {607--621},
  year      = {2009},
  crossref  = {DBLP:conf/icsoc/2009},
  url       = {https://doi.org/10.1007/978-3-642-10383-4_44},
  doi       = {10.1007/978-3-642-10383-4_44},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/LiskeLSW09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/LohmannW09,
  author    = {Niels Lohmann and
               Karsten Wolf},
  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},
  pages     = {110--127},
  year      = {2009},
  crossref  = {DBLP:conf/wsfm/2009},
  url       = {https://doi.org/10.1007/978-3-642-14458-5_7},
  doi       = {10.1007/978-3-642-14458-5_7},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/LohmannW09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zeus/KaschnerL09,
  author    = {Kathrin Kaschner 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},
  pages     = {22--28},
  year      = {2009},
  crossref  = {DBLP:conf/zeus/2009},
  url       = {http://ceur-ws.org/Vol-438/paper4.pdf},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/KaschnerL09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zeus/LohmannW09,
  author    = {Niels Lohmann and
               Karsten Wolf},
  title     = {Realizability is controllability},
  booktitle = {1st Central-European Workshop on Services and their Composition, {ZEUS}
               2009, Stuttgart, Germany, March 2-3, 2009. Proceedings},
  pages     = {61--67},
  year      = {2009},
  crossref  = {DBLP:conf/zeus/2009},
  url       = {http://ceur-ws.org/Vol-438/paper10.pdf},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/LohmannW09},
  bibsource = {dblp computer science bibliography, http://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},
  urn       = {urn:nbn:de:0074-438-2},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/2009},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/dke/LohmannMSW08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/awpn/Lohmann08,
  author    = {Niels Lohmann},
  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},
  pages     = {63--68},
  year      = {2008},
  crossref  = {DBLP:conf/awpn/2008},
  url       = {http://ceur-ws.org/Vol-380/paper10.pdf},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/awpn/Lohmann08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Lohmann08,
  author    = {Niels Lohmann},
  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},
  pages     = {132--147},
  year      = {2008},
  crossref  = {DBLP:conf/bpm/2008},
  url       = {https://doi.org/10.1007/978-3-540-85758-7_12},
  doi       = {10.1007/978-3-540-85758-7_12},
  timestamp = {Wed, 28 Jun 2017 19:59:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/Lohmann08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/KaschnerL08,
  author    = {Kathrin Kaschner and
               Niels Lohmann},
  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},
  pages     = {66--78},
  year      = {2008},
  crossref  = {DBLP:conf/icsoc/2008w},
  url       = {https://doi.org/10.1007/978-3-642-01247-1_7},
  doi       = {10.1007/978-3-642-01247-1_7},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/KaschnerL08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/DeckerBKL08,
  author    = {Gero Decker and
               Alistair P. Barros and
               Frank Michael Kraft and
               Niels Lohmann},
  title     = {Non-desynchronizable Service Choreographies},
  booktitle = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
               Sydney, Australia, December 1-5, 2008. Proceedings},
  pages     = {331--346},
  year      = {2008},
  crossref  = {DBLP:conf/icsoc/2008},
  url       = {https://doi.org/10.1007/978-3-540-89652-4_26},
  doi       = {10.1007/978-3-540-89652-4_26},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/DeckerBKL08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/LohmannK08,
  author    = {Niels Lohmann and
               Jens Kleine},
  title     = {Fully-automatic Translation of Open Workflow Net Models into Simple
               Abstract {BPEL} Processes},
  booktitle = {Modellierung 2008, 12.-14. M{\"{a}}rz 2008, Berlin},
  pages     = {57--72},
  year      = {2008},
  crossref  = {DBLP:conf/modellierung/2008},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings127/article2105.html},
  timestamp = {Tue, 31 May 2011 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/modellierung/LohmannK08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Lohmann08,
  author    = {Niels Lohmann},
  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},
  pages     = {191--206},
  year      = {2008},
  crossref  = {DBLP:conf/wsfm/2008},
  url       = {https://doi.org/10.1007/978-3-642-01364-5_12},
  doi       = {10.1007/978-3-642-01364-5_12},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/Lohmann08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/www/KonigLMSW08,
  author    = {Dieter K{\"{o}}nig and
               Niels Lohmann and
               Simon Moser and
               Christian Stahl and
               Karsten Wolf},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/www/2008},
  url       = {http://doi.acm.org/10.1145/1367497.1367603},
  doi       = {10.1145/1367497.1367603},
  timestamp = {Fri, 14 Dec 2012 07:52:21 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/www/KonigLMSW08},
  bibsource = {dblp computer science bibliography, http://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},
  urn       = {urn:nbn:de:0074-380-7},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/awpn/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apn/LohmannMW07,
  author    = {Niels Lohmann and
               Peter Massuthe and
               Karsten Wolf},
  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},
  pages     = {321--341},
  year      = {2007},
  crossref  = {DBLP:conf/apn/2007},
  url       = {https://doi.org/10.1007/978-3-540-73094-1_20},
  doi       = {10.1007/978-3-540-73094-1_20},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/LohmannMW07},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {521--538},
  year      = {2007},
  crossref  = {DBLP:conf/birthday/2007bz},
  url       = {https://doi.org/10.1007/978-3-540-75221-9_25},
  doi       = {10.1007/978-3-540-75221-9_25},
  timestamp = {Sun, 04 Jun 2017 10:04:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/ReisigBFLMS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LohmannMW07,
  author    = {Niels Lohmann and
               Peter Massuthe and
               Karsten Wolf},
  title     = {Behavioral Constraints for Services},
  booktitle = {Business Process Management, 5th International Conference, {BPM} 2007,
               Brisbane, Australia, September 24-28, 2007, Proceedings},
  pages     = {271--287},
  year      = {2007},
  crossref  = {DBLP:conf/bpm/2007},
  url       = {https://doi.org/10.1007/978-3-540-75183-0_20},
  doi       = {10.1007/978-3-540-75183-0_20},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/LohmannMW07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/LohmannKLR07,
  author    = {Niels Lohmann and
               Oliver Kopp and
               Frank Leymann and
               Wolfgang Reisig},
  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},
  pages     = {46--60},
  year      = {2007},
  crossref  = {DBLP:conf/wsfm/2007},
  url       = {https://doi.org/10.1007/978-3-540-79230-7_4},
  doi       = {10.1007/978-3-540-79230-7_4},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/LohmannKLR07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Lohmann07,
  author    = {Niels Lohmann},
  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},
  pages     = {77--91},
  year      = {2007},
  crossref  = {DBLP:conf/wsfm/2007},
  url       = {https://doi.org/10.1007/978-3-540-79230-7_6},
  doi       = {10.1007/978-3-540-79230-7_6},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/Lohmann07},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {139--153},
  year      = {2007},
  crossref  = {DBLP:conf/wsfm/2007},
  url       = {https://doi.org/10.1007/978-3-540-79230-7_10},
  doi       = {10.1007/978-3-540-79230-7_10},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/AalstLMSW07},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ercim/ReisigWBKLMS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LohmannMSW06,
  author    = {Niels Lohmann and
               Peter Massuthe and
               Christian Stahl and
               Daniela Weinberg},
  title     = {Analyzing Interacting {BPEL} Processes},
  booktitle = {Business Process Management, 4th International Conference, {BPM} 2006,
               Vienna, Austria, September 5-7, 2006, Proceedings},
  pages     = {17--32},
  year      = {2006},
  crossref  = {DBLP:conf/bpm/2006},
  url       = {https://doi.org/10.1007/11841760_3},
  doi       = {10.1007/11841760_3},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/LohmannMSW06},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/isola/2006},
  url       = {https://doi.org/10.1109/ISoLA.2006.58},
  doi       = {10.1109/ISoLA.2006.58},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isola/ReisigFLMSWWK06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bpm/2014,
  editor    = {Shazia Wasim Sadiq and
               Pnina Soffer and
               Hagen V{\"{o}}lzer},
  title     = {Business Process Management - 12th International Conference, {BPM}
               2014, Haifa, Israel, September 7-11, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8659},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10172-9},
  doi       = {10.1007/978-3-319-10172-9},
  isbn      = {978-3-319-10171-2},
  timestamp = {Sun, 21 May 2017 00:21:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zeus/2014,
  editor    = {Nico Herzberg and
               Matthias Kunze},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1140},
  urn       = {urn:nbn:de:0074-1140-6},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/sp/wsf2014,
  editor    = {Athman Bouguettaya and
               Quan Z. Sheng and
               Florian Daniel},
  title     = {Web Services Foundations},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-1-4614-7518-7},
  doi       = {10.1007/978-1-4614-7518-7},
  isbn      = {978-1-4614-7517-0},
  timestamp = {Mon, 29 May 2017 13:41:09 +0200},
  biburl    = {http://dblp.org/rec/bib/books/sp/wsf2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2012-6,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Marco Ajmone Marsan and
               Giuliana Franceschinis and
               Jetty Kleijn and
               Lars Michael Kristensen},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {VI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7400},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35179-2},
  doi       = {10.1007/978-3-642-35179-2},
  isbn      = {978-3-642-35178-5},
  timestamp = {Thu, 18 May 2017 09:51:21 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/topnoc/2012-6},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apn/2012,
  editor    = {Serge Haddad and
               Lucia Pomello},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31131-4},
  doi       = {10.1007/978-3-642-31131-4},
  isbn      = {978-3-642-31130-7},
  timestamp = {Fri, 26 May 2017 00:48:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bpm/2012w,
  editor    = {Marcello La Rosa and
               Pnina Soffer},
  title     = {Business Process Management Workshops - {BPM} 2012 International Workshops,
               Tallinn, Estonia, September 3, 2012. Revised Papers},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {132},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36285-9},
  doi       = {10.1007/978-3-642-36285-9},
  isbn      = {978-3-642-36284-2},
  timestamp = {Sun, 21 May 2017 00:21:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2012w},
  bibsource = {dblp computer science bibliography, http://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},
  urn       = {urn:nbn:de:0074-847-4},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bpm/2011,
  editor    = {Stefanie Rinderle{-}Ma and
               Farouk Toumani and
               Karsten Wolf},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23059-2},
  doi       = {10.1007/978-3-642-23059-2},
  isbn      = {978-3-642-23058-5},
  timestamp = {Sun, 21 May 2017 00:21:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2011w,
  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     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31875-7},
  doi       = {10.1007/978-3-642-31875-7},
  isbn      = {978-3-642-31874-0},
  timestamp = {Sun, 04 Jun 2017 10:06:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/2011w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2011,
  editor    = {Gerti Kappel and
               Zakaria Maamar and
               Hamid R. Motahari Nezhad},
  title     = {Service-Oriented Computing - 9th International Conference, {ICSOC}
               2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7084},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-25535-9},
  doi       = {10.1007/978-3-642-25535-9},
  isbn      = {978-3-642-25534-2},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zeus/2011,
  editor    = {Daniel Eichhorn and
               Agnes Koschmider and
               Huayu Zhang},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2011},
  url       = {http://ceur-ws.org/Vol-705},
  urn       = {urn:nbn:de:0074-705-1},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apn/2010,
  editor    = {Johan Lilius and
               Wojciech Penczek},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13675-7},
  doi       = {10.1007/978-3-642-13675-7},
  isbn      = {978-3-642-13674-0},
  timestamp = {Fri, 26 May 2017 00:48:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bpm/2010,
  editor    = {Richard Hull and
               Jan Mendling and
               Stefan Tai},
  title     = {Business Process Management - 8th International Conference, {BPM}
               2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6336},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15618-2},
  doi       = {10.1007/978-3-642-15618-2},
  isbn      = {978-3-642-15617-5},
  timestamp = {Sun, 21 May 2017 00:21:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bpm/2010d,
  editor    = {Marcello La Rosa},
  title     = {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},
  timestamp = {Thu, 14 Sep 2017 13:33:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2010d},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2010,
  editor    = {Paul P. Maglio and
               Mathias Weske and
               Jian Yang and
               Marcelo Fantinato},
  title     = {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},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17358-5},
  doi       = {10.1007/978-3-642-17358-5},
  isbn      = {978-3-642-17357-8},
  timestamp = {Tue, 19 Sep 2017 12:18:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zeus/2010,
  editor    = {Christian Gierds and
               Jan S{\"{u}}rmeli},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-563},
  urn       = {urn:nbn:de:0074-563-8},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2009-2,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst},
  title     = {Transactions on Petri Nets and Other Models of Concurrency II, Special
               Issue on Concurrency in Process-Aware Information Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {5460},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00899-3},
  doi       = {10.1007/978-3-642-00899-3},
  isbn      = {978-3-642-00898-6},
  timestamp = {Thu, 18 May 2017 09:51:21 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/topnoc/2009-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/acsd/2009,
  title     = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5291028},
  isbn      = {978-0-7695-3697-2},
  timestamp = {Mon, 11 May 2015 16:37:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/acsd/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bpm/2009w,
  editor    = {Stefanie Rinderle{-}Ma and
               Shazia Wasim Sadiq and
               Frank Leymann},
  title     = {Business Process Management Workshops, {BPM} 2009 International Workshops,
               Ulm, Germany, September 7, 2009. Revised Papers},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {43},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-12186-9},
  doi       = {10.1007/978-3-642-12186-9},
  isbn      = {978-3-642-12185-2},
  timestamp = {Sun, 21 May 2017 00:21:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2009w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bpm/2009,
  editor    = {Umeshwar Dayal and
               Johann Eder and
               Jana Koehler and
               Hajo A. Reijers},
  title     = {Business Process Management, 7th International Conference, {BPM} 2009,
               Ulm, Germany, September 8-10, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5701},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03848-8},
  doi       = {10.1007/978-3-642-03848-8},
  isbn      = {978-3-642-03847-1},
  timestamp = {Sun, 21 May 2017 00:21:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2009,
  editor    = {Luciano Baresi and
               Chi{-}Hung Chi and
               Jun Suzuki},
  title     = {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},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10383-4},
  doi       = {10.1007/978-3-642-10383-4},
  isbn      = {978-3-642-10382-7},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2009,
  editor    = {Cosimo Laneve and
               Jianwen Su},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14458-5},
  doi       = {10.1007/978-3-642-14458-5},
  isbn      = {978-3-642-14457-8},
  timestamp = {Fri, 26 May 2017 00:48:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/2009},
  bibsource = {dblp computer science bibliography, http://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},
  urn       = {urn:nbn:de:0074-438-2},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/zeus/2009},
  bibsource = {dblp computer science bibliography, http://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},
  urn       = {urn:nbn:de:0074-380-7},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/awpn/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bpm/2008,
  editor    = {Marlon Dumas and
               Manfred Reichert and
               Ming{-}Chien Shan},
  title     = {Business Process Management, 6th International Conference, {BPM} 2008,
               Milan, Italy, September 2-4, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5240},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85758-7},
  doi       = {10.1007/978-3-540-85758-7},
  isbn      = {978-3-540-85757-0},
  timestamp = {Wed, 28 Jun 2017 19:59:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2008w,
  editor    = {George Feuerlicht and
               Winfried Lamersdorf},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-01247-1},
  doi       = {10.1007/978-3-642-01247-1},
  isbn      = {978-3-642-01246-4},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/2008w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2008,
  editor    = {Athman Bouguettaya and
               Ingolf Kr{\"{u}}ger and
               Tiziana Margaria},
  title     = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
               Sydney, Australia, December 1-5, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5364},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89652-4},
  doi       = {10.1007/978-3-540-89652-4},
  isbn      = {978-3-540-89647-0},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoc/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/modellierung/2008,
  editor    = {Thomas K{\"{u}}hne and
               Wolfgang Reisig and
               Friedrich Steimann},
  title     = {Modellierung 2008, 12.-14. M{\"{a}}rz 2008, Berlin},
  series    = {{LNI}},
  volume    = {127},
  publisher = {{GI}},
  year      = {2008},
  isbn      = {978-3-88579-221-5},
  timestamp = {Wed, 14 May 2008 15:27:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/modellierung/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2008,
  editor    = {Roberto Bruni and
               Karsten Wolf},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-01364-5},
  doi       = {10.1007/978-3-642-01364-5},
  isbn      = {978-3-642-01363-8},
  timestamp = {Fri, 26 May 2017 00:48:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/www/2008,
  editor    = {Jinpeng Huai and
               Robin Chen and
               Hsiao{-}Wuen Hon and
               Yunhao Liu and
               Wei{-}Ying Ma and
               Andrew Tomkins and
               Xiaodong Zhang},
  title     = {Proceedings of the 17th International Conference on World Wide Web,
               {WWW} 2008, Beijing, China, April 21-25, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-085-2},
  timestamp = {Fri, 14 Dec 2012 07:52:21 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/www/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apn/2007,
  editor    = {Jetty Kleijn and
               Alexandre Yakovlev},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73094-1},
  doi       = {10.1007/978-3-540-73094-1},
  isbn      = {978-3-540-73093-4},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2007bz,
  editor    = {Cliff B. Jones and
               Zhiming Liu and
               Jim Woodcock},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75221-9},
  doi       = {10.1007/978-3-540-75221-9},
  isbn      = {978-3-540-75220-2},
  timestamp = {Sun, 04 Jun 2017 10:04:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2007bz},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bpm/2007,
  editor    = {Gustavo Alonso and
               Peter Dadam and
               Michael Rosemann},
  title     = {Business Process Management, 5th International Conference, {BPM} 2007,
               Brisbane, Australia, September 24-28, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4714},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75183-0},
  doi       = {10.1007/978-3-540-75183-0},
  isbn      = {978-3-540-75182-3},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2007,
  editor    = {Marlon Dumas and
               Reiko Heckel},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79230-7},
  doi       = {10.1007/978-3-540-79230-7},
  isbn      = {978-3-540-79229-1},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bpm/2006,
  editor    = {Schahram Dustdar and
               Jos{\'{e}} Luiz Fiadeiro and
               Amit P. Sheth},
  title     = {Business Process Management, 4th International Conference, {BPM} 2006,
               Vienna, Austria, September 5-7, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4102},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11841760},
  doi       = {10.1007/11841760},
  isbn      = {3-540-38901-6},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bpm/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2006,
  title     = {Leveraging Applications of Formal Methods, Second International Symposium,
               ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4463675},
  isbn      = {978-0-7695-3071-0},
  timestamp = {Fri, 23 Dec 2016 12:21:36 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/isola/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier