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

• 2024
• 
  Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues:
  On Polynomial Recursive Sequences. Theory Comput. Syst. 68(4): 593-614 (2024)
• 2023
• 
  Antoine Amarilli, Charles Paperman:
  Locality and Centrality: The Variety ZG. Log. Methods Comput. Sci. 19(4) (2023)
• 
  Mateusz Gienieczko, Filip Murlak, Charles Paperman:
  Supporting Descendants in SIMD-Accelerated JSONPath. ASPLOS (4) 2023: 338-361
• 
  Charles Paperman, Sylvain Salvati, Claire Soyez-Martin:
  An Algebraic Approach to Vectorial Programs. STACS 2023: 51:1-51:23
• 2022
• 
  Michaël Cadilhac, Charles Paperman:
  The regular languages of wire linear AC⁰. Acta Informatica 59(4): 321-336 (2022)
• 
  Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume:
  The Regular Languages of First-Order Logic with One Alternation. LICS 2022: 58:1-58:11
• 
  Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume:
  The Regular Languages of First-Order Logic with One Alternation. CoRR abs/2203.06075 (2022)
• 2021
• 
  Antoine Amarilli, Louis Jachiet, Charles Paperman:
  Dynamic Membership for Regular Languages. ICALP 2021: 116:1-116:17
• 
  Corentin Barloy, Filip Murlak, Charles Paperman:
  Stackless Processing of Streamed Trees. PODS 2021: 109-125
• 
  Antoine Amarilli, Charles Paperman:
  Locality and Centrality: The Variety ZG. CoRR abs/2102.07724 (2021)
• 
  Antoine Amarilli, Louis Jachiet, Charles Paperman:
  Dynamic Membership for Regular Languages. CoRR abs/2102.07728 (2021)
• 2020
• 
  Michaël Cadilhac, Olivier Carton, Charles Paperman:
  Continuity of Functional Transducers: A Profinite Study of Rational Functions. Log. Methods Comput. Sci. 16(1) (2020)
• 
  Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues:
  On Polynomial Recursive Sequences. ICALP 2020: 117:1-117:17
• 
  Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues:
  On polynomial recursive sequences. CoRR abs/2002.08630 (2020)
• 2018
• 
  Laure Daviaud, Charles Paperman:
  Classes of languages generated by the Kleene star of a word. Inf. Comput. 262: 90-109 (2018)
• 
  Antoine Amarilli, Charles Paperman:
  Topological Sorting with Regular Constraints. ICALP 2018: 115:1-115:14
• 
  Michaël Cadilhac, Olivier Carton, Charles Paperman:
  Continuity and Rational Functions. CoRR abs/1802.10555 (2018)
• 2017
• 
  Nathanaël Fijalkow, Charles Paperman:
  Monadic Second-Order Logic with Arbitrary Monadic Predicates. ACM Trans. Comput. Log. 18(3): 20:1-20:17 (2017)
• 
  Michaël Cadilhac, Olivier Carton, Charles Paperman:
  Continuity and Rational Functions. ICALP 2017: 115:1-115:14
• 
  Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman:
  Regular Separability of Parikh Automata. ICALP 2017: 117:1-117:13
• 
  Michaël Cadilhac, Charles Paperman:
  A crevice on the Crane Beach: Finite-degree predicates. LICS 2017: 1-9
• 
  Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman:
  Separability of Reachability Sets of Vector Addition Systems. STACS 2017: 24:1-24:14
• 
  Antoine Amarilli, Charles Paperman:
  A Dichotomy on Constrained Topological Sorting. CoRR abs/1707.04310 (2017)
• 
  Michaël Cadilhac, Charles Paperman:
  A Crevice on the Crane Beach: Finite-Degree Predicates. CoRR abs/1701.02673 (2017)
• 
  Nathanaël Fijalkow, Charles Paperman:
  Monadic Second-Order Logic with Arbitrary Monadic Predicates. CoRR abs/1709.03117 (2017)
• 2016
• 
  Filip Murlak, Charles Paperman, Michal Pilipczuk:
  Schema Validation via Streaming Circuits. PODS 2016: 237-249
• 
  Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman:
  Separability of Reachability Sets of Vector Addition Systems. CoRR abs/1609.00214 (2016)
• 
  Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman:
  Regular Separability of Parikh Automata. CoRR abs/1612.06233 (2016)
• 2015
• 
  Charles Paperman:
  Finite-Degree Predicates and Two-Variable First-Order Logic. CSL 2015: 616-630
• 
  Luc Dartois, Charles Paperman:
  Alternation Hierarchies of First Order Logic with Regular Predicates. FCT 2015: 160-172

skipping 6 more matches