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

• 2008
• 
  Marlon Dumas, Reiko Heckel:
  Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings. Lecture Notes in Computer Science 4937, Springer 2008, ISBN 978-3-540-79229-1 [contents]
• 2007
• 
  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
• 
  Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro:
  From BPEL to SRML: A Formal Transformational Approach. WS-FM 2007: 92-107
• 
  Jörg Desel:
  Controlling Petri Net Process Models. WS-FM 2007: 17-30
• 
  Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour:
  Extending Model Checking to Data-Aware Temporal Properties of Web Services. WS-FM 2007: 31-45
• 
  Qin Li, Huibiao Zhu, Jing Li, Jifeng He:
  Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM 2007: 61-76
• 
  Niels Lohmann:
  A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. WS-FM 2007: 77-91
• 
  Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig:
  Analyzing BPEL4Chor: Verification and Participant Synthesis. WS-FM 2007: 46-60
• 
  Fabio Martinelli, Ilaria Matteucci:
  Synthesis of Web Services Orchestrators in a Timed Setting. WS-FM 2007: 124-138
• 
  Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard:
  Event Structure Semantics of Orc. WS-FM 2007: 154-168
• 
  Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao:
  Towards a Theory of Web Service Choreographies. WS-FM 2007: 1-16
• 
  Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani:
  Modeling Web Service Interactions Using the Coordination Language Reo. WS-FM 2007: 108-123