Julien Grange

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Markov Logic Networks

Propositional Logic

Top Venues

Publications

Julien Grange, Mathieu Lehaut
Synthesis for Prefix First-Order Logic on Data Words. FORTE (2024)
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
Specification and Automatic Verification of Computational Reductions. CoRR (2024)
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
Specification and Automatic Verification of Computational Reductions. MFCS (2024)
Julien Grange, Mathieu Lehaut
Synthesis for prefix first-order logic on data words. CoRR (2024)
Julien Grange, Mathieu Lehaut
First order synthesis for data words revisited. CoRR (2023)
Julien Grange
Order-Invariance in the Two-Variable Fragment of First-Order Logic. CSL (2023)
Bartosz Bednarczyk, Julien Grange
About the Expressive Power and Complexity of Order-Invariance with Two Variables. CoRR (2023)
Julien Grange
Order-Invariance in the Two-Variable Fragment of First-Order Logic. CoRR (2022)
Julien Grange
Successor-Invariant First-Order Logic on Classes of Bounded Degree. Log. Methods Comput. Sci. 17 (3) (2021)
Julien Grange
On the nonexistence of FO-continuous path and tree-decompositions. CoRR (2021)
Julien Grange
Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract). IJCAI (2021)
Julien Grange, Luc Segoufin
Order-Invariant First-Order Logic over Hollow Trees. CSL (2020)
Julien Grange
Successor-Invariant First-Order Logic on Classes of Bounded Degree. LICS (2020)
Julien Grange
Successor-Invariant First-Order Logic on Classes of Bounded Degree. CoRR (2020)