• 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

• 2022
• 
  Florian Bruse, Maurice Herwig, Martin Lange:
  A Similarity Measure for Formal Languages Based on Convergent Geometric Series. CIAA 2022: 80-92
• 
  Özdeniz Dolu, Nevzat Ersoy, M. Utkan Gezer, A. C. Cem Say:
  Real-Time, Constant-Space, Constant-Randomness Verifiers. CIAA 2022: 212-224
• 
  Frank Drewes, Richard Mörbitz, Heiko Vogler:
  Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata. CIAA 2022: 93-105
• 
  Hermann Gruber, Markus Holzer, Christian Rauch:
  On 25 Years of CIAA Through the Lens of Data Science. CIAA 2022: 3-18
• 
  Stefan Hoffmann:
  Constrained Synchronization for Monotonic and Solvable Automata and Automata with Simple Idempotents. CIAA 2022: 225-237
• 
  Michal Hospodár, Viktor Olejár:
  The Cut Operation in Subclasses of Convex Languages (Extended Abstract). CIAA 2022: 152-164
• 
  Laura K. Hutchinson, Robert Mercas, Daniel Reidenbach:
  A Toolkit for Parikh Matrices. CIAA 2022: 116-127
• 
  Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki:
  An Ambiguity Hierarchy of Weighted Context-Free Grammars. CIAA 2022: 238-250
• 
  Florent Jacquemard, Lydia Rodriguez de la Nava:
  Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription. CIAA 2022: 67-79
• 
  Martin Kutrib, Uwe Meyer:
  Syntax Checking Either Way. CIAA 2022: 128-139
• 
  Martin Kutrib, Andreas Malcher, Matthias Wendlandt:
  On the Power of Pushing or Stationary Moves for Input-Driven Pushdown Automata. CIAA 2022: 140-151
• 
  Oliver A. S. Lyon, Kai Salomaa:
  Nondeterministic State Complexity of Site-Directed Deletion. CIAA 2022: 189-199
• 
  Olga Martynova, Alexander Okhotin:
  Homomorphisms on Graph-Walking Automata. CIAA 2022: 177-188
• 
  Brink van der Merwe, Martin Berglund:
  Ordered Context-Free Grammars. CIAA 2022: 53-66
• 
  Nelma Moreira, Rogério Reis:
  Manipulation of Regular Expressions Using Derivatives: An Overview. CIAA 2022: 19-33
• 
  Jakub Ruszil:
  Some Results Concerning Careful Synchronization of Partial Automata and Subset Synchronization of DFA's. CIAA 2022: 106-115
• 
  Sicheol Sung, Hyunjoon Cheon, Yo-Sub Han:
  How to Settle the ReDoS Problem: Back to the Classical Automata Theory. CIAA 2022: 34-49
• 
  Nicholas Q. Tran:
  Variations of the Separating Words Problem. CIAA 2022: 165-176
• 
  Öykü Yilmaz, Firat Kiyak, Meriç Üngör, A. C. Cem Say:
  Energy Complexity of Regular Language Recognition. CIAA 2022: 200-211
• 
  Pascal Caron, Ludovic Mignot:
  Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings. Lecture Notes in Computer Science 13266, Springer 2022, ISBN 978-3-031-07468-4 [contents]