• 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 17 matches

• 2010
• 
  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)
• 2009
• 
  Peter Massuthe:
  Operating guidelines for services. Humboldt University of Berlin, 2009, ISBN 978-90-386-1702-2, pp. 1-266
• 
  Christian Stahl, Peter Massuthe, Jan Bretschneider:
  Deciding Substitutability of Services with Operating Guidelines. Trans. Petri Nets Other Model. Concurr. 2: 172-191 (2009)
• 
  Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf:
  Compositional Service Trees. Petri Nets 2009: 283-302
• 2008
• 
  Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg:
  Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64(1): 38-54 (2008)
• 
  Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf:
  Can I find a partner? Undecidability of partner existence for open nets. Inf. Process. Lett. 108(6): 374-378 (2008)
• 
  Peter Massuthe, Daniela Weinberg:
  Fiona: A Tool to Analyze Interacting Open Nets. AWPN 2008: 99-104
• 2007
• 
  Peter Massuthe, Karsten Wolf:
  An algorithm for matching non-deterministic services with operating guidelines. Int. J. Bus. Process. Integr. Manag. 2(2): 81-90 (2007)
• 
  Niels Lohmann, Peter Massuthe, Karsten Wolf:
  Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341
• 
  Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl:
  Services as a Paradigm of Computation. Formal Methods and Hybrid Real-Time Systems 2007: 521-538
• 
  Niels Lohmann, Peter Massuthe, Karsten Wolf:
  Behavioral Constraints for Services. BPM 2007: 271-287
• 
  Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf:
  From Public Views to Private Views - Correctness-by-Design for Services. WS-FM 2007: 139-153
• 
  Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl:
  Challenges in a Service-Oriented World. ERCIM News 2007(70) (2007)
• 2006
• 
  Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg:
  Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32
• 
  Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner:
  Analysis Techniques for Service Models. ISoLA 2006: 11-17
• 
  Peter Massuthe, Karsten Wolf:
  An Algorithm for Matching Nondeterministic Services with Operating Guidelines. The Role of Business Processes in Service Oriented Architectures 2006
• 2005
• 
  Peter Massuthe, Karsten Schmidt:
  Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. QSIC 2005: 452-457