±¬ÁÏTV

All publications

Journal articles

• Kolaitis P, Pardal N, Virtema J & Wijsen J (2025) . Proceedings of the ACM on Management of Data, 3(2), 1-26.
• Hannula M, Hirvonen M, Kontinen J, Mahmood Y, Meier A & Virtema J (2025) . Journal of Logic and Computation, 35(3).
• Kontinen J, Sandström M & Virtema J (2025) . Information and Computation, 304.
• Hannula M & Virtema J (2022) . Annals of Pure and Applied Logic, 173(10).
• Ferrarotti F, González S, Turull Torres JM, Van den Bussche J & Virtema J (2021) . Journal of Computer and System Sciences, 119, 145-163.
• Hannula M, Kontinen J & Virtema J (2020) . Journal of Logic and Computation, 30(8), 1541-1566.
• Sano K & Virtema J (2019) . Annals of Pure and Applied Logic, 170(9), 1100-1127.
• Hella L, Kuusisto A, Meier A & Virtema J (2019) . Journal of Logic and Computation, 29(5), 605-630.
• Durand A, Hannula M, Kontinen J, Meier A & Virtema J (2018) . Annals of Mathematics and Artificial Intelligence, 83(3-4), 297-320.
• Hannula M, Kontinen J, Virtema J & Vollmer H (2018) . ACM Transactions on Computational Logic, 19(1), 1-14.
• Ebbing J, Hella L, Lohmann P & Virtema J (2017) . Journal of Computer and System Sciences, 88, 103-125.
• Virtema J (2017) . Information and Computation, 253, 224-236.
• Hella L, Järvisalo M, Kuusisto A, Laurinharju J, Lempiäinen T, Luosto K, Suomela J & Virtema J (2015) . Distributed Computing, 28(1), 31-53.
• Kontinen J, Kuusisto A, Lohmann P & Virtema J (2014) . Information and Computation, 239, 237-253.
• Kuusisto A, Meyers J & Virtema J () . Logical Methods in Computer Science, Volume 9, Issue 4.

Conference proceedings

