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

• 2003
• 
  Uri Abraham, Tamar Pinhas:
  Exercises in Style (Alpha Specifications). Fundam. Informaticae 54(2-3): 107-135 (2003)
• 
  Roberto Barbuti, Luca Tesei:
  A Decidable Notion of Timed Non-Interference. Fundam. Informaticae 54(2-3): 137-150 (2003)
• 
  Amin Coja-Oghlan, Mark-Oliver Stehr:
  Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy. Fundam. Informaticae 54(2-3): 151-164 (2003)
• 
  Ludwik Czaja:
  Proving Nets Correct via Cause-Effect Structures (An Experiment). Fundam. Informaticae 54(2-3): 165-183 (2003)
• 
  Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau:
  Asynchronous Box Calculus. Fundam. Informaticae 54(4): 295-344 (2003)
• 
  Berndt Farwer, Manfred Kudlek, Kundan Misra:
  Some Considerations on Higher-Order Petri Nets. Fundam. Informaticae 54(2-3): 185-193 (2003)
• 
  Nicoletta De Francesco, Antonella Santone, Luca Tesei:
  Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. Fundam. Informaticae 54(2-3): 195-211 (2003)
• 
  Magdalena Kacprzak:
  Undecidability of a Multi-Agent Logic. Fundam. Informaticae 54(2-3): 213-220 (2003)
• 
  Michael Köhler, Heiko Rölke:
  Concurrency in Mobile Object Net Systems. Fundam. Informaticae 54(2-3): 221-235 (2003)
• 
  Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini:
  Dynamic Hierarchical Machines. Fundam. Informaticae 54(2-3): 237-252 (2003)
• 
  Rafal Latkowski:
  On Decomposition for Incomplete Data. Fundam. Informaticae 54(1): 1-16 (2003)
• 
  Mikhail Ju. Moshkov:
  Classification of Infinite Information Systems Depending on Complexity of Decision Trees and Decision Rule Systems. Fundam. Informaticae 54(4): 345-368 (2003)
• 
  Nicolas Peltier:
  Constructing Decision Procedures in Equational Clausal Logic. Fundam. Informaticae 54(1): 17-65 (2003)
• 
  Lech Polkowski:
  Rough Mereology: A Rough Set Paradigm for Unifying Rough Set Theory and Fuzzy Set Theory. Fundam. Informaticae 54(1): 67-88 (2003)
• 
  Karsten Schmidt:
  Distributed Verification with LoLA. Fundam. Informaticae 54(2-3): 253-262 (2003)
• 
  Andrzej Skowron, Jaroslaw Stepaniuk, James F. Peters:
  Rough Sets and Infomorphisms: Towards Approximation of Relations in Distributed Environments. Fundam. Informaticae 54(2-3): 263-277 (2003)
• 
  Tomasz Terlikowski:
  Descriptional independence and the formal definition of sequential control structure. Fundam. Informaticae 54(4): 369-385 (2003)
• 
  Kimmo Varpaaniemi:
  Towards Ambitious Approximation Algorithms in Stubborn Set Optimization. Fundam. Informaticae 54(2-3): 279-294 (2003)
• 
  Alicja Wakulicz-Deja, Piotr Paszek:
  Applying Rough Set Theory to Multi Stage Medical Diagnosing. Fundam. Informaticae 54(4): 387-408 (2003)
• 
  Marcin Wojnarski:
  LTF-C: Architecture, Training Algorithm and Applications of New Neural Classifier. Fundam. Informaticae 54(1): 89-105 (2003)