Unpublished manuscripts

  1. Graph Neural Networks and Arithmetic Circuits
    (Joint work with Timon Barlag, Vivian Holzapfel, Laura Strieker, and Heribert Vollmer.)
  2. [preprint] A logic-based framework for database repairs
    (Joint work with Nicolas Fröhlich, Arne Meier, and Nina Pardal.)
  3. Semantic Characterizations of Intuitionistic Logic with the Universal Modality and Intuitionistic Inquisitive Logic
    (Joint work with Katsuhiko Sano.)

Peer-reviewed journal articles

  1. [paper, preprint] Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
    Annals of Pure and Applied Logic, Volume 173, Issue 10, December 2022, pages 1-30, Elsevier. (Joint work with Miika Hannula.)
    Extends the conference article 25.
  2. [paper, preprint] Descriptive Complexity of Deterministic Polylogarithmic Time and Space
    Journal of Computer and System Sciences, Volume 119, August 2021, pages 145-163, Elsevier. (Joint work with Flavio Ferrarotti, Senen González, Jose Maria Turull Torres, and Jan Van den Bussche.)
    Extends the conference article 23.
  3. [paper, preprint] Polyteam Semantics
    Journal of Logic and Computation, Volume 30, Issue 8, December 2020, pages 1541-1566, Oxford University Press. (Joint work with Miika Hannula and Juha Kontinen.)
    Extends the conference article 17.
  4. [paper, preprint] Model checking and validity in propositional and modal inclusion logics
    Journal of Logic and Computation, Volume 29, Issue 5, September 2019, pages 605–630, Oxford University Press. (Joint work with Lauri Hella, Antti Kuusisto, and Arne Meier.)
    Extends the conference article 16.
  5. [paper, preprint] Characterising Modal Definability of Team-Based Logics via the Universal Modality
    Annals of Pure and Applied Logic, Volume 170, Issue 9, September 2019, pages 1100-1127, Elsevier. (Joint work with Katsuhiko Sano.)
    Extends the conference articles 8 and 13.
  6. [paper, preprint] Approximation and Dependence via Multiteam Semantics
    Annals of Mathematics and Artificial Intelligence, Volume 83, Issue 3–4, pages 297–320, Springer. (Joint work with Arnaud Durand, Miika Hannula, Juha Kontinen, and Arne Meier.)
    Extends the conference article 12.
  7. [paper, preprint] Complexity of Propositional Logics in Team Semantics
    ACM Transactions on Computational Logic, Volume 19, Issue 1, Article No. 2, February 2018, 14 pages. (Joint work with Miika Hannula, Juha Kontinen, and Heribert Vollmer.)
    Extends the conference article 9.
  8. [paper, preprint] Boolean Dependence Logic and Partially-Ordered Connectives
    Journal of Computer and System Sciences, Volume 88, 2017, Elsevier, pages 103-125. (Joint work with Johannes Ebbing, Lauri Hella, and Peter Lohmann.)
    Extends the conference article 5.
  9. [paper] Complexity of validity for propositional dependence logics
    Information and Computation, Volume 253, Part 2, 2017, Elsevier, pages 224-236.
    Extends the conference article 7.
  10. [paper, preprint] Weak models of distributed computing, with connections to modal logic
    Distributed Computing, Volume 28, Issue 1, 2015, Springer, pages 31-53. (Joint work with Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, and Jukka Suomela.)
    Extends the conference article 2.
  11. [paper, preprint] Complexity of two-variable Dependence Logic and IF-Logic
    Information and Computation, Volume 239, 2014, Elsevier, pages 237-253. (Joint work with Juha Kontinen, Antti Kuusisto, and Peter Lohmann.)
    Extends the conference article 1.
  12. [paper] Undecidable First-Order Theories of Affine Geometries
    Logical Methods in Computer Science, 9:4:26, 2013, pages 1-23. (Joint work with Antti Kuusisto and Jeremy Meyers.)
    Extends the conference article 3.

Thesis

  1. [thesis] Approaches to Finite Variable Dependence - Expressiveness and Computational Complexity
    PhD thesis, University of Tampere, 2014, 140 pages.
  2. [thesis] μ-calculus - the bisimulation invariant fragment of monadic second order predicate logic
    Master's thesis, University of Tampere, 2007, 46 pages.

