Reachability for Multi-Priced Timed Automata with Positive and Negative Rates, CSL 2025 (Arxiv, Publication)
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words, ICALP 2024 (Arxiv, Publication)
Effective Results in The Metric Theory of Quantitative Diophantine Approximation (Arxiv, to appear in AiM)
On the abc Conjecture in Algebraic Number Fields, Mathematika (Arxiv, Publication)