| 2025 | KR | Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards. | Bartosz Bednarczyk, Emanuel Kieronski |
| 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 | AAAI | Finite Entailment of Local Queries in the Z Family of Description Logics. | Bartosz Bednarczyk, Emanuel Kieronski |
| 2021 | LICS | Finite Model Theory of the Triguarded Fragment and Related Logics. | Emanuel Kieronski, Sebastian Rudolph |
| 2020 | LPAR | The Triguarded Fragment with Transitivity. | Emanuel Kieronski, Adam Malinowski |
| 2019 | JELIA | On the Complexity of Graded Modal Logics with Converse. | Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski |
| 2019 | MFCS | Finite Satisfiability of Unary Negation Fragment with Transitivity. | Daniel Danielski, Emanuel Kieronski |
| 2019 | MFCS | One-Dimensional Guarded Fragments. | Emanuel Kieronski |
| 2018 | LICS | Unary negation fragment with equivalence relations has the finite model property. | Daniel Danielski, Emanuel Kieronski |
| 2017 | CSL | Extending Two-Variable Logic on Trees. | Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieronski |
| 2017 | MFCS | One-Dimensional Logic over Trees. | Emanuel Kieronski, Antti Kuusisto |
| 2016 | CSL | One-Dimensional Logic over Words. | Emanuel Kieronski |
| 2015 | CSL | Uniform One-Dimensional Fragments with One Equivalence Relation. | Emanuel Kieronski, Antti Kuusisto |
| 2014 | CSL | Decidability of weak logics with deterministic transitive closure. | Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki |
| 2014 | MFCS | Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. | Emanuel Kieronski, Antti Kuusisto |
| 2013 | ICALP | Complexity of Two-Variable Logic on Finite Trees. | Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell |
| 2012 | AiML | Finite Satisfiability of Modal Logic over Horn~Definable Classes of Frames. | Jakub Michaliszyn, Emanuel Kieronski |
| 2012 | CSL | Two-Variable Universal Logic with Transitive Closure. | Emanuel Kieronski, Jakub Michaliszyn |
| 2012 | LICS | Two-Variable First-Order Logic with Equivalence Closure. | Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera |
| 2011 | CSL | Decidability Issues for Two-Variable Logics with Several Linear Orders. | Emanuel Kieronski |
| 2010 | ICALP | B and D Are Enough to Make the Halpern-Shoham Logic Undecidable. | Jerzy Marcinkowski, Jakub Michaliszyn, Emanuel Kieronski |
| 2009 | LICS | On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations. | Emanuel Kieronski, Lidia Tendera |
| 2007 | LPAR | On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. | Emanuel Kieronski, Lidia Tendera |
| 2005 | CSL | Results on the Guarded Fragment with Equivalence or Transitive Relations. | Emanuel Kieronski |
| 2005 | LICS | Small Substructures and Decidability Issues for First-Order Logic with Two Variables. | Emanuel Kieronski, Martin Otto |
| 2003 | FOSSACS | The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard. | Emanuel Kieronski |
| 2002 | STACS | EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. | Emanuel Kieronski |