Julien Grange

According to our database, Julien Grange authored at least 8 papers between 2020 and 2023.

Collaborative distances:

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

2023

First order synthesis for data words revisited.

Julien Grange, Mathieu Lehaut

CoRR, 2023

About the Expressive Power and Complexity of Order-Invariance with Two Variables.

Bartosz Bednarczyk, Julien Grange

CoRR, 2023

Order-Invariance in the Two-Variable Fragment of First-Order Logic.

Julien Grange

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2021

Successor-Invariant First-Order Logic on Classes of Bounded Degree.

Julien Grange

Log. Methods Comput. Sci., 2021

On the nonexistence of FO-continuous path and tree-decompositions.

Julien Grange

CoRR, 2021

Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract).

Julien Grange

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

On the Expressive Power of Invariant Logics over Sparse Classes of Structures. (Sur le pouvoir d'expression des logiques définies par invariance).

Julien Grange

PhD thesis, 2020

Order-Invariant First-Order Logic over Hollow Trees.

Julien Grange, Luc Segoufin

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