Virtema, Jonni

1. The Expressive Power of Modal Dependence Logic
   2014/06/24 by Lauri Hella, Kerkko Luosto, Hella, Lauri +5 · 2 citations
   Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Axiomatizing Propositional Dependence Logics
   2014/10/19 by Katsuhiko Sano, Sano, Katsuhiko, Jonni Virtema +1 · 2 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
3. Probabilistic team semantics
   2018/03/06 by Durand, Arnaud, Hannula, Miika, Kontinen, Juha +2 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Approximation and Dependence via Multiteam Semantics
   2015/10/30 by Durand, Arnaud, Hannula, Miika, Kontinen, Juha +2 · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
5. Model Checking and Validity in Propositional and Modal Inclusion Logics
   2016/09/22 by Hella, Lauri, Kuusisto, Antti, Meier, Arne +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
6. Team Semantics for the Specification and Verification of Hyperproperties
   2017/09/25 by Krebs, Andreas, Meier, Arne, Virtema, Jonni +1 · 1 citation
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
7. Unified Foundations of Team Semantics via Semirings
   2023/03/14 by Timon Barlag, Barlag, Timon, Miika Hannula +7 · 2 citations
   Computer Science · #Advanced Database Systems and Queries #Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
8. Linear-time Temporal Logic with Team Semantics: Expressivity and\n Complexity
   2020/10/07 by Jonni Virtema, Virtema, Jonni, Jana Hofmann +7 · 1 citation
   Chemistry · Computer Science · #Computational Complexity (cs.CC) #D.2.4 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Synthetic Organic Chemistry Methods
9. Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
   2020/12/23 by Hannula, Miika, Virtema, Jonni · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
10. Parameterised Complexity of Propositional Inclusion and Independence Logic
    2021/05/31 by Mahmood, Yasir, Virtema, Jonni · 1 citation
    #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
11. Temporal Team Semantics Revisited
    2021/10/25 by Gutsfeld, Jens Oliver, Meier, Arne, Ohrem, Christoph +1 · 1 citation
    #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
12. Polyteam Semantics
    2017/04/07 by Hannula, Miika, Kontinen, Juha, Virtema, Jonni · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
13. Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
    2023/04/21 by Kontinen, Juha, Sandström, Max, Virtema, Jonni · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
14. A logic-based framework for database repairs
    2023/06/27 by Fröhlich, Nicolas, Meier, Arne, Pardal, Nina +1 · 1 citation
    #68P15 #68T27 #Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
15. Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
    2023/12/04 by Mahmood, Yasir, Virtema, Jonni, Barlag, Timon +1 · 1 citation
    #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
16. Graph Neural Networks and Arithmetic Circuits
    2024/02/27 by Barlag, Timon, Holzapfel, Vivian, Strieker, Laura +2 · 1 citation
    #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #F.1.1 #F.1.3 #FOS: Computer and information sciences #I.2.m #Machine Learning (cs.LG)