| 2026 | KR | Complexity of Logics with Semiring Semantics. | Timon Barlag, Nicolas Frhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker |
| 2024 | AAAI | Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. | Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema |
| 2024 | ICDT | Information Inequality Problem over Set Functions. | Miika Hannula |
| 2024 | ICDT | Conditional Independence on Semiring Relations. | Miika Hannula |
| 2023 | ICDE | Discovery of Cross Joins (Extended Abstract). | Miika Hannula, Zhuoxing Zhang, Bor-Kuan Song, Sebastian Link |
| 2023 | JELIA | Logics with Probabilistic Team Semantics and the Boolean Negation. | Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema |
| 2023 | KR | Unified Foundations of Team Semantics via Semirings. | Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema |
| 2022 | PODS | A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys. | Miika Hannula, Jef Wijsen |
| 2021 | CSL | On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. | Miika Hannula, Juha Kontinen, Martin Lck, Jonni Virtema |
| 2021 | JELIA | Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. | Miika Hannula, Jonni Virtema |
| 2020 | LICS | Descriptive complexity of real computation and probabilistic independence logic. | Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema |
| 2019 | JELIA | Facets of Distribution Identities in Probabilistic Team Semantics. | Miika Hannula, sa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema |
| 2019 | WoLLIC | Complexity Thresholds in Inclusion Logic. | Miika Hannula, Lauri Hella |
| 2018 | CADE | Automated Reasoning About Key Sets. | Miika Hannula, Sebastian Link |
| 2018 | DASFAA | On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. | Miika Hannula, Sebastian Link |
| 2018 | LFCS | Polyteam Semantics. | Miika Hannula, Juha Kontinen, Jonni Virtema |
| 2017 | CSL | Validity and Entailment in Modal and Propositional Dependence Logics. | Miika Hannula |
| 2017 | LPAR | On the Interaction of Inclusion Dependencies with Independence Atoms. | Miika Hannula, Juha Kontinen, Sebastian Link |
| 2015 | LPAR | Reasoning About Embedded Dependencies Using Inclusion Dependencies. | Miika Hannula |
| 2015 | MFCS | Complexity of Propositional Independence and Inclusion Logic. | Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer |
| 2014 | CIKM | On Independence Atoms and Keys. | Miika Hannula, Juha Kontinen, Sebastian Link |
| 2013 | CSL | Hierarchies in independence logic. | Pietro Galliani, Miika Hannula, Juha Kontinen |