| 2026 | TACAS | LTL | Gabriel Bathie, Nathanal Fijalkow, Tho Matricon, Baptiste Mouillon, Pierre Vandenhove |
| 2025 | AAAI | A (1+?)-Approximation for Ultrametric Embedding in Subquadratic Time. | Gabriel Bathie, Guillaume Lagarde |
| 2025 | ICALP | The Trichotomy of Regular Property Testing. | Gabriel Bathie, Nathanal Fijalkow, Corto Mascle |
| 2025 | ISAAC | Small Space Encoding and Recognition of k-Palindromic Prefixes. | Gabriel Bathie, Jonas Ellert, Tatiana Starikovskaya |
| 2024 | CPM | Internal Pattern Matching in Small Space and Applications. | Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya |
| 2024 | ESA | Longest Common Extensions with Wildcards: Trade-Off and Applications. | Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya |
| 2024 | ESA | Pattern Matching with Mismatches and Wildcards. | Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya |
| 2023 | ISAAC | Small-Space Algorithms for the Online Language Distance Problem for Palindromes and Squares. | Gabriel Bathie, Tomasz Kociumaka, Tatiana Starikovskaya |
| 2021 | ICALP | Property Testing of Regular Languages with Applications to Streaming Property Testing of Visibly Pushdown Languages. | Gabriel Bathie, Tatiana Starikovskaya |