Unpublished manuscripts

  1. [preprint] Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
    (Joint work with Bernd Finkbeiner, Jana Hofmann, Juha Kontinen, and Fan Yang.)

Peer-reviewed journal articles

  1. [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.)
    JUFO rank: 3, ERA rank: A*
  2. [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.)
    JUFO rank: 2, ERA rank: A
  3. [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.)
    JUFO rank: 2, ERA rank: A
  4. [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.)
    JUFO rank: 2, ERA rank: A
  5. [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.)
  6. [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.)
    JUFO rank: 2, ERA rank: A
  7. [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.)
    JUFO rank: 3, ERA rank: A*
  8. [paper] Complexity of validity for propositional dependence logics
    Information and Computation, Volume 253, Part 2, 2017, Elsevier, pages 224-236.
    JUFO rank: 3 (2 from 2019)
  9. [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.)
    JUFO rank: 2, ERA rank: A
  10. [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.)
    JUFO rank: 3 (2 from 2019)
  11. [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.)
    ERA rank: A

Peer-reviewed conference articles

  1. [preprint] Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
    Accepted to the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021. (Joint work with Miika Hannula.)
    CORE rank: A
  2. [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.)
  3. [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.)
    JUFO rank: 2, CORE rank: A*
  • [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.)
    CORE rank: A
  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.)
    CORE rank: A
  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.)
    CORE rank: A
  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.)
    CORE rank: A
  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.)
    CORE rank: A
  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.)
    CORE rank: A
  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.)
    JUFO rank: 2, CORE rank: A*
  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.)
    JUFO rank: 2, CORE rank: A*

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.