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

• 2022
• 
  Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw:
  Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods Syst. Des. 61(1): 63-89 (2022)
• 
  Léo Exibard, Emmanuel Filiot, Ayrat Khalimov:
  Church synthesis on register automata over linearly ordered data domains. Formal Methods Syst. Des. 61(2): 290-337 (2022)
• 
  Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
  Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. 61(2): 139-163 (2022)
• 
  Felipe Gorostiaga, César Sánchez:
  Runtime verification of real-time event streams using the tool HStriver. Formal Methods Syst. Des. 61(1): 3-34 (2022)
• 
  Marieke Huisman, Corina S. Pasareanu, Naijun Zhan:
  Preface for the formal methods in system design special issue on 'Formal Methods 2021'. Formal Methods Syst. Des. 61(1): 1-2 (2022)
• 
  Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening:
  Enhancing active model learning with equivalence checking using simulation relations. Formal Methods Syst. Des. 61(2): 164-197 (2022)
• 
  Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy:
  Symbolic encoding of LL(1) parsing and its applications. Formal Methods Syst. Des. 61(2): 338-379 (2022)
• 
  Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
  The probabilistic termination tool amber. Formal Methods Syst. Des. 61(1): 90-109 (2022)
• 
  Andrea Pferscher, Bernhard K. Aichernig:
  Fingerprinting and analysis of Bluetooth devices with automata learning. Formal Methods Syst. Des. 61(1): 35-62 (2022)
• 
  Elizabeth Polgreen, Guillermo Alberto Pérez:
  Preface for the formal methods in system design special issue on SYNT 2021. Formal Methods Syst. Des. 61(2): 137-138 (2022)
• 
  Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet:
  Dissecting ltlsynt. Formal Methods Syst. Des. 61(2): 248-289 (2022)
• 
  Felix A. Wolf, Malte Schwerhoff, Peter Müller:
  Concise outlines for a complex logic: a proof outline checker for TaDA. Formal Methods Syst. Des. 61(1): 110-136 (2022)
• 
  Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang:
  Synbit: synthesizing bidirectional programs using unidirectional sketches. Formal Methods Syst. Des. 61(2): 198-247 (2022)