• Bollen J, Van den Bussche J, Vansummeren S & Virtema J (2025) . Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning (pp 175-184), 11 November 2025 - 11 November 2025.
• Barlag T, Holzapfel V, Strieker L, Virtema J & Vollmer H (2025) Graph neural networks and arithmetic circuits. Advances in Neural Information Processing Systems (NeurIPS 2024), Vol. 37. Vancouver, Canada, 10 December 2024 - 10 December 2024.
• Kontinen J, Sandström M & Virtema J (2024) . Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings, Vol. LNCS 14589 (pp 275-286). Sheffield, UK, 8 April 2024 - 8 April 2024.
• Mahmood Y, Virtema J, Barlag T & Ngomo A-CN (2024) . Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings, Vol. LNCS 14589 (pp 23-42). Sheffield, UK, 8 April 2024 - 8 April 2024.
• Hankala T, Hannula M, Kontinen J & Virtema J (2024) Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 11 (pp 12278-12285)
• Barbero F & Virtema J (2024) . 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, Vol. 288 (pp 15:1-15:19). Naples, Italy, 19 February 2024 - 19 February 2024.
• Barbero F & Virtema J (2023) . Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings(LNAI 14281) (pp 649-664). Dresden, Germany, 20 September 2023 - 20 September 2023.
• Hannula M, Hirvonen M, Kontinen J, Mahmood Y, Meier A & Virtema J (2023) . Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings(LNAI 14281) (pp 665-680). Dresden, Germany, 20 September 2023 - 20 September 2023.
• Mahmood Y & Virtema J (2023) . Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings, Vol. LNCS 13923 (pp 274-291). Halifax, NS, Canada
• Kontinen J, Sandström M & Virtema J (2023) . 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Vol. 272 (pp 60:1-60:14). Bordeaux, France, 28 August 2023 - 28 August 2023.
• Barlag T, Hannula M, Kontinen J, Pardal N & Virtema J (2023) . Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 (pp 75-85). Rhodes, Greece, 2 September 2023 - 2 September 2023.
• Gutsfeld JO, Meier A, Ohrem C & Virtema J (2022) . LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Haifa Israel, 2 August 2022 - 2 August 2022.
• Virtema J, Hofmann J, Finkbeiner B, Kontinen J & Yang F (2021) . 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), Vol. 213 (pp 52:1-52:17). Virtual Conference, 15 December 2021 - 15 December 2021.
• Hannula M & Virtema J (2021) (pp 262-278)
• Hannula M, Kontinen J, Lück M & Virtema J (2021) . Leibniz International Proceedings in Informatics Lipics, Vol. 183
• Hannula M, Kontinen J, Van den Bussche J & Virtema J (2020) . Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp 550-563)
• Surinx D, Van den Bussche J & Virtema J (2019) (pp 20-31)
• Ferrarotti F, González S, Turull Torres JM, Van den Bussche J & Virtema J (2019) (pp 208-222)
• Hannula M, Hirvonen Ã…, Kontinen J, Kulikov V & Virtema J (2019) (pp 304-320)
• Krebs A, Meier A, Virtema J & Zimmermann M (2018) . Leibniz International Proceedings in Informatics Lipics, Vol. 117
• Ferrarotti F, Van Den Bussche J & Virtema J (2018) . Leibniz International Proceedings in Informatics Lipics, Vol. 119
• Durand A, Hannula M, Kontinen J, Meier A & Virtema J (2018) (pp 186-206)
• Hannula M, Kontinen J & Virtema J (2018) (pp 190-210)
• Hella L, Kuusisto A, Meier A & Virtema J (2017) . Leibniz International Proceedings in Informatics Lipics, Vol. 83
• Sano K & Virtema J (2016) (pp 392-409)
• Kontinen J, Kuusisto A & Virtema J (2016) . Leibniz International Proceedings in Informatics Lipics, Vol. 58
• Durand A, Hannula M, Kontinen J, Meier A & Virtema J (2016) (pp 271-291)
• Krebs A, Meier A & Virtema J (2015) . 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) (pp 140-149), 23 September 2015 - 25 September 2015.
• Sano K & Virtema J (2015) . Leibniz International Proceedings in Informatics Lipics, Vol. 41 (pp 292-307)
• Hannula M, Kontinen J, Virtema J & Vollmer H (2015) (pp 269-280)
• Sano K & Virtema J (2015) (pp 140-155)
• Hella L, Luosto K, Sano K & Virtema J (2014) The expressive power of modal dependence logic. Advances in Modal Logic, Vol. 10 (pp 294-312)
• Ebbing J, Hella L, Lohmann P & Virtema J (2013) (pp 111-125)
• Ebbing J, Hella L, Meier A, Müller J-S, Virtema J & Vollmer H (2013) (pp 126-137)
• Hella L, Järvisalo M, Kuusisto A, Laurinharju J, Lempiäinen T, Luosto K, Suomela J & Virtema J (2012) . Proceedings of the 2012 ACM symposium on Principles of distributed computing (pp 185-194)
• Kuusisto A, Meyers J & Virtema J (2012) . Leibniz International Proceedings in Informatics Lipics, Vol. 16 (pp 470-484)
• Kontinen J, Kuusisto A, Lohmann P & Virtema J (2011) . 2011 IEEE 26th Annual Symposium on Logic in Computer Science (pp 289-298), 21 June 2011 - 24 June 2011.
• Fröhlich N, Meier A, Pardal N & Virtema J () A Logic-Based Framework for Database Repairs. Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025
• Hannula M, Kontinen J, Lück M & Virtema J () . Electronic Proceedings in Theoretical Computer Science, Vol. 226 (pp 198-212)
• Virtema J () . Electronic Proceedings in Theoretical Computer Science, Vol. 161 (pp 18-31)

Preprints

