Gabriel Bathie

According to our database, Gabriel Bathie authored at least 23 papers between 2019 and 2026.

Collaborative distances:

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

2026

Analyzing and Leveraging the <i>k</i>-Sensitivity of LZ77.

Gabriel Bathie, Paul Huber, Guillaume Lagarde, Akka Zemmari

CoRR, February, 2026

LTL_f Learning Meets Boolean Set Cover.

Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

A (1+ε)-Approximation for Ultrametric Embedding in Subquadratic Time.

Gabriel Bathie, Guillaume Lagarde

CoRR, March, 2025

Fast approximation algorithms for formal languages. (Algorithmes d'approximation efficaces pour les langages formels).

Gabriel Bathie

PhD thesis, 2025

Small Space Encoding and Recognition of k-Palindromic Prefixes.

Gabriel Bathie, Jonas Ellert, Tatiana Starikovskaya

Proceedings of the 36th International Symposium on Algorithms and Computation, 2025

The Trichotomy of Regular Property Testing.

Gabriel Bathie, Nathanaël Fijalkow, Corto Mascle

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

A (1+?)-Approximation for Ultrametric Embedding in Subquadratic Time.

Gabriel Bathie, Guillaume Lagarde

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Stochastic Games (Dagstuhl Seminar 24231).

Nathanaël Fijalkow, Jan Kretínský, Ann Nowé, Gabriel Bathie

Dagstuhl Reports, 2024

Small Space Encoding and Recognition of <i>k</i>-Palindromic Prefixes.

Gabriel Bathie, Jonas Ellert, Tatiana Starikovskaya

CoRR, 2024

Towards Stronger Depth Lower Bounds.

Gabriel Bathie, R. Ryan Williams

Proceedings of the 15th Innovations in Theoretical Computer Science Conference, 2024

Pattern Matching with Mismatches and Wildcards.

Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya

Proceedings of the 32nd Annual European Symposium on Algorithms, 2024

Longest Common Extensions with Wildcards: Trade-Off and Applications.

Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya

Proceedings of the 32nd Annual European Symposium on Algorithms, 2024

Internal Pattern Matching in Small Space and Applications.

Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya

Proceedings of the 35th Annual Symposium on Combinatorial Pattern Matching, 2024

2023

Small-Space Algorithms for the Online Language Distance Problem for Palindromes and Squares.

Gabriel Bathie, Tomasz Kociumaka, Tatiana Starikovskaya

Proceedings of the 34th International Symposium on Algorithms and Computation, 2023

2022

(Sub)linear Kernels for Edge Modification Problems Toward Structured Graph Classes.

Gabriel Bathie, Nicolas Bousquet, Yixin Cao, Yuping Ke, Théo Pierron

Algorithmica, 2022

PACE Solver Description: DreyFVS.

Gabriel Bathie, Gaétan Berthe, Yoann Coudert-Osmont, David Desobry, Amadeus Reinald, Mathis Rocton

Proceedings of the 17th International Symposium on Parameterized and Exact Computation, 2022

2021

Dynamic DAG Scheduling Under Memory Constraints for Shared-Memory Platforms.

Gabriel Bathie, Loris Marchal, Yves Robert, Samuel Thibault

Int. J. Netw. Comput., 2021

(Sub)linear Kernels for Edge Modification Problems Towards Structured Graph Classes.

Gabriel Bathie, Nicolas Bousquet, Théo Pierron

Proceedings of the 16th International Symposium on Parameterized and Exact Computation, 2021

PACE Solver Description: μSolver - Heuristic Track.

Valentin Bartier, Gabriel Bathie, Nicolas Bousquet, Marc Heinrich, Théo Pierron, Ulysse Prieto

Proceedings of the 16th International Symposium on Parameterized and Exact Computation, 2021

PACE Solver Description: PaSTEC - PAths, Stars and Twins to Edit Towards Clusters.

Valentin Bartier, Gabriel Bathie, Nicolas Bousquet, Marc Heinrich, Théo Pierron, Ulysse Prieto

Proceedings of the 16th International Symposium on Parameterized and Exact Computation, 2021

Property Testing of Regular Languages with Applications to Streaming Property Testing of Visibly Pushdown Languages.

Gabriel Bathie, Tatiana Starikovskaya

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Revisiting dynamic DAG scheduling under memory constraints for shared-memory platforms.

Gabriel Bathie, Loris Marchal, Yves Robert, Samuel Thibault

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

2019

Contrast Invariant SNR and Isotonic Regressions.

Pierre Weiss, Paul Escande, Gabriel Bathie, Yiqiu Dong

Int. J. Comput. Vis., 2019