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

• 2006
• 
  Symeon Bozapalidis, Antonios Kalampakas:
  Recognizability of graph and pattern languages. Acta Informatica 42(8-9): 553-581 (2006)
• 
  Srecko Brlek, Elisa Pergola, Olivier Roques:
  Non uniform random generation of generalized Motzkin paths. Acta Informatica 42(8-9): 603-616 (2006)
• 
  Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg:
  Embedding linear orders in grids. Acta Informatica 42(6-7): 419-428 (2006)
• 
  Leah Epstein, Tamir Tassa:
  Vector assignment schemes for asymmetric settings. Acta Informatica 42(6-7): 501-514 (2006)
• 
  Wim H. Hesselink:
  Splitting forward simulations to copewith liveness. Acta Informatica 42(8-9): 583-602 (2006)
• 
  Francesca Levi:
  A typed encoding of boxed into safe ambients. Acta Informatica 42(6-7): 429-500 (2006)
• 
  Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue:
  Refinement of actions for real-time concurrent systems with causal ambiguity. Acta Informatica 42(6-7): 389-418 (2006)
• 
  Alexander Meduna:
  Deep pushdown automata. Acta Informatica 42(8-9): 541-552 (2006)
• 
  Nikolaj Tatti:
  Safe projections of binary data sets. Acta Informatica 42(8-9): 617-638 (2006)
• 
  Ferucio Laurentiu Tiplea, Constantin Enea:
  Abstractions of data types. Acta Informatica 42(8-9): 639-671 (2006)
• 
  Alberto Trombetta, Danilo Montesi:
  Equivalences and optimizations in an expressive XSLT subset. Acta Informatica 42(6-7): 515-539 (2006)
• 2005
• 
  Martin Berger, Kohei Honda, Nobuko Yoshida:
  Genericity and the pi-calculus. Acta Informatica 42(2-3): 83-141 (2005)
• 
  Lorenzo Bettini, Betti Venneri, Viviana Bono:
  MOMI: a calculus for mobile mixins. Acta Informatica 42(2-3): 143-190 (2005)
• 
  Markus Büttner:
  Enhanced prefetching and caching strategies for single- and multi-disk systems. Acta Informatica 42(1): 21-42 (2005)
• 
  Iwona Cieslik:
  On-line coloring and cliques covering for KK_{s, t}-free graphs. Acta Informatica 42(1): 1-20 (2005)
• 
  Simon J. Gay, Malcolm Hole:
  Subtyping for session types in the pi calculus. Acta Informatica 42(2-3): 191-225 (2005)
• 
  Floris Geerts, Lieven Smits, Jan Van den Bussche:
  N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets. Acta Informatica 42(1): 43-56 (2005)
• 
  Matthew Hennessy, Julian Rathke, Nobuko Yoshida:
  safeDpi: a language for controlling mobile code. Acta Informatica 42(4-5): 227-290 (2005)
• 
  Lars Jacobsen, Kim S. Larsen:
  Exponentially decreasing number of operations in balanced trees. Acta Informatica 42(1): 57-78 (2005)
• 
  Naoki Kobayashi:
  Type-based information flow analysis for the pi-calculus. Acta Informatica 42(4-5): 291-347 (2005)
• 
  Barbara König:
  A general framework for types in graph rewriting. Acta Informatica 42(4-5): 349-388 (2005)
• 
  Rocco De Nicola, Davide Sangiorgi:
  Types in concurrency. Acta Informatica 42(2-3): 79-81 (2005)