• Barlag T, Hannula M, Kontinen J, Pardal N & Virtema J (2025) Local consistency and axioms of functional dependence.
• Bollen J, Bussche JVD, Vansummeren S & Virtema J (2025) Halting Recurrent GNNs and the Graded $μ$-Calculus.
• Kolaitis PG, Pardal N, Virtema J & Wijsen J (2024) Rewriting Consistent Answers on Annotated Data.
• Barlag T, Holzapfel V, Strieker L, Virtema J & Vollmer H (2024) Graph Neural Networks and Arithmetic Circuits.
• Mahmood Y, Virtema J, Barlag T & Ngomo A-CN (2023) Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.
• Fröhlich N, Meier A, Pardal N & Virtema J (2023) , arXiv.
• Hannula M, Hirvonen M, Kontinen J, Mahmood Y, Meier A & Virtema J (2023) Logics with probabilistic team semantics and the Boolean negation.
• Hankala T, Hannula M, Kontinen J & Virtema J (2023) Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions.
• Kontinen J, Sandström M & Virtema J (2023) Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity.
• Barbero F & Virtema J (2023) Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals.
• Barbero F & Virtema J (2023) Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals.
• Barlag T, Hannula M, Kontinen J, Pardal N & Virtema J (2023) , arXiv.
• Gutsfeld JO, Meier A, Ohrem C & Virtema J (2021) Temporal Team Semantics Revisited.
• Hannula M & Virtema J (2020) Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.
• Virtema J, Hofmann J, Finkbeiner B, Kontinen J & Yang F (2020) Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity.
• Hannula M, Kontinen J, Lück M & Virtema J (2020) On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic.
• Hannula M, Kontinen J, Bussche JVD & Virtema J (2020) Descriptive complexity of real computation and probabilistic independence logic.
• Ferrarotti F, González S, Torres JMT, Bussche JVD & Virtema J (2019) Descriptive Complexity of Deterministic Polylogarithmic Time and Space.
• Hannula M, Hirvonen Ã…, Kontinen J, Kulikov V & Virtema J (2018) Facets of Distribution Identities in Probabilistic Team Semantics.
• Ferrarotti F, Bussche JVD & Virtema J (2018) Expressivity within second-order transitive-closure logic.
• Durand A, Hannula M, Kontinen J, Meier A & Virtema J (2018) Probabilistic team semantics.
• Krebs A, Meier A, Virtema J & Zimmermann M (2017) Team Semantics for the Specification and Verification of Hyperproperties.
• Hannula M, Kontinen J & Virtema J (2017) Polyteam Semantics.
• Hella L, Kuusisto A, Meier A & Virtema J (2016) Model Checking and Validity in Propositional and Modal Inclusion Logics.
• Sano K & Virtema J (2016) Characterizing Relative Frame Definability in Team Semantics via the Universal Modality.
• Durand A, Hannula M, Kontinen J, Meier A & Virtema J (2015) Approximation and Dependence via Multiteam Semantics.
• Krebs A, Meier A & Virtema J (2015) A Team Based Variant of CTL.
• Hannula M, Kontinen J, Virtema J & Vollmer H (2015) Complexity of Propositional Logics in Team Semantics.
• Sano K & Virtema J (2015) Characterising Modal Definability of Team-Based Logics via the Universal Modality.
• Kontinen J, Kuusisto A & Virtema J (2014) Decidability of predicate logics with team semantics.
• Sano K & Virtema J (2014) Axiomatizing Propositional Dependence Logics.
• Ebbing J, Hella L, Lohmann P & Virtema J (2014) Boolean Dependence Logic and Partially-Ordered Connectives.
• Virtema J (2014) Complexity of validity for propositional dependence logics.
• Hella L, Luosto K, Sano K & Virtema J (2014) The Expressive Power of Modal Dependence Logic.
• Kuusisto A, Meyers J & Virtema J (2013) Undecidable First-Order Theories of Affine Geometries.
• Kuusisto A, Meyers J & Virtema J (2012) Undecidable First-Order Theories of Affine Geometries.
• Hella L, Järvisalo M, Kuusisto A, Laurinharju J, Lempiäinen T, Luosto K, Suomela J & Virtema J (2012) Weak Models of Distributed Computing, with Connections to Modal Logic.
• Kontinen J, Kuusisto A, Lohmann P & Virtema J (2011) Complexity of two-variable Dependence Logic and IF-Logic.