| 2024 | AiML | The Interpolant Existence Problem for Weak K4 and Difference Logic. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2023 | KR | Definitions and (Uniform) Interpolants in First-Order Modal Logic. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2021 | PODS | Deciding Boundedness of Monadic Sirups. | Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2020 | KR | A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. | Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2018 | AiML | On Strictly Positive Modal Logics with S4.3 Frames. | Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2013 | CSL | One-variable first-order linear temporal logics with counting. | Christopher Hampson, Agi Kurucz |
| 2012 | AiML | On Modal Products with the Logic of 'Elsewhere'. | Christopher Hampson, Agi Kurucz |
| 2012 | AiML | Finite Frames for K4.3 x S5 Are Decidable. | Agi Kurucz, Srgio Marcelino |
| 2010 | AiML | On the Complexity of Modal Axiomatisations over Many-dimensional Structures. | Agi Kurucz |
| 2010 | AiML | Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2008 | AiML | On axiomatising products of Kripke frames, part II. | Agi Kurucz |
| 2003 | FlAIRS | On the Computational Complexity of Spatio-Temporal Logics. | David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2003 | TIME | On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. | Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |