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

• 2023
• 
  Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili, Frank Stephan:
  Addition machines, automatic functions and open problems of Floyd and Knuth. J. Comput. Syst. Sci. 136: 135-156 (2023)
• 
  Siddharth Gupta, Guy Sa'ar, Meirav Zehavi:
  Grid recognition: Classical and parameterized computational perspectives. J. Comput. Syst. Sci. 136: 17-62 (2023)
• 
  Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith:
  Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words. J. Comput. Syst. Sci. 136: 302-326 (2023)
• 
  Julio Aracena, Adrien Richard, Lilian Salinas:
  Synchronizing Boolean networks asynchronously. J. Comput. Syst. Sci. 136: 249-279 (2023)
• 
  Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell:
  Markov chains and unambiguous automata. J. Comput. Syst. Sci. 136: 113-134 (2023)
• 
  Valentin Bartier, Nicolas Bousquet, Amer E. Mouawad:
  Galactic token sliding. J. Comput. Syst. Sci. 136: 220-248 (2023)
• 
  Lukas Behrendt, Katrin Casel, Tobias Friedrich, J. A. Gregor Lagodzinski, Alexander Löser, Marcus Wilhelm:
  From symmetry to asymmetry: Generalizing TSP approximations by parametrization. J. Comput. Syst. Sci. 136: 157-170 (2023)
• 
  David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie:
  Complexity of verification in self-assembly with prebuilt assemblies. J. Comput. Syst. Sci. 136: 1-16 (2023)
• 
  Fedor V. Fomin, Petr A. Golovach, Nidhi Purohit:
  Parameterized complexity of categorical clustering with size constraints. J. Comput. Syst. Sci. 136: 171-194 (2023)
• 
  Miika Hannula, Xinyi Li, Sebastian Link:
  Controlling entity integrity with key sets. J. Comput. Syst. Sci. 136: 195-219 (2023)
• 
  Ashwin Jacob, Diptapriyo Majumdar, Venkatesh Raman:
  Deletion to scattered graph classes II - improved FPT algorithms for deletion to pairs of graph classes. J. Comput. Syst. Sci. 136: 280-301 (2023)
• 
  Paloma T. Lima, Vinícius Fernandes dos Santos, Ignasi Sau, Uéverton S. Souza, Prafullkumar Tale:
  Reducing the vertex cover number via edge contractions. J. Comput. Syst. Sci. 136: 63-87 (2023)
• 
  Tomoyuki Yamakami:
  The 2CNF Boolean formula satisfiability problem and the linear space hypothesis. J. Comput. Syst. Sci. 136: 88-112 (2023)