Gabriel Bathie

31 papers A* 3A 3B 7Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Analyzing and Leveraging the
CoRR
Gabriel Bathie, Paul Huber, Guillaume Lagarde, Akka Zemmari
2026 — conf
LTL
TACAS (1)
Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove
2025 A* conf
A (1+?)-Approximation for Ultrametric Embedding in Subquadratic Time.
AAAI
Gabriel Bathie, Guillaume Lagarde
2025 J jnl
A (1+ε)-Approximation for Ultrametric Embedding in Subquadratic Time.
CoRR
Gabriel Bathie, Guillaume Lagarde
2025 — —
Fast approximation algorithms for formal languages. (Algorithmes d'approximation efficaces pour les langages formels).
Gabriel Bathie
2025 J jnl
LTL
CoRR
Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove
2025 B conf
Small Space Encoding and Recognition of k-Palindromic Prefixes.
ISAAC
Gabriel Bathie, Jonas Ellert, Tatiana Starikovskaya
2025 A* conf
The Trichotomy of Regular Property Testing.
ICALP
Gabriel Bathie, Nathanaël Fijalkow, Corto Mascle
2025 J jnl
The Trichotomy of Regular Property Testing.
CoRR
Gabriel Bathie, Nathanaël Fijalkow, Corto Mascle
2024 B conf
Internal Pattern Matching in Small Space and Applications.
CPM
Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya
2024 J jnl
Internal Pattern Matching in Small Space and Applications.
CoRR
Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya
2024 A conf
Longest Common Extensions with Wildcards: Trade-Off and Applications.
ESA
Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya
2024 J jnl
Longest Common Extensions with Wildcards: Trade-off and Applications.
CoRR
Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya
2024 A conf
Pattern Matching with Mismatches and Wildcards.
ESA
Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya
2024 J jnl
Pattern Matching with Mismatches and Wildcards.
CoRR
Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya
2024 J jnl
Small Space Encoding and Recognition of
CoRR
Gabriel Bathie, Jonas Ellert, Tatiana Starikovskaya
2024 J jnl
Stochastic Games (Dagstuhl Seminar 24231).
Dagstuhl Reports
Nathanaël Fijalkow, Jan Kretínský, Ann Nowé, Gabriel Bathie
2024 A conf
Towards Stronger Depth Lower Bounds.
ITCS
Gabriel Bathie, R. Ryan Williams
2023 B conf
Small-Space Algorithms for the Online Language Distance Problem for Palindromes and Squares.
ISAAC
Gabriel Bathie, Tomasz Kociumaka, Tatiana Starikovskaya
2023 J jnl
Small-Space Algorithms for the Online Language Distance Problem for Palindromes and Squares.
CoRR
Gabriel Bathie, Tomasz Kociumaka, Tatiana Starikovskaya
2023 J jnl
Towards Stronger Depth Lower Bounds.
Electron. Colloquium Comput. Complex.
Gabriel Bathie, Ryan Williams
2022 J jnl
(Sub)linear Kernels for Edge Modification Problems Toward Structured Graph Classes.
Algorithmica
Gabriel Bathie, Nicolas Bousquet, Yixin Cao, Yuping Ke, Théo Pierron
2022 B conf
PACE Solver Description: DreyFVS.
IPEC
Gabriel Bathie, Gaétan Berthe, Yoann Coudert-Osmont, David Desobry, Amadeus Reinald, Mathis Rocton
2021 B conf
(Sub)linear Kernels for Edge Modification Problems Towards Structured Graph Classes.
IPEC
Gabriel Bathie, Nicolas Bousquet, Théo Pierron
2021 J jnl
(Sub)linear kernels for edge modification problems towards structured graph classes.
CoRR
Gabriel Bathie, Nicolas Bousquet, Théo Pierron
2021 J jnl
Dynamic DAG Scheduling Under Memory Constraints for Shared-Memory Platforms.
Int. J. Netw. Comput.
Gabriel Bathie, Loris Marchal, Yves Robert, Samuel Thibault
2021 B conf
PACE Solver Description: PaSTEC - PAths, Stars and Twins to Edit Towards Clusters.
IPEC
Valentin Bartier, Gabriel Bathie, Nicolas Bousquet, Marc Heinrich, Théo Pierron, Ulysse Prieto
2021 B conf
PACE Solver Description: μSolver - Heuristic Track.
IPEC
Valentin Bartier, Gabriel Bathie, Nicolas Bousquet, Marc Heinrich, Théo Pierron, Ulysse Prieto
2021 A* conf
Property Testing of Regular Languages with Applications to Streaming Property Testing of Visibly Pushdown Languages.
ICALP
Gabriel Bathie, Tatiana Starikovskaya
2020 — conf
Revisiting dynamic DAG scheduling under memory constraints for shared-memory platforms.
IPDPS Workshops
Gabriel Bathie, Loris Marchal, Yves Robert, Samuel Thibault
2019 J jnl
Contrast Invariant SNR and Isotonic Regressions.
Int. J. Comput. Vis.
Pierre Weiss, Paul Escande, Gabriel Bathie, Yiqiu Dong