Identifying Tractable Quantified Temporal Constraints Within Ord-Horn. - Jakub Rydval; Zaneta Semanisinová; Michal Wrona (ICALP, 2024)

The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. - Manuel Bodirsky; Zaneta Semanisinová; Carsten Lutz (LICS, 2024)

Complexity Classification Transfer for CSPs via Algebraic Products. - Manuel Bodirsky; Peter Jonsson; Barnaby Martin; Antoine Mottet; Zaneta Semanisinová (SIAM J. Comput., 2024)

Temporal Valued Constraint Satisfaction Problems. - Manuel Bodirsky; Édouard Bonnet; Zaneta Semanisinová (MFCS, 2025)