Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDBibTeX records: Niels Lohmann
@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},
urn = {urn:nbn:de:0074-1029-2},
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},
eprinttype = {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},
urn = {urn:nbn:de:0074-940-9},
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},
urn = {urn:nbn:de:0074-847-4},
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},
eprinttype = {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. Informaticae},
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 = {Fri, 18 Sep 2020 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. Informaticae},
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 = {Fri, 18 Sep 2020 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, 27 Oct 2020 14:17:24 +0100},
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},
urn = {urn:nbn:de:gbv:28-diss2010-0138-3},
isbn = {978-90-386-2318-4},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
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/awpn/GierdsL10,
author = {Christian Gierds and
Niels Lohmann},
editor = {Martin Schwarick and
Monika Heiner},
title = {A Graphical User Interface for Service Adaptation},
booktitle = {Proceedings of the 17th German Workshop on Algorithms and Tools for
Petri Nets, Cottbus, Germany, October 07-08, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {643},
pages = {136--141},
publisher = {CEUR-WS.org},
year = {2010},
url = {http://ceur-ws.org/Vol-643/paper16.pdf},
timestamp = {Thu, 10 Dec 2020 16:56:01 +0100},
biburl = {https://dblp.org/rec/conf/awpn/GierdsL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/LohmannMS10,
author = {Niels Lohmann and
Stephan Mennicke and
Christian Sura},
editor = {Martin Schwarick and
Monika Heiner},
title = {The Petri Net {API} {A} Collection of Petri Net-related Functions},
booktitle = {Proceedings of the 17th German Workshop on Algorithms and Tools for
Petri Nets, Cottbus, Germany, October 07-08, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {643},
pages = {148--153},
publisher = {CEUR-WS.org},
year = {2010},
url = {http://ceur-ws.org/Vol-643/paper18.pdf},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/awpn/LohmannMS10.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 = {Wed, 14 Nov 2018 00:00:00 +0100},
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 = {Thu, 21 Jan 2021 17:37:12 +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 = {Wed, 17 Mar 2021 00:00:00 +0100},
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 = {Sat, 05 Sep 2020 01:00:00 +0200},
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 = {Tue, 28 May 2019 01:00:00 +0200},
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},
urn = {urn:nbn:de:0074-438-2},
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 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 = {Mon, 16 Aug 2021 01:00:00 +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 = {Mon, 15 Feb 2021 14:16:47 +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},
urn = {urn:nbn:de:0074-380-7},
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 = {Sun, 25 Oct 2020 23:08:29 +0100},
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 = {Fri, 26 May 2017 01:00:00 +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 = {Wed, 14 Nov 2018 00:00:00 +0100},
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 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2022-08-19 00:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
