| 2024 | LICS | Algebraic Approach to Approximation. | Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivn |
| 2023 | LICS | Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing. | Libor Barto, Bertalan Bodor, Marcin Kozik, Antoine Mottet, Michael Pinsker |
| 2022 | CP | Fixed-Template Promise Model Checking Problems. | Kristina Asimi, Libor Barto, Silvia Butti |
| 2022 | CP | Weisfeiler-Leman Invariant Promise Valued CSPs. | Libor Barto, Silvia Butti |
| 2022 | SODA | Combinatorial Gap Theorem and Reductions between Promise CSPs. | Libor Barto, Marcin Kozik |
| 2021 | LICS | Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP. | Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk |
| 2021 | LICS | Constraint Satisfaction Problems over Finite Structures. | Libor Barto, William J. DeMeo, Antoine Mottet |
| 2021 | MFCS | Finitely Tractable Promise Constraint Satisfaction Problems. | Kristina Asimi, Libor Barto |
| 2021 | STACS | Symmetric Promise Constraint Satisfaction Problems: Beyond the Boolean Case. | Libor Barto, Diego Battistelli, Kevin M. Berg |
| 2020 | ICALP | Sensitive Instances of the Constraint Satisfaction Problem. | Libor Barto, Marcin Kozik, Johnson Tan, Matt Valeriote |
| 2019 | FCT | Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps. | Libor Barto |
| 2019 | LICS | Promises Make Finite (Constraint Satisfaction) Problems Infinitary. | Libor Barto |
| 2017 | LICS | The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems. | Libor Barto, Michael Kompatscher, Miroslav Olsk, Trung Van Pham, Michael Pinsker |
| 2016 | CSL | Infinite Domain Constraint Satisfaction Problem. | Libor Barto |
| 2016 | LICS | The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems. | Libor Barto, Michael Pinsker |
| 2012 | LICS | Near Unanimity Constraints Have Bounded Pathwidth Duality. | Libor Barto, Marcin Kozik, Ross Willard |
| 2012 | STOC | Robust satisfiability of constraint satisfaction problems. | Libor Barto, Marcin Kozik |
| 2011 | LICS | The Dichotomy for Conservative Constraint Satisfaction Problems Revisited. | Libor Barto |
| 2010 | LICS | New Conditions for Taylor Varieties and CSP. | Libor Barto, Marcin Kozik |
| 2009 | FOCS | Constraint Satisfaction Problems of Bounded Width. | Libor Barto, Marcin Kozik |
| 2008 | STOC | Graphs, polymorphisms and the complexity of homomorphism problems. | Libor Barto, Marcin Kozik, Todd Niven |