Julien Grange

According to our database, Julien Grange authored at least 10 papers between 2020 and 2024.

Collaborative distances:

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

2024

Specification and Automatic Verification of Computational Reductions.

Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Synthesis for Prefix First-Order Logic on Data Words.

Julien Grange, Mathieu Lehaut

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

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