Order-Invariant First-Order Logic over Hollow Trees. - Julien Grange; Luc Segoufin (CSL, 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 (2020)

Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract). - Julien Grange (IJCAI, 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. - Julien Grange (Log. Methods Comput. Sci., 2021)

Order-Invariance in the Two-Variable Fragment of First-Order Logic. - Julien Grange (CSL, 2023)

First order synthesis for data words revisited. - Julien Grange; Mathieu Lehaut (CoRR, 2023)

Synthesis for Prefix First-Order Logic on Data Words. - Julien Grange; Mathieu Lehaut (FORTE, 2024)

Specification and Automatic Verification of Computational Reductions. - Julien Grange; Fabian Vehlken; Nils Vortmeier; Thomas Zeume (MFCS, 2024)

Toward Green Data Lake Management and Analysis Through a CTMC Model. - Marzieh Derakhshannia; Julien Grange; Nihal Pekergin (VECoS, 2024)

About the Expressive Power and Complexity of Order-Invariance with Two Variables. - Bartosz Bednarczyk; Julien Grange (Log. Methods Comput. Sci., 2025)