• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 64 matches

• 2021
• 
  Mina Ghomi, Hendrik Lohmann, Andreas Mühling, Niels Pinkwart:
  Fachfremd unterrichten - Chancen und Grenzen. INFOS 2021: 305-306
• 2015
• 
  Rafael Accorsi, Andreas Lehmann, Niels Lohmann:
  Information leak detection in business process models: Theory, application, and tool support. Inf. Syst. 47: 244-257 (2015)
• 2014
• 
  Niels Lohmann, Dirk Fahland:
  Where Did I Go Wrong? - Explaining Errors in Business Process Models. BPM 2014: 283-300
• 
  Niels Lohmann:
  Where did I go wrong? - Explaining Errors in Business Process Models. ZEUS 2014: 8-16
• 
  Niels Lohmann, Karsten Wolf:
  From Artifacts to Activities. Web Services Foundations 2014: 109-135
• 
  Niels Lohmann, Minseok Song, Petia Wohed:
  Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers. Lecture Notes in Business Information Processing 171, Springer 2014, ISBN 978-3-319-06256-3 [contents]
• 2013
• 
  Jianmin Wang, Florian Daniel, Barbara Weber, Niels Lohmann, Minseok Song, Petia Wohed:
  BPM Newsletter. EMISA Forum 33(1): 37-40 (2013)
• 
  Niels Lohmann:
  Compliance by design for artifact-centric business processes. Inf. Syst. 38(4): 606-618 (2013)
• 
  Maurice H. ter Beek, Niels Lohmann:
  Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7843, Springer 2013, ISBN 978-3-642-38229-1 [contents]
• 
  Oliver Kopp, Niels Lohmann:
  Proceedings of the 5^th Central-European Workshop on Services and their Composition, Rostock, Germany, February 21-22, 2013. CEUR Workshop Proceedings 1029, CEUR-WS.org 2013 [contents]
• 
  Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
  Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR abs/1309.2485 (2013)
• 2012
• 
  Wil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa:
  Ensuring correctness during process configuration via partner synthesis. Inf. Syst. 37(6): 574-592 (2012)
• 
  Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel:
  Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6: 169-196 (2012)
• 
  Andreas Lehmann, Niels Lohmann, Karsten Wolf:
  Stubborn Sets for Simple Linear Time Properties. Petri Nets 2012: 228-247
• 
  Andreas Lehmann, Niels Lohmann:
  Modeling Wizard for Confidential Business Processes. Business Process Management Workshops 2012: 675-688
• 
  Andreas Lehmann, Niels Lohmann:
  Model Support for Confidential Service-Oriented Business Processes. ZEUS 2012: 136-143
• 
  Niels Lohmann, Simon Moser:
  Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), Tallinn, Estonia, September 4, 2012. CEUR Workshop Proceedings 940, CEUR-WS.org 2012 [contents]
• 
  Andreas Schönberger, Oliver Kopp, Niels Lohmann:
  Proceedings of the 4^th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012. CEUR Workshop Proceedings 847, CEUR-WS.org 2012 [contents]
• 
  Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
  Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs/1209.2382 (2012)
• 2011
• 
  Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf:
  Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70(5): 448-466 (2011)
• 
  Niels Lohmann, Karsten Wolf:
  Compact Representations and Efficient Algorithms for Operating Guidelines. Fundam. Informaticae 108(1-2): 43-62 (2011)
• 
  Niels Lohmann, Daniela Weinberg:
  Wendy: A Tool to Synthesize Partners for Services. Fundam. Informaticae 113(3-4): 295-311 (2011)
• 
  Niels Lohmann:
  Compliance by Design for Artifact-Centric Business Processes. BPM 2011: 99-115
• 
  Niels Lohmann, Martin Nyolt:
  Artifact-Centric Modeling Using BPMN. ICSOC Workshops 2011: 54-65
• 
  Niels Lohmann, Karsten Wolf:
  Decidability Results for Choreography Realization. ICSOC 2011: 92-107
• 
  Niels Lohmann:
  Internal Behavior Reduction for Partner Synthesis. ZEUS 2011: 96-103
• 2010
• 
  Niels Lohmann:
  Correctness of services and their composition. University of Rostock, 2010, ISBN 978-90-386-2318-4, pp. 1-189
• 
  Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf:
  Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. 53(1): 90-106 (2010)
• 
  Niels Lohmann, Daniela Weinberg:
  Wendy: A Tool to Synthesize Partners for Services. Petri Nets 2010: 297-307
• 
  Christian Gierds, Niels Lohmann:
  A Graphical User Interface for Service Adaptation. AWPN 2010: 136-141

skipping 34 more matches