• 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

• 2013
• 
  Luca Aceto, Monika Henzinger, Jirí Sgall:
  38th International Colloquium on Automata, Languages and Programming. Inf. Comput. 222: 1 (2013)
• 
  Kook Jin Ahn, Sudipto Guha:
  Linear programming in the semi-streaming model with application to the maximum matching problem. Inf. Comput. 222: 59-79 (2013)
• 
  Eric Allender, Luke Friedman, William I. Gasarch:
  Limits on the computational power of random strings. Inf. Comput. 222: 80-92 (2013)
• 
  Malte Beecken, Johannes Mittmann, Nitin Saxena:
  Algebraic independence and blackbox identity testing. Inf. Comput. 222: 2-19 (2013)
• 
  Piotr Berman, Arnab Bhattacharyya, Konstantin Makarychev, Sofya Raskhodnikova, Grigory Yaroslavtsev:
  Approximation algorithms for spanner problems and Directed Steiner Forest. Inf. Comput. 222: 93-107 (2013)
• 
  Simone Bova, Hubie Chen, Matthew Valeriote:
  Generic expression hardness results for primitive positive formula comparison. Inf. Comput. 222: 108-120 (2013)
• 
  Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera:
  Approximating the termination value of one-counter MDPs and stochastic games. Inf. Comput. 222: 121-138 (2013)
• 
  Shiri Chechik:
  Fault-tolerant compact routing schemes for general graphs. Inf. Comput. 222: 36-44 (2013)
• 
  Yuxin Deng, Matthew Hennessy:
  On the semantics of Markov automata. Inf. Comput. 222: 139-168 (2013)
• 
  Stephane Durocher, Meng He, J. Ian Munro, Patrick K. Nicholson, Matthew Skala:
  Range majority in constant time and linear space. Inf. Comput. 222: 169-179 (2013)
• 
  Martin Hoefer:
  Local matching dynamics in social networks. Inf. Comput. 222: 20-35 (2013)
• 
  Chien-Chung Huang, Telikepalli Kavitha:
  Popular matchings in the stable marriage problem. Inf. Comput. 222: 180-194 (2013)
• 
  Maurice J. Jansen, Rahul Santhanam:
  Permanent does not have succinct polynomial size arithmetic circuits of constant depth. Inf. Comput. 222: 195-207 (2013)
• 
  Christos A. Kapoutsis:
  Nondeterminism is essential in small two-way finite automata with few reversals. Inf. Comput. 222: 208-227 (2013)
• 
  Shin-ya Katsumata:
  Relating computational effects by ⊤⊤-lifting. Inf. Comput. 222: 228-246 (2013)
• 
  Fabian Kuhn, Monaldo Mastrolilli:
  Vertex cover in graphs with locally few colors. Inf. Comput. 222: 265-277 (2013)
• 
  Jim Laird, Giulio Manzonetto, Guy McCusker:
  Constructing differential categories and deconstructing categories of games. Inf. Comput. 222: 247-264 (2013)
• 
  Shi Li:
  A 1.488 approximation algorithm for the uncapacitated facility location problem. Inf. Comput. 222: 45-58 (2013)
• 
  Daniel Lokshtanov, Dániel Marx:
  Clustering with local restrictions. Inf. Comput. 222: 278-292 (2013)
• 
  Carsten Moldenhauer:
  Primal-dual approximation algorithms for Node-Weighted Steiner Forest on planar graphs. Inf. Comput. 222: 293-306 (2013)