Peer-reviewed journal articles

Finnish Publication Forum journal rating: 3 (top), 2 (leading), 1 (basic).
  1. [preprint] Hella L, Kuusisto A, Meier A, and Virtema J
    Model checking and validity in propositional and modal inclusion logics, Journal of Logic and Computation, to appear. Oxford University Press.
    JUFO rank: 2
  2. [preprint] Sano K and Virtema J
    Characterising Modal Definability of Team-Based Logics via the Universal Modality, Annals of Pure and Applied Logic, to appear. Elsevier.
    JUFO rank: 2
  3. [paper, preprint] Durand A, Hannula M, Kontinen J, Meier A, and Virtema J
    Approximation and Dependence via Multiteam Semantics, Annals of Mathematics and Artificial Intelligence, Volume 83, Issue 3–4, pages 297–320, Springer.
    JUFO rank: 1
  4. [paper, preprint] Hannula M, Kontinen J, Virtema J, and Vollmer H
    Complexity of Propositional Logics in Team Semantics, ACM Transactions on Computational Logic, Volume 19, Issue 1, February 2018.
    JUFO rank: 2
  5. [paper, preprint] Ebbing J, Hella L, Lohmann P, and Virtema J
    Boolean Dependence Logic and Partially-Ordered Connectives, Journal of Computer and System Sciences, Volume 88, 2017, Springer, pages 103-125.
    JUFO rank: 3
  6. [paper] Virtema J
    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)
  7. [paper, preprint] Hella L, Järvisalo M, Kuusisto A, Laurinharju J, Lempiäinen T, Luosto K, Suomela J, and Virtema J
    Weak models of distributed computing, with connections to modal logic, Distributed Computing, Volume 28, Issue 1, 2015, Springer, pages 31-53.
    JUFO rank: 2
  8. [paper, preprint] Kontinen J, Kuusisto A, Lohmann P, and Virtema J
    Complexity of two-variable Dependence Logic and IF-Logic, Information and Computation, Volume 239, 2014, Elsevier, pages 237-253.
    JUFO rank: 3 (2 from 2019)
  9. [paper] Kuusisto A, Meyers J, and Virtema J
    Undecidable First-Order Theories of Affine Geometries, Logical Methods in Computer Science 9:4:26, 2013, pages 1-23.
    JUFO rank: 1

Peer-reviewed conference articles

CORE conference ranking: A* (top 4%), A (14%), B (26%), C (49%).
  1. [preprint] Ferrarotti F, González S, Turull Torres J, Van den Bussche J, and Virtema J
    Descriptive Complexity of Deterministic Polylogarithmic Time. Accepted to the 26th Workshop on Logic, Language, Information and Computation, WoLLIC 2019.
    CORE rank: B
  2. [preprint] Hannula M, Hirvonen Å, Kontinen J, Kulikov V, and Virtema J
    Facets of Distribution Identities in Probabilistic Team Semantics. Accepted to the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019.
    CORE rank: A
  3. [paper, preprint] Ferrarotti F, Van den Bussche J, and Virtema J
    Expressivity within second-order transitive-closure logic. Proceedings of Computer Science Logic 2018. LIPIcs Vol. 119, paper 22, pages 1-18.
    CORE rank: B
  4. [paper, preprint] Krebs A, Meier A, Virtema J, and Zimmermann M
    Team Semantics for the Specification and Verification of Hyperproperties. Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. LIPIcs Vol. 117, paper 10, pages 1-16.
    CORE rank: A
  5. [paper, preprint] Durand A, Hannula M, Kontinen J, Meier A, and Virtema J
    Probabilistic Team Semantics. Proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018. LNCS 10833, Springer, pages 186-206.
  6. [paper, preprint] Hannula M, Kontinen J, and Virtema J
    Polyteam Semantics. Proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018. LNCS 10703, Springer, pages 190-210.
    CORE rank: B
  7. [paper, preprint] Hella L, Kuusisto A, Meier A, and Virtema J
    Model checking and validity in propositional and modal inclusion logics. Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. LIPIcs Vol. 83, paper 32, pages 1-14.
    CORE rank: A
  8. [paper] Hannula M, Lück M, Kontinen J, and Virtema J
    On quantified propositional logics and the exponential time hierarchy. Proceedings of the 7th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016. EPTCS 226, pages 198-212.
  9. [paper] Kontinen J, Kuusisto A, and Virtema J
    Decidability of predicate logics with team semantics. Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. LIPIcs Vol. 58, paper 60, pages 1-14.
    CORE rank: A
  10. [paper, preprint] Sano K and Virtema J
    Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. Proceedings of the 23rd International Workshop on Logic, Language, Information and Computation, WoLLIC 2016. LNCS 9803, Springer, pages 392-409.
    CORE rank: B
  11. [paper, preprint] Durand A, Hannula M, Kontinen J, Meier A, and Virtema J
    Approximation and Dependence via Multiteam Semantics, Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems. LNCS 9616, Springer, pages 271-291.
  12. [paper, preprint] Krebs A, Meier A, and Virtema J
    A Team Based Variant of CTL, Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015), IEEE Conference Publications, pages 140-149.
    CORE rank: B
  13. [paper] Sano K and Virtema J
    Axiomatizing Propositional Dependence Logics, Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, pages 292-307.
    CORE rank: B
  14. [paper, preprint] Hannula M, Kontinen J, Virtema J, and Vollmer H.
    Complexity of Propositional Independence and Inclusion Logic, Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015. LNCS 9234, Springer, pages 269-280.
    CORE rank: A
  15. [paper, preprint] Sano K and Virtema J
    Characterizing Frame Definability in Team Semantics via The Universal Modality, Proceedings of the 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015. LNCS 9160, Springer, pages 140-155.
    CORE rank: B
  16. [paper] Virtema J
    Complexity of validity for propositional dependence logics, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014. EPTCS 161, pages 18-31.
  17. [paper] Hella L, Luosto K, Sano K, and Virtema J
    The Expressive Power of Modal Dependence Logic, Proceedings of Advances in Modal Logic 10, AiML 2014, pages 294-312. College Publications.
    CORE rank: A
  18. [paper, preprint] Ebbing J, Hella L, Lohmann P, and Virtema J
    Boolean Dependence Logic and Partially-Ordered Connectives, Proceedings of the 20th International Workshop on Logic, Language, Information and Computation, WoLLIC 2013. LNCS 8071, Springer, pages 111-125.
    CORE rank: B
  19. [paper] Ebbing J, Hella L, Meier A, Müller J, Virtema J, and Vollmer H.
    Extended Modal Dependence Logic EMDL, Proceedings of the 20th International Workshop on Logic, Language, Information and Computation, WoLLIC 2013. LNCS 8071, Springer, pages 126-137.
    CORE rank: B
  20. [paper] Kuusisto A, Meyers J, and Virtema J
    Undecidable First-Order Theories of Affine Geometries, Proceedings of Computer Science Logic 2012, the 21st Annual Conference of the EACSL, CSL 2012, pages 470-484.
    CORE rank: B
  21. [paper, preprint] Hella L, Järvisalo M, Kuusisto A, Laurinharju J, Lempiäinen T, Luosto K, Suomela J, and Virtema J
    Weak models of distributed computing, with connections to modal logic, Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2012, ACM, pages 185-194.
    CORE rank: A*
  22. [paper, preprint] Kontinen J, Kuusisto A, Lohmann P, and Virtema J
    Complexity of two-variable Dependence Logic and IF-Logic, Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, IEEE, pages 289-298.
    CORE rank: A*

Thesis

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