Corentin Barloy

14 papers A* 2A 2B 2Journal 7

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	Algebraic Characterizations of Classes of Regular Languages in DynFO. STACS Corentin Barloy, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
2026	J	`jnl`	Algebraic Characterizations of Classes of Regular Languages in DynFO. CoRR Corentin Barloy, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
2026	J	`jnl`	Shuffles of Context-Free Languages along Regular Trajectories. CoRR Corentin Barloy, Michaël Cadilhac, Kyle Ockerlund
2025	B	`conf`	Dynamic Membership for Regular Tree Languages. MFCS Antoine Amarilli, Corentin Barloy, Louis Jachiet, Charles Paperman
2025	J	`jnl`	Dynamic Membership for Regular Tree Languages. CoRR Antoine Amarilli, Corentin Barloy, Louis Jachiet, Charles Paperman
2024	—	`—`	On the complexity of regular languages. (Sur la complexité des langages réguliers). Corentin Barloy
2022	J	`jnl`	A robust class of linear recurrence sequences. Inf. Comput. Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki
2022	A*	`conf`	The Regular Languages of First-Order Logic with One Alternation. LICS Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume
2022	J	`jnl`	The Regular Languages of First-Order Logic with One Alternation. CoRR Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume
2021	A	`conf`	Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata. STACS Corentin Barloy, Lorenzo Clemente
2021	J	`jnl`	Bidimensional linear recursive sequences and universality of unambiguous register automata. CoRR Corentin Barloy, Lorenzo Clemente
2021	A*	`conf`	Stackless Processing of Streamed Trees. PODS Corentin Barloy, Filip Murlak, Charles Paperman
2020	B	`conf`	A Robust Class of Linear Recurrence Sequences. CSL Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki
2019	J	`jnl`	A Robust Class of Linear Recurrence Sequences. CoRR Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki