• 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

• 2013
• 
  Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil:
  Branching Processes of General Petri Nets. Fundam. Informaticae 122(1-2): 31-58 (2013)
• 
  Jakub Daubner, Eduard Toman:
  Neighbourhood of Constant Order in the Interval Graph of a Random Boolean Function. Fundam. Informaticae 122(4): 275-295 (2013)
• 
  Homa Fashandi, James F. Peters:
  Crisp and Fuzzy Topological Interior and Closure Operators with Inclusion Degree. Theory and Applications. Fundam. Informaticae 122(3): 207-225 (2013)
• 
  Daniel Graff, Jan Richling, Matthias Werner:
  Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets. Fundam. Informaticae 122(4): 297-313 (2013)
• 
  Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen:
  Synthesis and Analysis of Product-form Petri Nets. Fundam. Informaticae 122(1-2): 147-172 (2013)
• 
  Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
  Refinement of Synchronizable Places with Multi-workflow Nets. Fundam. Informaticae 122(1-2): 59-83 (2013)
• 
  Jetty Kleijn, Maciej Koutny:
  Mutex Causality in Processes and Traces of General Elementary Nets. Fundam. Informaticae 122(1-2): 119-146 (2013)
• 
  Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci:
  Preface. Fundam. Informaticae 122(1-2) (2013)
• 
  Lakshmanan Kuppusamy, Anand Mahendran, Kamala Krithivasan:
  On the Trade-off Between Ambiguity and Complexity in Contextual Languages. Fundam. Informaticae 122(4): 315-326 (2013)
• 
  Hans Langmaack, Andrzej Salwicki:
  Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce. Fundam. Informaticae 122(3): 227-274 (2013)
• 
  Zhanshan (Sam) Ma:
  Stochastic Populations, Power Law and Fitness Aggregation in Genetic Algorithms. Fundam. Informaticae 122(3): 173-206 (2013)
• 
  Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers:
  A Petri Net Interpretation of Open Reconfigurable Systems. Fundam. Informaticae 122(1-2): 85-117 (2013)
• 
  Malgorzata Przybyla-Kasperek, Alicja Wakulicz-Deja:
  Application of Reduction of the Set of Conditional Attributes in the Process of Global Decision-making. Fundam. Informaticae 122(4): 327-355 (2013)
• 
  Pierre-Alain Reynier, Frédéric Servais:
  Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning. Fundam. Informaticae 122(1-2): 1-30 (2013)
• 
  Yannis Tzitzikas, Panagiotis Papadakos:
  Interactive Exploration of Multi-Dimensional and Hierarchical Information Spaces with Real-Time Preference Elicitation. Fundam. Informaticae 122(4): 357-399 (2013)
• 
  Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
  A Translation of the Existential Model Checking Problem from MITL to HLTL. Fundam. Informaticae 122(4): 401-420 (2013)