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

• 2021
• 
  Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard:
  Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning 2021: 57-77
• 
  Parosh Aziz Abdulla:
  Regular Model Checking: Evolution and Perspectives. Model Checking, Synthesis, and Learning 2021: 78-96
• 
  Jakaria Abdullah, Wang Yi:
  Cause-Effect Reaction Latency in Real-Time Systems. Model Checking, Synthesis, and Learning 2021: 41-56
• 
  Simon Dierl, Falk Howar:
  A Taxonomy and Reductions for Common Register Automata Formalisms. Model Checking, Synthesis, and Learning 2021: 186-218
• 
  Markus Frohme, Bernhard Steffen:
  Never-Stop Context-Free Learning. Model Checking, Synthesis, and Learning 2021: 164-185
• 
  Manuel Gieseking, Ernst-Rüdiger Olderog:
  High-Level Representation of Benchmark Families for Petri Games. Model Checking, Synthesis, and Learning 2021: 115-137
• 
  Anthony W. Lin, Philipp Rümmer:
  Regular Model Checking Revisited. Model Checking, Synthesis, and Learning 2021: 97-114
• 
  Tiziana Margaria, Alexander Schieweck:
  Towards Engineering Digital Twins by Active Behaviour Mining. Model Checking, Synthesis, and Learning 2021: 138-163
• 
  Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
  Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning 2021: 1-7
• 
  Yih-Kuen Tsay, Moshe Y. Vardi:
  From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. Model Checking, Synthesis, and Learning 2021: 8-40
• 
  Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
  Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 13030, Springer 2021, ISBN 978-3-030-91383-0 [contents]