Corentin Barloy

According to our database, Corentin Barloy authored at least 8 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Shuffles of Context-Free Languages along Regular Trajectories.

Corentin Barloy, Michaël Cadilhac, Kyle Ockerlund

CoRR, March, 2026

Algebraic Characterizations of Classes of Regular Languages in DynFO.

Corentin Barloy, Felix Tschirbs, Nils Vortmeier, Thomas Zeume

Proceedings of the 43rd International Symposium on Theoretical Aspects of Computer Science, 2026

2025

Dynamic Membership for Regular Tree Languages.

Antoine Amarilli, Corentin Barloy, Louis Jachiet, Charles Paperman

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

On the complexity of regular languages. (Sur la complexité des langages réguliers).

Corentin Barloy

PhD thesis, 2024

2022

The Regular Languages of First-Order Logic with One Alternation.

Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata.

Corentin Barloy, Lorenzo Clemente

Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021

Stackless Processing of Streamed Trees.

Corentin Barloy, Filip Murlak, Charles Paperman

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

2020

A Robust Class of Linear Recurrence Sequences.

Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020