| 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 |
| 2023 | CSL | Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability. | Reijo Jaakkola |
| 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 | STACS | Relating Description Complexity to Entropy. | Reijo Jaakkola, Antti Kuusisto, Miikka Vilander |
| 2022 | FOSSACS | Uniform Guarded Fragments. | Reijo Jaakkola |
| 2022 | LPNMR | Explainability via Short Formulas: the Case of Propositional Logic with Implementation. | Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
| 2022 | MFCS | Towards a Model Theory of Ordered Logics: Expressivity and Interpolation. | Bartosz Bednarczyk, Reijo Jaakkola |
| 2021 | MFCS | Ordered Fragments of First-Order Logic. | Reijo Jaakkola |