Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive 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}
}
@inproceedings{DBLP:conf/bpm/LohmannF14,
author = {Niels Lohmann and
Dirk Fahland},
title = {Where Did {I} Go Wrong? - Explaining Errors in Business Process Models},
booktitle = {{BPM}},
series = {Lecture Notes in Computer Science},
volume = {8659},
pages = {283--300},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/zeus/Lohmann14,
author = {Niels Lohmann},
title = {Where did {I} go wrong? - Explaining Errors in Business Process Models},
booktitle = {{ZEUS}},
series = {{CEUR} Workshop Proceedings},
volume = {1140},
pages = {8--16},
publisher = {CEUR-WS.org},
year = {2014}
}
@incollection{DBLP:books/sp/wsf14/LohmannW14,
author = {Niels Lohmann and
Karsten Wolf},
title = {From Artifacts to Activities},
booktitle = {Web Services Foundations},
pages = {109--135},
publisher = {Springer},
year = {2014}
}
@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}
}
@article{DBLP:journals/emisa/WangDWLSW13,
author = {Jianmin Wang and
Florian Daniel and
Barbara Weber and
Niels Lohmann and
Minseok Song and
Petia Wohed},
title = {{BPM} Newsletter},
journal = {{EMISA} Forum},
volume = {33},
number = {1},
pages = {37--40},
year = {2013}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/apn/LehmannLW12,
author = {Andreas Lehmann and
Niels Lohmann and
Karsten Wolf},
title = {Stubborn Sets for Simple Linear Time Properties},
booktitle = {Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {228--247},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/bpm/LehmannL12,
author = {Andreas Lehmann and
Niels Lohmann},
title = {Modeling Wizard for Confidential Business Processes},
booktitle = {Business Process Management Workshops},
series = {Lecture Notes in Business Information Processing},
volume = {132},
pages = {675--688},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/zeus/LehmannL12,
author = {Andreas Lehmann and
Niels Lohmann},
title = {Model Support for Confidential Service-Oriented Business Processes},
booktitle = {{ZEUS}},
series = {{CEUR} Workshop Proceedings},
volume = {847},
pages = {136--143},
publisher = {CEUR-WS.org},
year = {2012}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/bpm/Lohmann11,
author = {Niels Lohmann},
title = {Compliance by Design for Artifact-Centric Business Processes},
booktitle = {{BPM}},
series = {Lecture Notes in Computer Science},
volume = {6896},
pages = {99--115},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/icsoc/LohmannN11,
author = {Niels Lohmann and
Martin Nyolt},
title = {Artifact-Centric Modeling Using {BPMN}},
booktitle = {{ICSOC} Workshops},
series = {Lecture Notes in Computer Science},
volume = {7221},
pages = {54--65},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/icsoc/LohmannW11,
author = {Niels Lohmann and
Karsten Wolf},
title = {Decidability Results for Choreography Realization},
booktitle = {{ICSOC}},
series = {Lecture Notes in Computer Science},
volume = {7084},
pages = {92--107},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/zeus/Lohmann11,
author = {Niels Lohmann},
title = {Internal Behavior Reduction for Partner Synthesis},
booktitle = {{ZEUS}},
series = {{CEUR} Workshop Proceedings},
volume = {705},
pages = {96--103},
publisher = {CEUR-WS.org},
year = {2011}
}
@phdthesis{DBLP:phd/de/Lohmann2010,
author = {Niels Lohmann},
title = {Correctness of services and their composition},
school = {University of Rostock},
year = {2010}
}
@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}
}
@inproceedings{DBLP:conf/apn/LohmannW10,
author = {Niels Lohmann and
Daniela Weinberg},
title = {Wendy: {A} Tool to Synthesize Partners for Services},
booktitle = {Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {6128},
pages = {297--307},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/awpn/GierdsL10,
author = {Christian Gierds and
Niels Lohmann},
title = {A Graphical User Interface for Service Adaptation},
booktitle = {{AWPN}},
series = {{CEUR} Workshop Proceedings},
volume = {643},
pages = {136--141},
publisher = {CEUR-WS.org},
year = {2010}
}
@inproceedings{DBLP:conf/awpn/LohmannMS10,
author = {Niels Lohmann and
Stephan Mennicke and
Christian Sura},
title = {The Petri Net {API} {A} Collection of Petri Net-related Functions},
booktitle = {{AWPN}},
series = {{CEUR} Workshop Proceedings},
volume = {643},
pages = {148--153},
publisher = {CEUR-WS.org},
year = {2010}
}
@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 = {{BPM}},
series = {Lecture Notes in Computer Science},
volume = {6336},
pages = {95--111},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/bpm/Lohmann10,
author = {Niels Lohmann},
title = {service-technology.org/live - Replaying tool experiments in a Web
browser},
booktitle = {{BPM} (Demos)},
series = {{CEUR} Workshop Proceedings},
volume = {615},
publisher = {CEUR-WS.org},
year = {2010}
}
@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 = {{BPM}},
series = {Lecture Notes in Computer Science},
volume = {6336},
pages = {61--77},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/icsoc/LohmannW10,
author = {Niels Lohmann and
Karsten Wolf},
title = {Artifact-Centric Choreographies},
booktitle = {{ICSOC}},
series = {Lecture Notes in Computer Science},
volume = {6470},
pages = {32--46},
year = {2010}
}
@inproceedings{DBLP:conf/zeus/Lohmann10,
author = {Niels Lohmann},
title = {Communication models for services},
booktitle = {{ZEUS}},
series = {{CEUR} Workshop Proceedings},
volume = {563},
pages = {9--16},
publisher = {CEUR-WS.org},
year = {2010}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/acsd/LohmannW09,
author = {Niels Lohmann and
Karsten Wolf},
title = {Petrifying Operating Guidelines for Services},
booktitle = {{ACSD}},
pages = {80--88},
publisher = {{IEEE} Computer Society},
year = {2009}
}
@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},
series = {Lecture Notes in Business Information Processing},
volume = {43},
pages = {5--16},
publisher = {Springer},
year = {2009}
}
@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 = {{BPM}},
series = {Lecture Notes in Computer Science},
volume = {5701},
pages = {278--293},
publisher = {Springer},
year = {2009}
}
@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 = {ICSOC/ServiceWave},
series = {Lecture Notes in Computer Science},
volume = {5900},
pages = {607--621},
year = {2009}
}
@inproceedings{DBLP:conf/wsfm/LohmannW09,
author = {Niels Lohmann and
Karsten Wolf},
title = {Realizability Is Controllability},
booktitle = {{WS-FM}},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {110--127},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/zeus/KaschnerL09,
author = {Kathrin Kaschner and
Niels Lohmann},
title = {Does my service have unspecified behavior?},
booktitle = {{ZEUS}},
series = {{CEUR} Workshop Proceedings},
volume = {438},
pages = {22--28},
publisher = {CEUR-WS.org},
year = {2009}
}
@inproceedings{DBLP:conf/zeus/LohmannW09,
author = {Niels Lohmann and
Karsten Wolf},
title = {Realizability is controllability},
booktitle = {{ZEUS}},
series = {{CEUR} Workshop Proceedings},
volume = {438},
pages = {61--67},
publisher = {CEUR-WS.org},
year = {2009}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/awpn/Lohmann08,
author = {Niels Lohmann},
title = {Decompositional Calculation of Operating Guidelines Using Free Choice
Conflicts},
booktitle = {{AWPN}},
series = {{CEUR} Workshop Proceedings},
volume = {380},
pages = {63--68},
publisher = {CEUR-WS.org},
year = {2008}
}
@inproceedings{DBLP:conf/bpm/Lohmann08,
author = {Niels Lohmann},
title = {Correcting Deadlocking Service Choreographies Using a Simulation-Based
Graph Edit Distance},
booktitle = {{BPM}},
series = {Lecture Notes in Computer Science},
volume = {5240},
pages = {132--147},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/icsoc/KaschnerL08,
author = {Kathrin Kaschner and
Niels Lohmann},
title = {Automatic Test Case Generation for Interacting Services},
booktitle = {{ICSOC} Workshops},
series = {Lecture Notes in Computer Science},
volume = {5472},
pages = {66--78},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/icsoc/DeckerBKL08,
author = {Gero Decker and
Alistair Barros and
Frank Michael Kraft and
Niels Lohmann},
title = {Non-desynchronizable Service Choreographies},
booktitle = {{ICSOC}},
series = {Lecture Notes in Computer Science},
volume = {5364},
pages = {331--346},
year = {2008}
}
@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},
series = {{LNI}},
volume = {{P-127}},
pages = {57--72},
publisher = {{GI}},
year = {2008}
}
@inproceedings{DBLP:conf/wsfm/Lohmann08,
author = {Niels Lohmann},
title = {Why Does My Service Have No Partners?},
booktitle = {{WS-FM}},
series = {Lecture Notes in Computer Science},
volume = {5387},
pages = {191--206},
publisher = {Springer},
year = {2008}
}
@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 = {{WWW}},
pages = {785--794},
publisher = {{ACM}},
year = {2008}
}
@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}
}
@inproceedings{DBLP:conf/apn/LohmannMW07,
author = {Niels Lohmann and
Peter Massuthe and
Karsten Wolf},
title = {Operating Guidelines for Finite-State Services},
booktitle = {{ICATPN}},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {321--341},
publisher = {Springer},
year = {2007}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {4700},
pages = {521--538},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/bpm/LohmannMW07,
author = {Niels Lohmann and
Peter Massuthe and
Karsten Wolf},
title = {Behavioral Constraints for Services},
booktitle = {{BPM}},
series = {Lecture Notes in Computer Science},
volume = {4714},
pages = {271--287},
publisher = {Springer},
year = {2007}
}
@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 = {{WS-FM}},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {46--60},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/wsfm/Lohmann07,
author = {Niels Lohmann},
title = {A Feature-Complete Petri Net Semantics for {WS-BPEL} 2.0},
booktitle = {{WS-FM}},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {77--91},
publisher = {Springer},
year = {2007}
}
@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 = {{WS-FM}},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {139--153},
publisher = {Springer},
year = {2007}
}
@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}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {4102},
pages = {17--32},
publisher = {Springer},
year = {2006}
}
@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 = {ISoLA},
pages = {11--17},
publisher = {{IEEE} Computer Society},
year = {2006}
}
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 2024-04-25 01:24 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 was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
