On the Complexity of Linear Arithmetic with Divisibility. - Antonia Lechner; Joël Ouaknine; James Worrell 001 (LICS, 2015)

Synthesis Problems for One-Counter Automata. - Antonia Lechner (RP, 2015)

Extensions of Presburger arithmetic and model checking one-counter automata. - Antonia Lechner (2016)

Model Checking Flat Freeze LTL on One-Counter Automata. - Antonia Lechner; Richard Mayr; Joël Ouaknine; Amaury Pouly; James Worrell 001 (Log. Methods Comput. Sci., 2018)