Corentin Barloy

According to our database, Corentin Barloy authored at least 4 papers between 2021 and 2022.

Collaborative distances:

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

2022

A robust class of linear recurrence sequences.

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

Inf. Comput., 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