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

• 2008
• 
  Amihood Amir, Avivit Levy, Liron Reuveni:
  The Practical Efficiency of Convolutions in Pattern Matching Algorithms. Fundam. Informaticae 84(1): 1-15 (2008)
• 
  Nicholas Asher:
  A Type Driven Theory of Predication with Complex Types. Fundam. Informaticae 84(2): 151-183 (2008)
• 
  Corrado Biasi, Federico Aschieri:
  A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization. Fundam. Informaticae 84(2): 185-205 (2008)
• 
  Orestes Bueno, Prabhu Manyem:
  Polynomial-TimeMaximisation Classes: Syntactic Hierarchy. Fundam. Informaticae 84(1): 111-133 (2008)
• 
  Alexander Clark, Chris Watkins:
  Some Alternatives to Parikh Matrices Using String Kernels. Fundam. Informaticae 84(3-4): 291-303 (2008)
• 
  Manfred Droste, Werner Kuich, George Rahonis:
  Multi-Valued MSO Logics OverWords and Trees. Fundam. Informaticae 84(3-4): 305-327 (2008)
• 
  Ali Hamzeh, Adel Rahmani:
  A New Architecture for Learning Classifier Systems to Solve POMDP Problems. Fundam. Informaticae 84(3-4): 329-351 (2008)
• 
  Hui-Feng Huang, Chin-Chen Chang:
  A Novel Cryptographic Key Assignment Scheme with ID-Based Access Control in a Hierachy. Fundam. Informaticae 84(3-4): 353-361 (2008)
• 
  Tseren-Onolt Ishdorj, Remco Loos, Ion Petre:
  Computational Efficiency of Intermolecular Gene Assembly. Fundam. Informaticae 84(3-4): 363-373 (2008)
• 
  Alexandr Kazda:
  The Chain Relation in Sofic Subshifts. Fundam. Informaticae 84(3-4): 375-390 (2008)
• 
  Andrei V. Kelarev:
  An Algorithm for BCH Codes Extended with Finite State Automata. Fundam. Informaticae 84(1): 51-60 (2008)
• 
  James G. Lefevre, Diane M. Donovan, Ales Drápal:
  Permutation Representation of 3 and 4-Homogenous Latin Bitrades. Fundam. Informaticae 84(1): 99-110 (2008)
• 
  Ching-Chiuan Lin, Nien-Lin Hsueh, Wen-Hsiang Shen:
  Adaptively Embedding Binary Data in an Image. Fundam. Informaticae 84(3-4): 391-402 (2008)
• 
  Yong Liu, Congfu Xu, Qiong Zhang, Yunhe Pan:
  Rough Rule Extracting From Various Conditions: Incremental and Approximate Approaches for Inconsistent Data. Fundam. Informaticae 84(3-4): 403-427 (2008)
• 
  Hongwei Luo, Kathy J. Horadam:
  Simulation and Measurement of Complex Network Growth: the Interplay of Uniform and Preferential Attachment. Fundam. Informaticae 84(1): 61-79 (2008)
• 
  Paulo Oliva, Thomas Streicher:
  On Krivine's Realizability Interpretation of Classical Second-Order Arithmetic. Fundam. Informaticae 84(2): 207-220 (2008)
• 
  Eunhui Park, Kunsoo Park:
  An Improved Boolean Circuit for Maximum Matching in a Convex Bipartite Graph. Fundam. Informaticae 84(1): 81-97 (2008)
• 
  Swarnajyoti Patra, Susmita Ghosh, Ashish Ghosh:
  Change Detection of Remote Sensing Images with Semi-supervised Multilayer Perceptron. Fundam. Informaticae 84(3-4): 429-442 (2008)
• 
  John Power, Miki Tanaka:
  Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundam. Informaticae 84(2): 221-240 (2008)
• 
  Christophe Raffalli, Frédéric Ruyer:
  Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work). Fundam. Informaticae 84(2): 241-258 (2008)
• 
  Kurt Ranalter:
  A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication. Fundam. Informaticae 84(3-4): 443-470 (2008)
• 
  Kangho Roh, Maxime Crochemore, Costas S. Iliopoulos, Kunsoo Park:
  External Memory Algorithms for String Problems. Fundam. Informaticae 84(1): 17-32 (2008)
• 
  Sriparna Saha, Sanghamitra Bandyopadhyay:
  Fuzzy Symmetry Based Real-Coded Genetic Clustering Technique for Automatic Pixel Classification in Remote Sensing Imagery. Fundam. Informaticae 84(3-4): 471-492 (2008)
• 
  Jia F. Weng, James MacGregor Smith, Marcus Brazil, Doreen A. Thomas:
  Equivalence, Indicators, Quasi-indicators and Optimal Steiner Topologies on Four Points in Space. Fundam. Informaticae 84(1): 135-149 (2008)
• 
  Graham White:
  Davidson and Reiter on Actions. Fundam. Informaticae 84(2): 259-289 (2008)
• 
  Hui Zhang, Qing Guo, Costas S. Iliopoulos:
  Algorithms for Computing the lambda-regularities in Strings. Fundam. Informaticae 84(1): 33-49 (2008)