| 2026 | AAAI | Expressive Power of Graph Transformers via Logic. | Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz |
| 2025 | CSL | Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. | Reijo Jaakkola, Antti Kuusisto, Miikka Vilander |
| 2025 | JELIA | Why This and Not That? A Logic-Based Framework for Contrastive Explanations. | Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander |
| 2024 | CSL | Descriptive Complexity for Neural Networks via Boolean Networks. | Veeti Ahvonen, Damian Heiman, Antti Kuusisto |
| 2023 | CSL | Complexity Classifications via Algebraic Logic. | Reijo Jaakkola, Antti Kuusisto |
| 2023 | JELIA | Short Boolean Formulas as Explanations in Practice. | Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
| 2023 | MFCS | Descriptive Complexity for Distributed Computing with Circuits. | Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto |
| 2023 | STACS | Relating Description Complexity to Entropy. | Reijo Jaakkola, Antti Kuusisto, Miikka Vilander |
| 2022 | LPNMR | Explainability via Short Formulas: the Case of Propositional Logic with Implementation. | Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
| 2020 | ECAI | Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. | Valentin Goranko, Antti Kuusisto, Raine Rnnholm |
| 2018 | LICS | Weighted model counting beyond two-variable logic. | Antti Kuusisto, Carsten Lutz |
| 2017 | EUMAS | Rational Coordination in Games with Enriched Representations. | Valentin Goranko, Antti Kuusisto, Raine Rnnholm |
| 2017 | ICDT | Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). | Cristina Feier, Antti Kuusisto, Carsten Lutz |
| 2017 | MFCS | Model Checking and Validity in Propositional and Modal Inclusion Logics. | Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema |
| 2017 | MFCS | One-Dimensional Logic over Trees. | Emanuel Kieronski, Antti Kuusisto |
| 2017 | TIME | CTL with Finitely Bounded Semantics. | Valentin Goranko, Antti Kuusisto, Raine Rnnholm |
| 2016 | MFCS | Decidability of Predicate Logics with Team Semantics. | Juha Kontinen, Antti Kuusisto, Jonni Virtema |
| 2015 | CSL | Uniform One-Dimensional Fragments with One Equivalence Relation. | Emanuel Kieronski, Antti Kuusisto |
| 2015 | MFCS | Modal Inclusion Logic: Being Lax is Simpler than Being Strict. | Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer |
| 2015 | SOFSEM | Team Semantics and Recursive Enumerability. | Antti Kuusisto |
| 2014 | AiML | One-dimensional Fragment of First-order Logic. | Lauri Hella, Antti Kuusisto |
| 2014 | MFCS | Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. | Emanuel Kieronski, Antti Kuusisto |
| 2013 | CSL | Modal Logic and Distributed Message Passing Automata. | Antti Kuusisto |
| 2012 | CSL | Undecidable First-Order Theories of Affine Geometries. | Antti Kuusisto, Jeremy Meyers, Jonni Virtema |
| 2012 | PODC | Weak models of distributed computing, with connections to modal logic. | Lauri Hella, Matti Jrvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema |
| 2011 | LICS | Complexity of Two-Variable Dependence Logic and IF-Logic. | Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema |
| 2008 | AiML | A modal perspective on monadic second-order alternation hierarchies. | Antti Kuusisto |