Julien Grange

According to our database, Julien Grange authored at least 13 papers between 2020 and 2026.

Collaborative distances:

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

2026

Order-invariant cluster first-order logic on graph classes of bounded degree.

Fatemeh Ghasemi, Julien Grange

CoRR, April, 2026

Weakly-Sparse and Strongly Flip-Flat Classes of Graphs Are Uniformly Almost-Wide.

Fatemeh Ghasemi, Julien Grange, Mamadou Moustapha Kanté, Florent R. Madelaine

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

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

Bartosz Bednarczyk, Julien Grange

Log. Methods Comput. Sci., 2025

2024

Toward Green Data Lake Management and Analysis Through a CTMC Model.

Marzieh Derakhshannia, Julien Grange, Nihal Pekergin

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 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

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

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

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

Julien Grange

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 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