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

• 2016
• 
  Mario Abarca, Daniel Rivera:
  Graph Theoretical and Algorithmic Characterizations of Positive Definite Symmetric Quasi-Cartan Matrices. Fundam. Informaticae 149(3): 241-261 (2016)
• 
  Fabio Alessi, Felice Cardone:
  Tiered Objects. Fundam. Informaticae 149(3): 263-295 (2016)
• 
  Mario Alviano:
  Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. Fundam. Informaticae 149(1-2): 1-34 (2016)
• 
  Roman Barták, Jindrich Vodrázka:
  An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner. Fundam. Informaticae 149(1-2): 35-60 (2016)
• 
  Jan A. Bergstra, Cornelis A. Middelburg:
  Instruction Sequence Size Complexity of Parity. Fundam. Informaticae 149(3): 297-309 (2016)
• 
  Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni:
  Preface. Fundam. Informaticae 149(1-2): v-vii (2016)
• 
  Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart:
  Constrained Expressions and their Derivatives. Fundam. Informaticae 149(3): 311-361 (2016)
• 
  Ernst-Erich Doberkat:
  Bisimulation Cuts For Structuring Markov Transition Systems. Fundam. Informaticae 149(4): 363-383 (2016)
• 
  Maciej Grzeskowiak:
  Pairing-Friendly Primes for Abelian Varieties. Fundam. Informaticae 149(4): 385-400 (2016)
• 
  Toni Mancini:
  Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts. Fundam. Informaticae 149(1-2): 61-100 (2016)
• 
  Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
  SyLVaaS: System Level Formal Verification as a Service. Fundam. Informaticae 149(1-2): 101-132 (2016)
• 
  Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
  Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Informaticae 149(1-2): 133-158 (2016)
• 
  Peter Schüller:
  Modeling Variations of First-Order Horn Abduction in Answer Set Programming. Fundam. Informaticae 149(1-2): 159-207 (2016)
• 
  Mauro Vallati, Ivan Serina, Alessandro Saetti, Alfonso Emilio Gerevini:
  Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning. Fundam. Informaticae 149(1-2): 209-240 (2016)
• 
  Irina B. Virbitskaite, Dmitriy Bushin, Eike Best:
  True Concurrent Equivalences in Time Petri Nets. Fundam. Informaticae 149(4): 401-418 (2016)
• 
  Lukasz Wróbel, Marek Sikora, Marcin Michalak:
  Rule Quality Measures Settings in Classification, Regression and Survival Rule Induction - an Empirical Approach. Fundam. Informaticae 149(4): 419-449 (2016)
• 
  Tingfang Wu, Yanfeng Wang, Suxia Jiang, Xiaolong Shi:
  Small Universal Spiking Neural P Systems with Homogenous Neurons and Synapses. Fundam. Informaticae 149(4): 451-470 (2016)