< Terug naar vorige pagina
Onderzoeker
Jonni VIRTEMA
- Trefwoorden:Informatica
- Disciplines:Mathematische logica en beginselen, Analyse van algoritmen en complexiteit, Computationele logica en formele talen
Affiliaties
- Databases en Theoretische Informatica (Onderzoeksgroep)
Lid
Vanaf1 jul 2017 → 31 okt 2019 - Informatica (Departement)
Lid
Vanaf1 jul 2017 → 31 okt 2019 - Wetenschappen (Faculteit)
Lid
Vanaf1 jul 2017 → 31 okt 2019
Publicaties
1 - 10 van 10
- Polyteam semantics(2020)
Auteurs: Miika Hannula, Juha Kontinen, Jonni VIRTEMA
Pagina's: 1541 - 1566 - Fully Generic Queries: Open Problems and Some Partial Answers(2019)Series: Lecture Notes in Computer ScienceVolume: 11815
Auteurs: Dimitri SURINX, Jan VAN DEN BUSSCHE, Jonni VIRTEMA
Pagina's: 20 - 31 - Characterising Modal Definability of Team-Based Logics via the Universal Modality(2019)
Auteurs: Katsuhiko Sano, Jonni VIRTEMA
Pagina's: 110 - 1127 - Facets of Distribution Identities in Probabilistic Team Semantics(2019)Series: Lecture Notes in Artificial Intelligence (LNCS)Volume: 11468
Auteurs: Miika Hannula, Asa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni VIRTEMA
Pagina's: 304 - 320 - Model checking and validity in propositional and modal inclusion logics(2019)
Auteurs: Lauri Hella, Antti Kuusisto, Arne Meier, Jonni VIRTEMA
Pagina's: 605 - 630 - Descriptive Complexity of Deterministic Polylogarithmic Time(2019)
Auteurs: Flavio Ferrarotti, Senén González, José María Turull Torres, Jan VAN DEN BUSSCHE, Jonni VIRTEMA
Pagina's: 208 - 222 - Polyteam Semantics(2018)Series: Lecture Notes in Computer ScienceVolume: 10703
Auteurs: M Hannula, J Kontinen, Jonni VIRTEMA
Pagina's: 190 - 210 - Probabilistic Team Semantics(2018)Series: Lecture Notes in Computer ScienceVolume: 10833
Auteurs: Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni VIRTEMA
Pagina's: 186 - 206 - Team Semantics for the Specification and Verification of Hyperproperties(2018)Series: Leibniz International Proceedings in Informatics (LIPIcs)
Auteurs: Andreas Krebs, Arne Meier, Jonni VIRTEMA, Martin Zimmermann
Pagina's: 10:1 - 10:16 - Expressivity Within Second-Order Transitive-Closure Logic(2018)Series: Leibniz International Proceedings in Informatics (LIPIcs)
Auteurs: Flavio Ferrarotti, Jan VAN DEN BUSSCHE, Jonni VIRTEMA
Pagina's: 1 - 18