| 2026 | KR | Recurrent Graph Neural Networks and Arithmetic Circuits. | Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer |
| 2026 | KR | Unifying Approach to Uniform Expressivity of Graph Neural Networks. | Huan Luo, Jonni Virtema |
| 2025 | KR | A Logic-Based Framework for Database Repairs. | Nicolas Frhlich, Arne Meier, Nina Pardal, Jonni Virtema |
| 2025 | KR | Halting Recurrent GNNs and the Graded mu-Calculus. | Jeroen Bollen, Jan Van den Bussche, Stijn Vansummeren, Jonni Virtema |
| 2024 | AAAI | Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. | Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema |
| 2024 | CSL | Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. | Fausto Barbero, Jonni Virtema |
| 2023 | JELIA | Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals. | Fausto Barbero, Jonni Virtema |
| 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 |
| 2023 | MFCS | Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity. | Juha Kontinen, Max Sandstrm, Jonni Virtema |
| 2023 | WoLLIC | Parameterized Complexity of Propositional Inclusion and Independence Logic. | Yasir Mahmood, Jonni Virtema |
| 2022 | LICS | Temporal Team Semantics Revisited. | Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema |
| 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 | MEDI | Fully Generic Queries: Open Problems and Some Partial Answers. | Dimitri Surinx, Jan Van den Bussche, Jonni Virtema |
| 2019 | WoLLIC | Descriptive Complexity of Deterministic Polylogarithmic Time. | Flavio Ferrarotti, Senn Gonzlez, Jos Maria Turull Torres, Jan Van den Bussche, Jonni Virtema |
| 2018 | CSL | Expressivity Within Second-Order Transitive-Closure Logic. | Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema |
| 2018 | LFCS | Polyteam Semantics. | Miika Hannula, Juha Kontinen, Jonni Virtema |
| 2018 | MFCS | Team Semantics for the Specification and Verification of Hyperproperties. | Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann |
| 2017 | MFCS | Model Checking and Validity in Propositional and Modal Inclusion Logics. | Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema |
| 2016 | MFCS | Decidability of Predicate Logics with Team Semantics. | Juha Kontinen, Antti Kuusisto, Jonni Virtema |
| 2016 | WoLLIC | Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. | Katsuhiko Sano, Jonni Virtema |
| 2015 | CSL | Axiomatizing Propositional Dependence Logics. | Katsuhiko Sano, Jonni Virtema |
| 2015 | MFCS | Complexity of Propositional Independence and Inclusion Logic. | Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer |
| 2015 | TIME | A Team Based Variant of CTL. | Andreas Krebs, Arne Meier, Jonni Virtema |
| 2015 | WoLLIC | Characterizing Frame Definability in Team Semantics via the Universal Modality. | Katsuhiko Sano, Jonni Virtema |
| 2014 | AiML | The Expressive Power of Modal Dependence Logic. | Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema |
| 2013 | WoLLIC | Boolean Dependence Logic and Partially-Ordered Connectives. | Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema |
| 2013 | WoLLIC | Extended Modal Dependence Logic. | Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Mller, Jonni Virtema, Heribert Vollmer |
| 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 |