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

• 2019
• 
  L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe:
  Executable component-based semantics. J. Log. Algebraic Methods Program. 103: 184-212 (2019)
• 
  Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
  The PBPO graph transformation approach. J. Log. Algebraic Methods Program. 103: 213-231 (2019)
• 
  Sélinde van Engelenburg, Marijn Janssen, Bram Klievink:
  Designing context-aware systems: A method for understanding and analysing context in practice. J. Log. Algebraic Methods Program. 103: 79-104 (2019)
• 
  Daniel Schnetzer Fava, Martin Steffen, Volker Stolz:
  Operational semantics of a weak memory model with channel synchronization. J. Log. Algebraic Methods Program. 103: 1-30 (2019)
• 
  Marcel Jackson, Szabolcs Mikulás:
  Domain and range for angelic and demonic compositions. J. Log. Algebraic Methods Program. 103: 62-78 (2019)
• 
  Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi:
  On series-parallel pomset languages: Rationality, context-freeness and automata. J. Log. Algebraic Methods Program. 103: 130-153 (2019)
• 
  Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani:
  An evaluation of interaction paradigms for active objects. J. Log. Algebraic Methods Program. 103: 154-183 (2019)
• 
  Leen Lambers, Kristopher Born, Jens Kosiol, Daniel Strüber, Gabriele Taentzer:
  Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach. J. Log. Algebraic Methods Program. 103: 105-129 (2019)
• 
  Wojciech Mostowski:
  Model-based fault injection for testing gray-box systems. J. Log. Algebraic Methods Program. 103: 31-45 (2019)
• 
  Jeremy Sproston:
  Verification and control for probabilistic hybrid automata with finite bisimulations. J. Log. Algebraic Methods Program. 103: 46-61 (2019)