| 2026 | LICS | Decidability of Interpretability. | Roman Feller, Michael Pinsker |
| 2026 | MFCS | When Darwin Met Ianus: Dichotomies of Expressivity. | Johanna Brunar, Michael Pinsker, Moritz Schbi |
| 2025 | ICALP | Containment for Guarded Monotone Strict NP. | Alexey Barsukov, Michael Pinsker, Jakub Rydval |
| 2025 | LICS | The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems. | Johanna Brunar, Marcin Kozik, Toms Nagy, Michael Pinsker |
| 2025 | LICS | Binary symmetries of tractable non-rigid structures. | Paolo Marimon, Michael Pinsker |
| 2025 | MFCS | Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction. | Michael Pinsker, Jakub Rydval, Moritz Schbi, Christoph Spiess |
| 2024 | ICALP | An Order out of Nowhere: A New Algorithm for Infinite-Domain {CSP}s. | Antoine Mottet, Toms Nagy, Michael Pinsker |
| 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 | LICS | Smooth approximations and CSPs over finitely bounded homogeneous structures. | Antoine Mottet, Michael Pinsker |
| 2021 | ICALP | Smooth Approximations and Relational Width Collapses. | Antoine Mottet, Toms Nagy, Michael Pinsker, Michal Wrona |
| 2020 | ICALP | Hrushovski's Encoding and ω-Categorical CSP Monsters. | Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker |
| 2019 | LICS | Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems). | Manuel Bodirsky, Antoine Mottet, Miroslav Olsk, Jakub Oprsal, Michael Pinsker, Ross Willard |
| 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 | ICALP | Constraint Satisfaction Problems for Reducts of Homogeneous Graphs. | Manuel Bodirsky, Barnaby Martin, Michael Pinsker, Andrs Pongrcz |
| 2016 | LICS | The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems. | Libor Barto, Michael Pinsker |
| 2011 | LICS | Decidability of Definability. | Manuel Bodirsky, Michael Pinsker, Todor Tsankov |
| 2011 | STOC | Schaefer's theorem for graphs. | Manuel Bodirsky, Michael Pinsker |
| 2010 | MFCS | Distance Constraint Satisfaction Problems. | Manuel Bodirsky, Vctor Dalmau, Barnaby Martin, Michael Pinsker |