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

• 2004
• 
  Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello:
  Modelling Mobility with Petri Hypernets. WADT 2004: 28-44
• 
  Carlos Caleiro, Jaime Ramos:
  Cryptomorphisms at Work. WADT 2004: 45-60
• 
  Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff:
  Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT 2004: 61-78
• 
  Reiko Heckel, Sebastian Thöne:
  Behavior-Preserving Refinement Relations between Dynamic Software Architectures. WADT 2004: 1-27
• 
  Antónia Lopes, José Luiz Fiadeiro:
  Algebraic Semantics of Design Abstractions for Context-Awareness. WADT 2004: 79-93
• 
  Christoph Lüth, Markus Roggenbach, Lutz Schröder:
  CCC - The Casl Consistency Checker. WADT 2004: 94-105
• 
  Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner:
  Ontologies for the Semantic Web in Casl. WADT 2004: 106-125
• 
  Narciso Martí-Oliet, José Meseguer, Miguel Palomino:
  Theoroidal Maps as Algebraic Simulations. WADT 2004: 126-143
• 
  Michal Misiak:
  Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems. WADT 2004: 144-161
• 
  Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
  A Simple Refinement Language for Casl. WADT 2004: 162-185
• 
  Nikos Mylonakis, Fernando Orejas:
  A Distributed and Mobile Component System Based on the Ambient Calculus. WADT 2004: 186-200
• 
  Arnd Poetzsch-Heffter, Nicole Rauch:
  Application and Formal Specification of Sorted Term-Position Algebras. WADT 2004: 201-217
• 
  Grigore Rosu:
  From Conditional to Unconditional Rewriting. WADT 2004: 218-233
• 
  Lutz Schröder, Till Mossakowski, Christoph Lüth:
  Type Class Polymorphism in an Institutional Framework. WADT 2004: 234-251
• 
  Artur Zawlocki:
  Architectural Specifications for Reactive Systems. WADT 2004: 252-269
• 
  José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas:
  Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3423, Springer 2004, ISBN 3-540-25327-0 [contents]