Corentin Barloy

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 8

Top Topics

Regular Languages

Top Venues

Publications

Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume
The Regular Languages of First-Order Logic with One Alternation. LICS (2022)
Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki
A robust class of linear recurrence sequences. Inf. Comput. 289 (Part) (2022)
Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume
The Regular Languages of First-Order Logic with One Alternation. CoRR (2022)
Corentin Barloy, Lorenzo Clemente
Bidimensional linear recursive sequences and universality of unambiguous register automata. CoRR (2021)
Corentin Barloy, Filip Murlak, Charles Paperman
Stackless Processing of Streamed Trees. PODS (2021)
Corentin Barloy, Lorenzo Clemente
Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata. STACS (2021)
Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki
A Robust Class of Linear Recurrence Sequences. CSL (2020)
Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki
A Robust Class of Linear Recurrence Sequences. CoRR (2019)