Feature restoration and distortion metrics. - Ventsislav Chonev; Andrew D. Ker (Media Forensics and Security, 2011)

The orbit problem in higher dimensions. - Ventsislav Chonev; Joël Ouaknine; James Worrell 001 (STOC, 2013)

The Polyhedron-Hitting Problem. - Ventsislav Chonev; Joël Ouaknine; James Worrell 001 (SODA, 2015)

On the Decidability of the Bounded Continuous Skolem Problem. - Ventsislav Chonev; Joël Ouaknine; James Worrell 001 (CoRR, 2015)

On the Decidability of the Continuous Infinite Zeros Problem. - Ventsislav Chonev; Joël Ouaknine; James Worrell 001 (CoRR, 2015)

On the Skolem Problem for Continuous Linear Dynamical Systems. - Ventsislav Chonev; Joël Ouaknine; James Worrell 001 (ICALP, 2016)

On Recurrent Reachability for Continuous Linear Dynamical Systems. - Ventsislav Chonev; Joël Ouaknine; James Worrell 001 (LICS, 2016)

On the Complexity of the Orbit Problem. - Ventsislav Chonev; Joël Ouaknine; James Worrell 001 (J. ACM, 2016)

Reachability in Augmented Interval Markov Chains. - Ventsislav Chonev (RP, 2019)

Infinite-duration Bidding Games. - Guy Avni; Thomas A. Henzinger; Ventsislav Chonev (J. ACM, 2019)

On the Zeros of Exponential Polynomials. - Ventsislav Chonev; Joël Ouaknine; James Worrell 001 (J. ACM, 2023)