Peer-reviewed conference articles

  1. [paper] A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
    13th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2024. (Joint work with Juha Kontinen and Max Sandström.)
  2. [paper, preprint] Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
    13th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2024. (Joint work with Yasir Mahmood, Timon Barlag, and Axel-Cyrille Ngonga Ngomo.)
  3. [paper, preprint] Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions
    38th Annual AAAI Conference on Artificial Intelligence, AAAI 2024. (Joint work with Teemu Hankala, Miika Hannula, and Juha Kontinen.)
  4. [paper, preprint] Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals
    32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. (Joint work with Fausto Barbero.)
  5. [paper, preprint] Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals
    18th European Conference on Logics in Artificial Intelligence, JELIA 2023. (Joint work with Fausto Barbero.)
  6. [paper, preprint] Logics with probabilistic team semantics and the Boolean negation
    18th European Conference on Logics in Artificial Intelligence, JELIA 2023. (Joint work with Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, and Arne Meier.)
  7. [paper, preprint] Unified Foundations of Team Semantics via Semirings
    20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. (Joint work with Timon Barlag, Miika Hannula, Juha Kontinen, and Nina Pardal.)
  8. [paper, preprint] Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
    48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. (Joint work with Juha Kontinen and Max Sandström.)
  9. [paper, preprint] Parameterised Complexity of Propositional Inclusion and Independence Logic
    29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023. (Joint work with Yasir Mahmood.)
  10. [paper, preprint] Temporal Team Semantics Revisited
    37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. (Joint work with Jens Gutsfeld, Arne Meier, and Christoph Ohrem.)
  11. [paper, preprint] Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
    41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021. LIPIcs Vol. 213, paper 52, pages 1-17. (Joint work with Bernd Finkbeiner, Jana Hofmann, Juha Kontinen, and Fan Yang.)
  12. [paper, preprint] Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
    17th European Conference on Logics in Artificial Intelligence, JELIA 2021. LNCS 12678, pages 262-278. (Joint work with Miika Hannula.)
  13. [paper, preprint] On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
    29th EACSL Annual Conference on Computer Science Logic, CSL 2021. LIPIcs Vol. 183, paper 27, pages 1-22. (Joint work with Miika Hannula, Juha Kontinen, and Martin Lück.)
  14. [paper, preprint] Descriptive complexity of real computation and probabilistic independence logic
    35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020, pages 550-563. (Joint work with Miika Hannula, Juha Kontinen, and Jan Van den Bussche.)
  • [paper] (Short abstract) Complexity of probabilistic inclusion logic and additive real arithmetics
    Workshop on Logics of Dependence and Independence, LoDE 2020V, pages 26-31. University of Helsinki, Department of Mathematics and Statistics. (Joint work with Miika Hannula.)
  • [paper] (Invited paper) Fully Generic Queries: Open Problems and Some Partial Answers
    9th International Conference on Model & Data Engineering, MEDI 2019. LNCS 11815, pages 20-31, Springer. (Joint work with Dimitri Surinx and Jan Van den Bussche.)
  1. [paper, preprint] Descriptive Complexity of Deterministic Polylogarithmic Time
    26th Workshop on Logic, Language, Information and Computation, WoLLIC 2019. LNCS 11541, pages 208-22, Springer. (Joint work with Flavio Ferrarotti, Senen González, Jose Maria Turull Torres, and Jan Van den Bussche.)
  2. [paper, preprint] Facets of Distribution Identities in Probabilistic Team Semantics
    16th European Conference on Logics in Artificial Intelligence, JELIA 2019. LNCS 11468, pages 304-320, Springer. (Joint work with Miika Hannula, Åsa Hirvonen, Juha Kontinen, and Vadim Kulikov.)
  3. [paper, preprint] Expressivity within second-order transitive-closure logic
    27th EACSL Annual Conference on Computer Science Logic, CSL 2018. LIPIcs Vol. 119, paper 22, pages 1-18. (Joint work with Flavio Ferrarotti and Jan Van den Bussche.)
  4. [paper, preprint] Team Semantics for the Specification and Verification of Hyperproperties
    43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. LIPIcs Vol. 117, paper 10, pages 1-16. (Joint work with Andreas Krebs, Arne Meier, and Martin Zimmermann.)
  5. [paper, preprint] Probabilistic Team Semantics
    10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018. LNCS 10833, Springer, pages 186-206. (Joint work with Arnaud Durand, Miika Hannula, Juha Kontinen, and Arne Meier.)
  6. [paper, preprint] Polyteam Semantics
    International Symposium on Logical Foundations of Computer Science, LFCS 2018. LNCS 10703, Springer, pages 190-210. (Joint work with Miika Hannula and Juha Kontinen.)
  7. [paper, preprint] Model checking and validity in propositional and modal inclusion logics
    42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. LIPIcs Vol. 83, paper 32, pages 1-14. (Joint work with Lauri Hella, Antti Kuusisto, and Arne Meier.)
  8. [paper] On quantified propositional logics and the exponential time hierarchy
    7th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016. EPTCS 226, pages 198-212. (Joint work with Miika Hannula, Martin Lück, and Juha Kontinen.)
  9. [paper] Decidability of predicate logics with team semantics
    41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. LIPIcs Vol. 58, paper 60, pages 1-14. (Joint work with Juha Kontinen and Antti Kuusisto.)
  10. [paper, preprint] Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
    23rd International Workshop on Logic, Language, Information and Computation, WoLLIC 2016. LNCS 9803, Springer, pages 392-409. (Joint work with Katsuhiko Sano.)
  11. [paper, preprint] Approximation and Dependence via Multiteam Semantics
    9th International Symposium on Foundations of Information and Knowledge Systems, FOIKS 2016. LNCS 9616, Springer, pages 271-291. (Joint work with Arnaud Durand, Miika Hannula, Juha Kontinen, and Arne Meier.)
  12. [paper, preprint] A Team Based Variant of CTL
    22nd International Symposium on Temporal Representation and Reasoning, TIME 2015. IEEE Conference Publications, pages 140-149. (Joint work with Andreas Krebs and Arne Meier.)
  13. [paper] Axiomatizing Propositional Dependence Logics
    24th EACSL Annual Conference on Computer Science Logic, CSL 2015. LIPIcs Vol. 41, pages 292-307. (Joint work with Katsuhiko Sano.)
  14. [paper, preprint] Complexity of Propositional Independence and Inclusion Logic
    40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015. LNCS 9234, Springer, pages 269-280. (Joint work with Miika Hannula, Juha Kontinen, and Heribert Vollmer.)
  15. [paper, preprint] Characterizing Frame Definability in Team Semantics via The Universal Modality
    22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015. LNCS 9160, Springer, pages 140-155. (Joint work with Katsuhiko Sano.)
  16. [paper] Complexity of validity for propositional dependence logics
    5th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014. EPTCS 161, pages 18-31.
  17. [paper] The Expressive Power of Modal Dependence Logic
    Advances in Modal Logic 10, AiML 2014, pages 294-312. College Publications. (Joint work with Lauri Hella, Kerkko Luosto, and Katsuhiko Sano.)
  18. [paper, preprint] Boolean Dependence Logic and Partially-Ordered Connectives
    20th International Workshop on Logic, Language, Information and Computation, WoLLIC 2013. LNCS 8071, Springer, pages 111-125. (Joint work with Johannes Ebbing, Lauri Hella, and Peter Lohmann.)
  19. [paper] Extended Modal Dependence Logic EMDL
    20th International Workshop on Logic, Language, Information and Computation, WoLLIC 2013. LNCS 8071, Springer, pages 126-137. (Joint work with Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, and Heribert Vollmer.)
  20. [paper] Undecidable First-Order Theories of Affine Geometries
    21st EACSL Annual Conference on Computer Science Logic, CSL 2012, pages 470-484. (Joint work with Antti Kuusisto and Jeremy Meyers.)
  21. [paper, preprint] Weak models of distributed computing, with connections to modal logic
    31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2012, ACM, pages 185-194. (Joint work with Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, and Jukka Suomela.)
  22. [paper, preprint] Complexity of two-variable Dependence Logic and IF-Logic
    26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, IEEE, pages 289-298. (Joint work with Juha Kontinen, Antti Kuusisto, and Peter Lohmann.)