Oskar Fiuk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | The Guarded Fragment with Nested Equivalences. | Oskar Fiuk |
| 2026 | STACS | Random Models and Guarded Logic. | Oskar Fiuk |
| 2025 | KR | Two-Variable Logic for Hierarchically Partitioned and Ordered Data. | Oskar Fiuk, Emanuel Kieronski, Vincent Michielini |
| 2024 | LICS | On the complexity of Maslov's class K. | Oskar Fiuk, Emanuel Kieronski, Vincent Michielini |
| 2023 | LPAR | An excursion to the border of decidability: between two- and three-variable logic. | Oskar Fiuk, Emanuel Kieronski |
| 2022 | WoLLIC | Presburger Bchi Tree Automata with Applications to Logics with Expressive Counting. | Bartosz Bednarczyk, Oskar Fiuk |