Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting. - Bartosz Bednarczyk; Oskar Fiuk (WoLLIC, 2022)

An excursion to the border of decidability: between two- and three-variable logic. - Oskar Fiuk; Emanuel Kieronski (LPAR, 2023)

On the Complexity of Maslov's Class K (Extended Abstract). - Oskar Fiuk; Emanuel Kieronski; Vincent Michielini (Description Logics, 2024)

On the complexity of Maslov's class K. - Oskar Fiuk; Emanuel Kieronski; Vincent Michielini (LICS, 2024)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic. - Oskar Fiuk; Emanuel Kieronski (Log. Methods Comput. Sci., 2025)