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

• 2020
• 
  Wil M. P. van der Aalst, Alessandro Berti:
  Discovering Object-centric Petri Nets. Fundam. Informaticae 175(1-4): 1-40 (2020)
• 
  Mai Alzamel, Lorraine A. K. Ayad, Giulia Bernardini, Roberto Grossi, Costas S. Iliopoulos, Nadia Pisanti, Solon P. Pissis, Giovanna Rosone:
  Comparing Degenerate Strings. Fundam. Informaticae 175(1-4): 41-58 (2020)
• 
  Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
  Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks. Fundam. Informaticae 175(1-4): 59-95 (2020)
• 
  Maurice H. ter Beek, Maciej Koutny, Grzegorz Rozenberg:
  Preface. Fundam. Informaticae 175(1-4) (2020)
• 
  Eike Best, Raymond R. Devillers, Evgeny Erofeev, Harro Wimmel:
  Target-oriented Petri Net Synthesis. Fundam. Informaticae 175(1-4): 97-122 (2020)
• 
  Josep Carmona, Lluís Padró, Luis Delicado:
  Flexible Process Model Mapping using Relaxation Labeling. Fundam. Informaticae 175(1-4): 123-141 (2020)
• 
  Jörg Desel, Marc Finthammer:
  Stop-transitions of Petri Nets. Fundam. Informaticae 175(1-4): 143-172 (2020)
• 
  Fabian Frei, Juraj Hromkovic, Juhani Karhumäki:
  Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata. Fundam. Informaticae 175(1-4): 173-185 (2020)
• 
  Daniela Genova, Hendrik Jan Hoogeboom, Natasa Jonoska:
  Companions and an Essential Motion of a Reaction System. Fundam. Informaticae 175(1-4): 187-199 (2020)
• 
  Vesa Halava, Tero Harju, Esa Sahla:
  On Shuffling a Word with its Letter-to-Letter Substitution. Fundam. Informaticae 175(1-4): 201-206 (2020)
• 
  Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek:
  Multi-valued Verification of Strategic Ability. Fundam. Informaticae 175(1-4): 207-251 (2020)
• 
  Ryszard Janicki, Lukasz Mikulski:
  Algebraic Structure of Step Traces and Interval Traces. Fundam. Informaticae 175(1-4): 253-280 (2020)
• 
  José Ángel Sánchez Martín, Ion Petre:
  Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets. Fundam. Informaticae 175(1-4): 281-299 (2020)
• 
  P. S. Thiagarajan, Shaofa Yang:
  A Theory of Distributed Markov Chains. Fundam. Informaticae 175(1-4): 301-325 (2020)
• 
  Fons J. Verbeek, Lu Cao:
  L-systems from 3D-imaging of Phenotypes of Arborized Structures. Fundam. Informaticae 175(1-4): 327-345 (2020)