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

• 2014
• 
  Jack Betts, Berndt Müller:
  Engineering MAS - A Device Integration Framework for Smart Home Environments. Fundam. Informaticae 135(4): 341-353 (2014)
• 
  Folkert Bleichrodt, Jan De Beenhouwer, Jan Sijbers, Kees Joost Batenburg:
  Aligning Projection Images from Binary Volumes. Fundam. Informaticae 135(1-2): 21-42 (2014)
• 
  Srecko Brlek, Nadia Lafrenière:
  Reconstructing Words from a σ-palindromic Language. Fundam. Informaticae 135(1-2): 59-72 (2014)
• 
  Stefano Brocchi:
  A New Approach for the Reconstruction of Object-Based Images in Discrete Tomography. Fundam. Informaticae 135(1-2): 43-57 (2014)
• 
  Valentina Castiglioni, Ruggero Lanotte, Simone Tini:
  A Specification Format for Rooted Branching Bisimulation. Fundam. Informaticae 135(4): 355-369 (2014)
• 
  Marco Compagnoni, Roberto Notari:
  TDOA-based Localization in Two Dimensions: the Bifurcation Curve. Fundam. Informaticae 135(1-2): 199-210 (2014)
• 
  Andreea Denitiu, Stefania Petra, Claudius Schnörr, Christoph Schnörr:
  Phase Transitions and Cosparse Tomographic Recovery of Compound Solid Bodies from Few Projections. Fundam. Informaticae 135(1-2): 73-102 (2014)
• 
  Paolo Dulio, Andrea Frosini, Grzegorz Rozenberg:
  Preface. Fundam. Informaticae 135(1-2): v-xxi (2014)
• 
  Roberto Fedele, Antonia Ciani, Fabrizio Fiori:
  X-ray Microtomography under Loading and 3D-Volume Digital Image Correlation. A Review. Fundam. Informaticae 135(1-2): 171-197 (2014)
• 
  Rodolfo A. Fiorini:
  How Random is Your Tomographic Noise? A Number Theoretic Transform (NTT) Approach. Fundam. Informaticae 135(1-2): 135-170 (2014)
• 
  Mohsen Ghasemi:
  An Algorithmic-type Classification of Tetravalent One-regular Graphs Using Computer Algebra Tools. Fundam. Informaticae 135(3): 211-228 (2014)
• 
  Alexandre Goupy, Silvia M. C. Pagani:
  Probabilistic Reconstruction of hv-convex Polyominoes from Noisy Projection Data. Fundam. Informaticae 135(1-2): 117-134 (2014)
• 
  Adam Grabowski:
  Efficient Rough Set Theory Merging. Fundam. Informaticae 135(4): 371-385 (2014)
• 
  Norbert Hantos, Péter Balázs:
  Random Generation of hv-Convex Polyominoes with Given Horizontal Projection. Fundam. Informaticae 135(1-2): 103-115 (2014)
• 
  Frank Heitmann, Michael Köhler-Bußmeier:
  Structural and Dynamic Restrictions of Elementary Object Systems. Fundam. Informaticae 135(4): 387-401 (2014)
• 
  Magdalena Kacprzak, Anna Sawicka:
  Identification of Formal Fallacies in a Natural Dialogue. Fundam. Informaticae 135(4): 403-417 (2014)
• 
  Joanna Karbowska-Chilinska, Pawel Zabielski:
  Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows. Fundam. Informaticae 135(4): 419-431 (2014)
• 
  Armen Kostanyan, Paruyr Khnkoyan:
  Computations in Boolean Algebra with Approximation. Fundam. Informaticae 135(3): 229-241 (2014)
• 
  Linh Anh Nguyen, Joanna Golinska-Pilarek:
  An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ. Fundam. Informaticae 135(4): 433-449 (2014)
• 
  Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki:
  SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework. Fundam. Informaticae 135(4): 451-466 (2014)
• 
  Panpan Niu, Xiangyang Wang, Hong-Ying Yang, Pei Wang, Ai-Long Wang:
  A Robust Digital Watermarking Based on Local Complex Angular Radial Transform. Fundam. Informaticae 135(3): 243-268 (2014)
• 
  Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen:
  Quantitative Analysis of Lattice-valued Kripke Structures. Fundam. Informaticae 135(3): 269-293 (2014)
• 
  Wojciech Penczek, Ludwik Czaja:
  Preface. Fundam. Informaticae 135(4): i (2014)
• 
  Linda Plantagie, Kees Joost Batenburg:
  Approximating Algebraic Tomography Methods by Filtered Backprojection: A Local Filter Approach. Fundam. Informaticae 135(1-2): 1-19 (2014)
• 
  Agata Pólrola, Piotr Cybula, Artur Meski:
  SMT-Based Reachability Checking for Bounded Time Petri Nets. Fundam. Informaticae 135(4): 467-482 (2014)
• 
  Piotr Przymus, Krzysztof Kaczmarski, Krzysztof Stencel:
  A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans. Fundam. Informaticae 135(4): 483-501 (2014)
• 
  Zbigniew Suraj, Piotr Grochowalski:
  About New Version of RSDS System. Fundam. Informaticae 135(4): 503-519 (2014)
• 
  Pavel Surynek, Petra Surynková, Milos Chromý:
  The Impact of a Bi-connected Graph Decomposition on Solving Cooperative Path-finding Problems. Fundam. Informaticae 135(3): 295-308 (2014)
• 
  Annegret Katrin Wagler, Jan-Thierry Wegener:
  Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility. Fundam. Informaticae 135(4): 521-535 (2014)
• 
  Xiangyang Wang, Yong-Wei Li, Panpan Niu, Hong-Ying Yang, Dong-Ming Li:
  Content-based Image Retrieval using Visual Attention Point Features. Fundam. Informaticae 135(3): 309-329 (2014)

skipping 3 more matches