º¬Ð߲ݴ«Ã½

All publications

Journal articles

• Hannula M & Virtema J (2022) . Annals of Pure and Applied Logic.
• 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.
• Hella L, Kuusisto A, Meier A & Virtema J (2019) . Journal of Logic and Computation, 29(5), 605-630.
• Sano K & Virtema J (2019) . Annals of Pure and Applied Logic, 170(9), 1100-1127.
• Durand A, Hannula M, Kontinen J, Meier A & Virtema J (2018) . Annals of Mathematics and Artificial Intelligence, 83(3-4), 297-320.
• Vollmer H, Hannula M, Kontinen J & Virtema J (2018) . ACM Transactions on Computational Logic, 19(1).
• 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 (2013) . Logical Methods in Computer Science, 9(4).

Conference proceedings papers

• Kontinen J, Sandström M & Virtema J (2024) . Foundations of Information and Knowledge Systems, 13th International Symposium, FoIKS 2024, º¬Ð߲ݴ«Ã½, UK, April 8–11, 2024, Proceedings, Vol. 14589 (pp 275-286)
• Mahmood Y, Virtema J, Barlag T & Ngomo A-CN (2024) . Foundations of Information and Knowledge Systems, 13th International Symposium, FoIKS 2024, º¬Ð߲ݴ«Ã½, UK, April 8–11, 2024, Proceedings, Vol. 14589 (pp 23-42)
• 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) . Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
• 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. Virtual Conference, 15 December 2021 - 17 December 2021.
• Hannula M & Virtema J (2021) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12678 LNAI (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
• Surinx D, Van den Bussche J & Virtema J (2019) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11815 LNCS (pp 20-31)
• Ferrarotti F, González S, Turull Torres JM, Van den Bussche J & Virtema J (2019) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11541 LNCS (pp 208-222)
• Hannula M, Hirvonen Ã…, Kontinen J, Kulikov V & Virtema J (2019) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11468 LNAI (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) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10833 LNCS (pp 186-206)
• Hannula M, Kontinen J & Virtema J (2018) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10703 LNCS (pp 190-210)
• Hella L, Kuusisto A, Meier A & Virtema J (2017) . Leibniz International Proceedings in Informatics, LIPIcs, Vol. 83
• Hannula M, Kontinen J, Lück M & Virtema J (2016) . Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 226 (pp 198-212)
• Kontinen J, Kuusisto A & Virtema J (2016) . Leibniz International Proceedings in Informatics, LIPIcs, Vol. 58
• Krebs A, Meier A & Virtema J (2016) . Proceedings of the International Workshop on Temporal Representation and Reasoning, Vol. 2016-January (pp 140-149)
• Sano K & Virtema J (2016) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9803 LNCS (pp 392-409)
• Durand A, Hannula M, Kontinen J, Meier A & Virtema J (2016) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9616 (pp 271-291)
• Sano K & Virtema J (2015) . Leibniz International Proceedings in Informatics, LIPIcs, Vol. 41 (pp 292-307)
• Sano K & Virtema J (2015) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9160 (pp 140-155)
• Hannula M, Kontinen J, Virtema J & Vollmer H (2015) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9234 (pp 269-280)
• Virtema J (2014) . Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 161 (pp 18-31)
• 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) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8071 LNCS (pp 111-125)
• Ebbing J, Hella L, Meier A, Müller JS, Virtema J & Vollmer H (2013) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8071 LNCS (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 - PODC '12, 16 July 2012 - 18 July 2012.
• 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, 21 June 2011 - 24 June 2011.
• Hankala T, Hannula M, Kontinen J & Virtema J () Complexity of neural network training and ETR: extensions with effectively continuous functions. Proceedings of the 38th AAAI Conference on Artificial Intelligence. Vancouver, Canada, 20 February 2024 - 20 February 2024.
• Barbero F & Virtema J () Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2023, Naples, Italy.
• Kontinen J, Sandström M & Virtema J () Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity. 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28-September 1, 2023, Bordeaux, France
• Barbero F & Virtema J () Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings.
• Hannula M, Hirvonen M, Kontinen J, Mahmood Y, Meier A & Virtema J () Logics with probabilistic team semantics and the Boolean negation. Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings.
• Mahmood Y & Virtema J () Parameterized Complexity of Propositional Inclusion and Independence Logic. Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, Canada, July 11-14, 2023, Proceedings.

Preprints

• 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.
• Pardal N & Virtema J (2023) A fine-grained framework for database repairs.
• 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) Unified Foundations of Team Semantics via Semirings.
• 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.