Jonni Virtema

Identifiers

• name variant Jonni Virtema 0.60 · backfill

Papers (19)

1. Inconsistent Databases and Argumentation Frameworks with Collective Attacks cs.DB · 2026 · author #2
2. Recurrent Graph Neural Networks and Arithmetic Circuits cs.CC · 2026 · author #4
3. Facets of Distribution Identities in Probabilistic Team Semantics cs.LO · 2018 · author #5
4. Expressivity within second-order transitive-closure logic cs.LO · 2018 · author #3
5. Probabilistic team semantics cs.LO · 2018 · author #5
6. Team Semantics for the Specification and Verification of Hyperproperties cs.LO · 2017 · author #3
7. Model Checking and Validity in Propositional and Modal Inclusion Logics cs.LO · 2016 · author #4
8. Characterizing Relative Frame Definability in Team Semantics via the Universal Modality math.LO · 2016 · author #2
9. Approximation and Dependence via Multiteam Semantics cs.LO · 2015 · author #5
10. A Team Based Variant of CTL cs.LO · 2015 · author #3
11. Complexity of Propositional Logics in Team Semantics cs.LO · 2015 · author #3
12. Characterising Modal Definability of Team-Based Logics via the Universal Modality math.LO · 2015 · author #2
13. Axiomatizing Propositional Dependence Logics cs.LO · 2014 · author #2
14. Decidability of predicate logics with team semantics cs.LO · 2014 · author #3
15. Boolean Dependence Logic and Partially-Ordered Connectives math.LO · 2014 · author #4
16. The Expressive Power of Modal Dependence Logic cs.LO · 2014 · author #4
17. Undecidable First-Order Theories of Affine Geometries math.LO · 2012 · author #3
18. Weak Models of Distributed Computing, with Connections to Modal Logic cs.DC · 2012 · author #8
19. Complexity of two-variable Dependence Logic and IF-Logic cs.LO · 2011 · author #4

Mentions

• 1208.4930 #3 · backfill · confidence 0.70 Jonni Virtema
• 1205.2051 #8 · backfill · confidence 0.70 Jonni Virtema
• 1104.3148 #4 · backfill · confidence 0.70 Jonni Virtema

Frequent Coauthors

• Juha Kontinen 6 shared papers
• Antti Kuusisto 5 shared papers
• Arne Meier 5 shared papers
• Katsuhiko Sano 4 shared papers
• Lauri Hella 4 shared papers
• Miika Hannula 4 shared papers
• Andreas Krebs 2 shared papers
• Arnaud Durand 2 shared papers
• Heribert Vollmer 2 shared papers
• Kerkko Luosto 2 shared papers
• Peter Lohmann 2 shared papers
• Timon Barlag 2 shared papers
• {\AA}sa Hirvonen 1 shared papers
• Axel-Cyrille Ngonga Ngomo 1 shared papers
• Flavio Ferrarotti 1 shared papers
• Jan Van den Bussche 1 shared papers
• Jeremy Meyers 1 shared papers
• Johannes Ebbing 1 shared papers
• Juhana Laurinharju 1 shared papers
• Jukka Suomela 1 shared papers