Oskar Fiuk

11 papers A* 2A 1B 1C 1Journal 5Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	Random Models and Guarded Logic. STACS Oskar Fiuk
2026	J	`jnl`	Random Models and Guarded Logic. CoRR Oskar Fiuk
2025	J	`jnl`	Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic. Log. Methods Comput. Sci. Oskar Fiuk, Emanuel Kieronski
2025	A*	`conf`	Two-Variable Logic for Hierarchically Partitioned and Ordered Data. KR Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2025	J	`jnl`	Two-Variable Logic for Hierarchically Partitioned and Ordered Data. CoRR Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2024	J	`jnl`	Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic. CoRR Oskar Fiuk, Emanuel Kieronski
2024	—	`conf`	On the Complexity of Maslov's Class K (Extended Abstract). Description Logics Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2024	A*	`conf`	On the complexity of Maslov's class K. LICS Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2024	J	`jnl`	On the complexity of Maslov's class K. CoRR Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2023	B	`conf`	An excursion to the border of decidability: between two- and three-variable logic. LPAR Oskar Fiuk, Emanuel Kieronski
2022	C	`conf`	Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting. WoLLIC Bartosz Bednarczyk, Oskar Fiuk

2025 Best paper conf

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski