Julien Grange

19 papers A* 2B 4C 2Journal 10
YearRankTypeTitle / Venue / Authors
2026 B conf
Weakly-Sparse and Strongly Flip-Flat Classes of Graphs Are Uniformly Almost-Wide.
CSL
Fatemeh Ghasemi, Julien Grange, Mamadou Moustapha Kanté, Florent R. Madelaine
2025 J jnl
About the Expressive Power and Complexity of Order-Invariance with Two Variables.
Log. Methods Comput. Sci.
Bartosz Bednarczyk, Julien Grange
2025 J jnl
Weakly-sparse and strongly flip-flat classes of graphs are uniformly almost-wide.
CoRR
Fatemeh Ghasemi, Julien Grange, Mamadou Moustapha Kanté, Florent R. Madelaine
2024 B conf
Specification and Automatic Verification of Computational Reductions.
MFCS
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
2024 J jnl
Specification and Automatic Verification of Computational Reductions.
CoRR
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
2024 C conf
Synthesis for Prefix First-Order Logic on Data Words.
FORTE
Julien Grange, Mathieu Lehaut
2024 J jnl
Synthesis for prefix first-order logic on data words.
CoRR
Julien Grange, Mathieu Lehaut
2024 C conf
Toward Green Data Lake Management and Analysis Through a CTMC Model.
VECoS
Marzieh Derakhshannia, Julien Grange, Nihal Pekergin
2023 J jnl
About the Expressive Power and Complexity of Order-Invariance with Two Variables.
CoRR
Bartosz Bednarczyk, Julien Grange
2023 J jnl
First order synthesis for data words revisited.
CoRR
Julien Grange, Mathieu Lehaut
2023 B conf
Order-Invariance in the Two-Variable Fragment of First-Order Logic.
CSL
Julien Grange
2022 J jnl
Order-Invariance in the Two-Variable Fragment of First-Order Logic.
CoRR
Julien Grange
2021 J jnl
On the nonexistence of FO-continuous path and tree-decompositions.
CoRR
Julien Grange
2021 A* conf
Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract).
IJCAI
Julien Grange
2021 J jnl
Successor-Invariant First-Order Logic on Classes of Bounded Degree.
Log. Methods Comput. Sci.
Julien Grange
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 B conf
Order-Invariant First-Order Logic over Hollow Trees.
CSL
Julien Grange, Luc Segoufin
2020 A* conf
Successor-Invariant First-Order Logic on Classes of Bounded Degree.
LICS
Julien Grange
2020 J jnl
Successor-Invariant First-Order Logic on Classes of Bounded Degree.
CoRR
Julien Grange