On the Complexity of Inductively Learning Guarded Rules. - Andrei Draghici; Georg Gottlob; Matthias Lanzinger (CoRR, 2021)

On the Complexity of Inductively Learning Guarded Clauses. - Andrei Draghici; Georg Gottlob; Matthias Lanzinger (AAAI, 2022)

Reachability in Fixed VASS: Expressiveness and Lower Bounds. - Andrei Draghici; Christoph Haase; Andrew Ryzhikov (FoSSaCS (2), 2024)

Semënov Arithmetic, Affine {VASS}, and String Constraints. - Andrei Draghici; Christoph Haase; Florin Manea (STACS, 2024)

Boundedness of Cost Register Automata over the Integer Min-Plus Semiring. - Andrei Draghici; Radoslaw Piórkowski; Andrew Ryzhikov (CSL, 2025)