< Back to previous page
Researcher
Jonni VIRTEMA
- Keywords:Computer science (incl. applied informatics)
- Disciplines:Mathematical logic and foundations, Analysis of algorithms and complexity, Computational logic and formal languages
Affiliations
- Databases and Theoretical Computer Science (Research group)
Member
From1 Jul 2017 → 31 Oct 2019 - Computer Sciences (Department)
Member
From1 Jul 2017 → 31 Oct 2019 - Faculty of Sciences (Faculty)
Member
From1 Jul 2017 → 31 Oct 2019
Publications
1 - 10 of 10
- Polyteam semantics(2020)
Authors: Miika Hannula, Juha Kontinen, Jonni VIRTEMA
Pages: 1541 - 1566 - Fully Generic Queries: Open Problems and Some Partial Answers(2019)Series: Lecture Notes in Computer ScienceVolume: 11815
Authors: Dimitri SURINX, Jan VAN DEN BUSSCHE, Jonni VIRTEMA
Pages: 20 - 31 - Characterising Modal Definability of Team-Based Logics via the Universal Modality(2019)
Authors: Katsuhiko Sano, Jonni VIRTEMA
Pages: 110 - 1127 - Facets of Distribution Identities in Probabilistic Team Semantics(2019)Series: Lecture Notes in Artificial Intelligence (LNCS)Volume: 11468
Authors: Miika Hannula, Asa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni VIRTEMA
Pages: 304 - 320 - Model checking and validity in propositional and modal inclusion logics(2019)
Authors: Lauri Hella, Antti Kuusisto, Arne Meier, Jonni VIRTEMA
Pages: 605 - 630 - Descriptive Complexity of Deterministic Polylogarithmic Time(2019)
Authors: Flavio Ferrarotti, Senén González, José María Turull Torres, Jan VAN DEN BUSSCHE, Jonni VIRTEMA
Pages: 208 - 222 - Polyteam Semantics(2018)Series: Lecture Notes in Computer ScienceVolume: 10703
Authors: M Hannula, J Kontinen, Jonni VIRTEMA
Pages: 190 - 210 - Probabilistic Team Semantics(2018)Series: Lecture Notes in Computer ScienceVolume: 10833
Authors: Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni VIRTEMA
Pages: 186 - 206 - Team Semantics for the Specification and Verification of Hyperproperties(2018)Series: Leibniz International Proceedings in Informatics (LIPIcs)
Authors: Andreas Krebs, Arne Meier, Jonni VIRTEMA, Martin Zimmermann
Pages: 10:1 - 10:16 - Expressivity Within Second-Order Transitive-Closure Logic(2018)Series: Leibniz International Proceedings in Informatics (LIPIcs)
Authors: Flavio Ferrarotti, Jan VAN DEN BUSSCHE, Jonni VIRTEMA
Pages: 1 - 18