Inclusion Testing of Büchi Automata Based on Well-Quasiorders. - Kyveli Doveri; Pierre Ganty; Francesco Parolini; Francesco Ranzato (CONCUR, 2021)

FORQ-Based Language Inclusion Formal Testing. - Kyveli Doveri; Pierre Ganty; Nicolas Mazzocchi (CAV (2), 2022)

Antichains Algorithms for the Inclusion Problem Between ømega-VPL. - Kyveli Doveri; Pierre Ganty; Luka Hadzi-Dokic (TACAS (1), 2023)

A Uniform Framework for Language Inclusion Problems. - Kyveli Doveri; Pierre Ganty; Chana Weil-Kennedy (Taming the Infinities of Concurrency, 2024)

A Myhill-Nerode Style Characterization for Timed Automata with Integer Resets. - Kyveli Doveri; Pierre Ganty; B. Srivathsan (FSTTCS, 2024)