| 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 |
| 2026 | KR | Representation Theorems for Cumulative Propositional Dependence Logics. | Juha Kontinen, Arne Meier, Kai Sauerwald |
| 2026 | WoLLIC | A Circuit-Theoretic View of rmFO over Semirings. | Timon Barlag, Nicolas Frhlich, Teemu Hankala, Miika Juhani Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker |
| 2025 | KR | On the Complexity and Properties of Preferential Propositional Dependence Logic. | Kai Sauerwald, Arne Meier, Juha Kontinen |
| 2025 | MFCS | Characterizing Small Circuit Classes from FAC⁰ to FAC¹ via Discrete Ordinary Differential Equations. | Melissa Antonelli, Arnaud Durand, Juha Kontinen |
| 2024 | AAAI | Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. | Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema |
| 2024 | MFCS | A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations. | Melissa Antonelli, Arnaud Durand, Juha Kontinen |
| 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 |
| 2022 | LFCS | A Parameterized View on the Complexity of Dependence Logic. | Juha Kontinen, Arne Meier, Yasir Mahmood |
| 2021 | CSL | On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. | Miika Hannula, Juha Kontinen, Martin Lck, Jonni Virtema |
| 2021 | WoLLIC | On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. | Juha Kontinen, Max Sandstrm |
| 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 | MFCS | Counting of Teams in First-Order Team Logics. | Anselm Haak, Juha Kontinen, Fabian Mller, Heribert Vollmer, Fan Yang |
| 2019 | TAMC | Continuous Team Semantics. | sa Hirvonen, Juha Kontinen, Arno Pauly |
| 2019 | WoLLIC | Logics for First-Order Team Properties. | Juha Kontinen, Fan Yang |
| 2018 | LFCS | Polyteam Semantics. | Miika Hannula, Juha Kontinen, Jonni Virtema |
| 2017 | LPAR | On the Interaction of Inclusion Dependencies with Independence Atoms. | Miika Hannula, Juha Kontinen, Sebastian Link |
| 2017 | STACS | Computational Aspects of Logics in Team Semantics (Tutorial). | Juha Kontinen |
| 2016 | CSL | Descriptive Complexity of #AC | Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer |
| 2016 | MFCS | Decidability of Predicate Logics with Team Semantics. | Juha Kontinen, Antti Kuusisto, Jonni Virtema |
| 2016 | WoLLIC | A Logical Approach to Context-Specific Independence. | Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Vnnen |
| 2015 | CSL | A Van Benthem Theorem for Modal Team Semantics. | Juha Kontinen, Julian-Steffen Mller, Henning Schnoor, Heribert Vollmer |
| 2015 | MFCS | Complexity of Propositional Independence and Inclusion Logic. | Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer |
| 2014 | AiML | Modal Independence Logic. | Juha Kontinen, Julian-Steffen Mller, Henning Schnoor, 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 |
| 2013 | WoLLIC | Dependence Logic with Generalized Quantifiers: Axiomatizations. | Fredrik Engstrm, Juha Kontinen, Jouko A. Vnnen |
| 2013 | WoLLIC | Independence in Database Relations. | Juha Kontinen, Sebastian Link, Jouko A. Vnnen |
| 2011 | LICS | Complexity of Two-Variable Dependence Logic and IF-Logic. | Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema |
| 2011 | WoLLIC | Characterizing Definability of Second-Order Generalized Quantifiers. | Juha Kontinen, Jakub Szymanik |
| 2009 | WoLLIC | Team Logic and Second-Order Logic. | Juha Kontinen, Ville Nurmi |
| 2008 | WoLLIC | On Second-Order Monadic Groupoidal Quantifiers. | Juha Kontinen, Heribert Vollmer |