author-photo

Jonni Virtema

University of Tampere
University of Hasselt
Leibniz University of Hanover

81

Papers

602

Citations

Citation Trend

Filter By

Papers (47) Sort By

Journal Conference Others

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

2022 Annals of Pure and Applied Logic
- Miika Hannula
- Jonni Virtema
Show All
- Source
- Cite
- Save
Citations (0)
Temporal Team Semantics Revisited

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.

2021 FSTTCS | International Conference on Foundation of Software Technology and Theoretical Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Descriptive complexity of deterministic polylogarithmic time and space

2021 Journal of Computer and System Sciences
Show All
- Source
- Cite
- Save
Citations (0)
Parameterised Complexity of Propositional Logic in Team Semantics.

2021 arXiv: Logic in Computer Science
- Yasir Mahmood
- Jonni Virtema
Show All
- Source
- Cite
- Save
Citations (0)
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals.

2020
- Miika Hannula
- Jonni Virtema
Show All
- Source
- Cite
- Save
Citations (0)
Descriptive Complexity of Deterministic Polylogarithmic Time and Space.

2019 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (2)
Model checking and validity in propositional and modal inclusion logics

2019 Journal of Logic and Computation
Show All
- Source
- Cite
- Save
Citations (1)
Descriptive Complexity of Deterministic Polylogarithmic Time.

2019 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (2)
Characterising modal definability of team-based logics via the universal modality

2019 Annals of Pure and Applied Logic
- Katsuhiko Sano
- Jonni Virtema
Show All
- Source
- Cite
- Save
Citations (2)