Jonni Virtema

99 papers A* 9B 14C 8Misc 1Journal 57Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dichotomy for Axiomatising Inclusion Dependencies on K-Databases.
CoRR
Miika Hannula, Teymur Ismikhanov, Jonni Virtema
2026 — ed.
Foundations of Information and Knowledge Systems - 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings
FoIKS
Anni-Yasmin Turhan, Jonni Virtema
2026 J jnl
Recurrent Graph Neural Networks and Arithmetic Circuits.
CoRR
Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer
2026 J jnl
Unifying approach to uniform expressivity of graph neural networks.
CoRR
Huan Luo, Jonni Virtema
2025 A* conf
A Logic-Based Framework for Database Repairs.
KR
Nicolas Fröhlich, Arne Meier, Nina Pardal, Jonni Virtema
2025 A* conf
Halting Recurrent GNNs and the Graded mu-Calculus.
KR
Jeroen Bollen, Jan Van den Bussche, Stijn Vansummeren, Jonni Virtema
2025 J jnl
Halting Recurrent GNNs and the Graded μ-Calculus.
CoRR
Jeroen Bollen, Jan Van den Bussche, Stijn Vansummeren, Jonni Virtema
2025 J jnl
Local consistency and axioms of functional dependence.
CoRR
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
2025 J jnl
Logics with probabilistic team semantics and the Boolean negation.
J. Log. Comput.
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2025 J jnl
Rewriting Consistent Answers On Annotated Data.
Proc. ACM Manag. Data
Phokion G. Kolaitis, Nina Pardal, Jonni Virtema, Jef Wijsen
2025 J jnl
Set semantics for asynchronous TeamLTL: Expressivity and complexity.
Inf. Comput.
Juha Kontinen, Max Sandström, Jonni Virtema
2024 — conf
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL.
FoIKS
Juha Kontinen, Max Sandström, Jonni Virtema
2024 J jnl
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL.
CoRR
Juha Kontinen, Max Sandström, Jonni Virtema
2024 A* conf
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions.
AAAI
Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema
2024 — conf
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.
FoIKS
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
2024 B conf
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals.
CSL
Fausto Barbero, Jonni Virtema
2024 A* conf
Graph Neural Networks and Arithmetic Circuits.
NeurIPS
Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer
2024 J jnl
Graph Neural Networks and Arithmetic Circuits.
CoRR
Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer
2024 J jnl
Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111).
Dagstuhl Reports
Juha Kontinen, Jonni Virtema, Heribert Vollmer, Fan Yang, Nicolas Fröhlich
2024 J jnl
Rewriting Consistent Answers on Annotated Data.
CoRR
Phokion G. Kolaitis, Nina Pardal, Jonni Virtema
2024 J jnl
Synchronous Team Semantics for Temporal Logics.
CoRR
Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann
2023 J jnl
A fine-grained framework for database repairs.
CoRR
Nina Pardal, Jonni Virtema
2023 J jnl
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions.
CoRR
Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema
2023 J jnl
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.
CoRR
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
2023 J jnl
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals.
CoRR
Fausto Barbero, Jonni Virtema
2023 B conf
Logics with Probabilistic Team Semantics and the Boolean Negation.
JELIA
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2023 J jnl
Logics with probabilistic team semantics and the Boolean negation.
CoRR
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2023 C conf
Parameterized Complexity of Propositional Inclusion and Independence Logic.
WoLLIC
Yasir Mahmood, Jonni Virtema
2023 B conf
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity.
MFCS
Juha Kontinen, Max Sandström, Jonni Virtema
2023 J jnl
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity.
CoRR
Juha Kontinen, Max Sandström, Jonni Virtema
2023 B conf
Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals.
JELIA
Fausto Barbero, Jonni Virtema
2023 J jnl
Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals.
CoRR
Fausto Barbero, Jonni Virtema
2023 A* conf
Unified Foundations of Team Semantics via Semirings.
KR
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
2023 J jnl
Unified Foundations of Team Semantics via Semirings.
CoRR
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
2022 A* conf
Temporal Team Semantics Revisited.
LICS
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema
2022 J jnl
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.
Ann. Pure Appl. Log.
Miika Hannula, Jonni Virtema
2021 J jnl
Descriptive complexity of deterministic polylogarithmic time and space.
J. Comput. Syst. Sci.
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2021 — conf
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.
FSTTCS
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
2021 B conf
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic.
CSL
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
2021 J jnl
Parameterised Complexity of Propositional Logic in Team Semantics.
CoRR
Yasir Mahmood, Jonni Virtema
2021 J jnl
Temporal Team Semantics Revisited.
CoRR
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema
2021 B conf
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals.
JELIA
Miika Hannula, Jonni Virtema
2020 A* conf
Descriptive complexity of real computation and probabilistic independence logic.
LICS
Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
2020 J jnl
Descriptive complexity of real computation and probabilistic independence logic.
CoRR
Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
2020 J jnl
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity.
CoRR
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
2020 J jnl
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic.
CoRR
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
2020 J jnl
Polyteam semantics.
J. Log. Comput.
Miika Hannula, Juha Kontinen, Jonni Virtema
2020 J jnl
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.
CoRR
Miika Hannula, Jonni Virtema
2019 J jnl
Characterising modal definability of team-based logics via the universal modality.
Ann. Pure Appl. Log.
Katsuhiko Sano, Jonni Virtema
2019 C conf
Descriptive Complexity of Deterministic Polylogarithmic Time.
WoLLIC
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2019 J jnl
Descriptive Complexity of Deterministic Polylogarithmic Time.
CoRR
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2019 B conf
Facets of Distribution Identities in Probabilistic Team Semantics.
JELIA
Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
2019 C conf
Fully Generic Queries: Open Problems and Some Partial Answers.
MEDI
Dimitri Surinx, Jan Van den Bussche, Jonni Virtema
2019 J jnl
Model checking and validity in propositional and modal inclusion logics.
J. Log. Comput.
Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
2018 J jnl
Approximation and dependence via multiteam semantics.
Ann. Math. Artif. Intell.
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2018 J jnl
Complexity of Propositional Logics in Team Semantic.
ACM Trans. Comput. Log.
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
2018 B conf
Expressivity Within Second-Order Transitive-Closure Logic.
CSL
Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema
2018 J jnl
Expressivity within second-order transitive-closure logic.
CoRR
Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema
2018 J jnl
Facets of Distribution Identities in Probabilistic Team Semantics.
CoRR
Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
2018 Misc conf
Polyteam Semantics.
LFCS
Miika Hannula, Juha Kontinen, Jonni Virtema
2018 — conf
Probabilistic Team Semantics.
FoIKS
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2018 J jnl
Probabilistic team semantics.
CoRR
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2018 B conf
Team Semantics for the Specification and Verification of Hyperproperties.
MFCS
Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann
2017 J jnl
Boolean dependence logic and partially-ordered connectives.
J. Comput. Syst. Sci.
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
2017 J jnl
Complexity of validity for propositional dependence logics.
Inf. Comput.
Jonni Virtema
2017 B conf
Model Checking and Validity in Propositional and Modal Inclusion Logics.
MFCS
Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
2017 J jnl
Polyteam Semantics.
CoRR
Miika Hannula, Juha Kontinen, Jonni Virtema
2017 J jnl
Team Semantics for the Specification and Verification of Hyperproperties.
CoRR
Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann
2016 — conf
Approximation and Dependence via Multiteam Semantics.
FoIKS
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2016 C conf
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality.
WoLLIC
Katsuhiko Sano, Jonni Virtema
2016 B conf
Decidability of Predicate Logics with Team Semantics.
MFCS
Juha Kontinen, Antti Kuusisto, Jonni Virtema
2016 J jnl
Model Checking and Validity in Propositional and Modal Inclusion Logics.
CoRR
Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
2016 — conf
On Quantified Propositional Logics and the Exponential Time Hierarchy.
GandALF
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
2015 C conf
A Team Based Variant of CTL.
TIME
Andreas Krebs, Arne Meier, Jonni Virtema
2015 J jnl
Approximation and Dependence via Multiteam Semantics.
CoRR
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2015 B conf
Axiomatizing Propositional Dependence Logics.
CSL
Katsuhiko Sano, Jonni Virtema
2015 J jnl
Characterising Modal Definability of Team-Based Logics via the Universal Modality.
CoRR
Katsuhiko Sano, Jonni Virtema
2015 C conf
Characterizing Frame Definability in Team Semantics via the Universal Modality.
WoLLIC
Katsuhiko Sano, Jonni Virtema
2015 — conf
Complexity of Propositional Independence and Inclusion Logic.
MFCS (1)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
2015 J jnl
Complexity of Propositional Independence and Inclusion Logic.
CoRR
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
2015 J jnl
Parallel Computational Tree Logic.
CoRR
Andreas Krebs, Arne Meier, Jonni Virtema
2015 J jnl
Weak models of distributed computing, with connections to modal logic.
Distributed Comput.
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
2014 — —
Approaches to Finite Variable Dependence: Expressiveness and Computational Complexity ; Riippuvuus äärellisten muuttujajoukkojen logiikoissa.
Jonni Virtema
2014 J jnl
Axiomatizing Propositional Dependence Logics.
CoRR
Katsuhiko Sano, Jonni Virtema
2014 J jnl
Boolean Dependence Logic and Partially-Ordered Connectives.
CoRR
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
2014 J jnl
Complexity of two-variable dependence logic and IF-logic.
Inf. Comput.
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
2014 — conf
Complexity of validity for propositional dependence logics.
GandALF
Jonni Virtema
2014 J jnl
Decidable Fragments of Logics Based on Team Semantics.
CoRR
Juha Kontinen, Antti Kuusisto, Jonni Virtema
2014 B conf
The Expressive Power of Modal Dependence Logic.
Advances in Modal Logic
Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
2014 J jnl
The Expressive Power of Modal Dependence Logic.
CoRR
Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
2013 C conf
Boolean Dependence Logic and Partially-Ordered Connectives.
WoLLIC
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
2013 C conf
Extended Modal Dependence Logic.
WoLLIC
Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer
2013 J jnl
Undecidable First-Order Theories of Affine Geometries.
Log. Methods Comput. Sci.
Antti Kuusisto, Jeremy Meyers, Jonni Virtema
2012 J jnl
Undecidable First-Order Theories of Affine Geometries
CoRR
Antti Kuusisto, Jeremy Meyers, Jonni Virtema
2012 B conf
Undecidable First-Order Theories of Affine Geometries.
CSL
Antti Kuusisto, Jeremy Meyers, Jonni Virtema
2012 J jnl
Weak Models of Distributed Computing, with Connections to Modal Logic
CoRR
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
2012 A* conf
Weak models of distributed computing, with connections to modal logic.
PODC
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
2011 A* conf
Complexity of Two-Variable Dependence Logic and IF-Logic.
LICS
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
2011 J jnl
Complexity of two-variable Dependence Logic and IF-Logic
CoRR
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema