Stratified Boolean Grammars. - Michal Wrona (MFCS, 2005)

2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices. - Witold Charatonik; Michal Wrona (ISMVL, 2007)

Quantified Positive Temporal Constraints. - Witold Charatonik; Michal Wrona (CSL, 2008)

Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. - Witold Charatonik; Michal Wrona (LPAR, 2008)

Syntactically Characterizing Local-to-Global Consistency in ORD-Horn. - Michal Wrona (CP, 2012)

Equivalence Constraint Satisfaction Problems. - Manuel Bodirsky; Michal Wrona (CSL, 2012)

Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction. - Hubie Chen; Michal Wrona (TIME, 2012)

The Complexity of Abduction for Equality Constraint Languages. - Johannes Schmidt 001; Michal Wrona (CSL, 2013)

Local-to-Global Consistency Implies Tractability of Abduction. - Michal Wrona (AAAI, 2014)

Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems. - Michal Wrona (MFCS (1), 2014)

Tractability of quantified temporal constraints to the max. - Manuel Bodirsky; Hubie Chen; Michal Wrona (Int. J. Algebra Comput., 2014)

Minimal Inference Problem Over Finite Domains: The Landscape of Complexity. - Michal Wrona (LPNMR, 2017)

The complexity of counting quantifiers on equality languages. - Barnaby Martin; András Pongrácz; Michal Wrona (Theor. Comput. Sci., 2017)

The Complexity of Minimal Inference Problem for Conservative Constraint Languages. - Michal Wrona (ACM Trans. Comput. Log., 2019)

On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width. - Michal Wrona (LICS, 2020)

Relational Width of First-Order Expansions of Homogeneous Graphs with Bounded Strict Width. - Michal Wrona (STACS, 2020)

Smooth Approximations and Relational Width Collapses. - Antoine Mottet; Tomás Nagy; Michael Pinsker; Michal Wrona (ICALP, 2021)

Tractability Frontier for Dually-Closed Temporal Quantified Constraint Satisfaction Problems. - Michal Wrona (CoRR, 2021)

The complete classification for quantified equality constraints. - Dmitriy Zhuk; Barnaby Martin; Michal Wrona (SODA, 2023)

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

Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation). - Michal Wrona (CoRR, 2024)

Model-checking positive equality free logic on a fixed structure (direttissima). - Manuel Bodirsky; Marcin Kozik; Florent R. Madelaine; Barnaby Martin; Michal Wrona (CoRR, 2024)

Collapsing the Bounded Width Hierarchy for Infinite-Domain Constraint Satisfaction Problems: When Symmetries Are Enough. - Antoine Mottet; Tomás Nagy; Michael Pinsker; Michal Wrona (SIAM J. Comput., 2024)

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality. - Tomás Nagy; Michael Pinsker; Michal Wrona (CoRR, 2025)