Regular Methods for Operator Precedence Languages. - Thomas A. Henzinger; Pavol Kebis; Nicolas Mazzocchi; N. Ege Saraç (ICALP, 2023)

On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words. - Pavol Kebis; Florian Luca; Joël Ouaknine; Andrew Scoones; James Worrell 001 (ICALP, 2024)

Quantitative Language Automata. - Thomas A. Henzinger; Pavol Kebis; Nicolas Mazzocchi; N. Ege Saraç (CONCUR, 2025)