Corentin Barloy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICALP | Shuffles of Context-Free Languages Along Regular Trajectories. | Corentin Barloy, Michal Cadilhac, Kyle Ockerlund |
| 2026 | STACS | Algebraic Characterizations of Classes of Regular Languages in DynFO. | Corentin Barloy, Felix Tschirbs, Nils Vortmeier, Thomas Zeume |
| 2025 | MFCS | Dynamic Membership for Regular Tree Languages. | Antoine Amarilli, Corentin Barloy, Louis Jachiet, Charles Paperman |
| 2022 | LICS | The Regular Languages of First-Order Logic with One Alternation. | Corentin Barloy, Michal Cadilhac, Charles Paperman, Thomas Zeume |
| 2021 | PODS | Stackless Processing of Streamed Trees. | Corentin Barloy, Filip Murlak, Charles Paperman |
| 2021 | STACS | Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata. | Corentin Barloy, Lorenzo Clemente |
| 2020 | CSL | A Robust Class of Linear Recurrence Sequences. | Corentin Barloy, Nathanal Fijalkow, Nathan Lhote, Filip Mazowiecki |