Jonni Virtema

Cited by

	All	Since 2019
Citations	693	466
h-index	16	13
i10-index	21	18

100

2013201420152016201720182019202020212022202320247 27 33 42 53 48 74 77 48 98 90 78

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Juha KontinenProfessor, University of Helsinki, FinlandVerified email at helsinki.fi
Miika HannulaUniversity of HelsinkiVerified email at helsinki.fi
Arne MeierPrivatdozent, Institute of Theoretical Computer Science, Leibniz Universität HannoverVerified email at thi.uni-hannover.de
Lauri HellaMatematiikan professori, Tampereen yliopistoVerified email at uta.fi
Antti KuusistoAcademy Research Fellow, Tampere UniversityVerified email at tuni.fi
Heribert VollmerProfessor für Theoretische Informatik, Leibniz Universität HannoverVerified email at thi.uni-hannover.de
Katsuhiko SanoProfessor, Faculty of Humanities and Human Sciences, Hokkaido UniversityVerified email at let.hokudai.ac.jp
Jan Van den BusscheProfessor, Hasselt UniversityVerified email at uhasselt.be
Martin ZimmermannAalborg UniversityVerified email at cs.aau.dk
Vadim KulikovSenior Research Fellow at University of OuluVerified email at oulu.fi
Jukka SuomelaAalto UniversityVerified email at aalto.fi
Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
Flavio FerrarottiSoftware Competence Center Hagenberg GmbHVerified email at scch.at
Timon BarlagVerified email at thi.uni-hannover.de
Nina PardalDCS, University of Sheffield - ICC, Universidad de Buenos AiresVerified email at sheffield.ac.uk
Fan YangUtrecht UniversityVerified email at uu.nl
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Jana HofmannTenure-Track Faculty at MPI-SPVerified email at mpi-sp.org
Yasir MahmoodDICE Group, Paderborn UnoversityVerified email at uni-paderborn.de
Max SandströmDoctoral researcher, University of Helsinki; Teaching and Research Assistant, University of SheffieldVerified email at sheffield.ac.uk

Jonni Virtema

Lecturer, University of Sheffield, UK

Verified email at sheffield.ac.uk - Homepage

Finite Model Theory Logic in Computer Science Modal Logic Descriptive Complexity


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Weak models of distributed computing, with connections to modal logic L Hella, M Järvisalo, A Kuusisto, J Laurinharju, T Lempiäinen, K Luosto, ... Proceedings of the 2012 ACM Symposium on Principles of distributed computing …, 2012	70	2012
The expressive power of modal dependence logic L Hella, K Luosto, K Sano, J Virtema Advances in Modal Logic 2014, 2014	54	2014
Complexity of propositional logics in team semantics M Hannula, J Kontinen, J Virtema, H Vollmer ACM Trans. Comput. Log., 2018	51*	2018
Approximation and dependence via multiteam semantics A Durand, M Hannula, J Kontinen, A Meier, J Virtema Annals of Mathematics and Artificial Intelligence 83 (3-4), 297-320, 2018	47	2018
Extended Modal Dependence Logic EMDL J Ebbing, L Hella, A Meier, JS Müller, J Virtema, H Vollmer International Workshop on Logic, Language, Information, and Computation, 126-137, 2013	45	2013
Team Semantics for the Specification and Verification of Hyperproperties A Krebs, A Meier, J Virtema, M Zimmermann 43rd International Symposium on Mathematical Foundations of Computer Science …, 2018	44	2018
Probabilistic team semantics A Durand, M Hannula, J Kontinen, A Meier, J Virtema Foundations of Information and Knowledge Systems: 10th International …, 2018	42	2018
Complexity of validity for propositional dependence logics J Virtema Information and Computation 253, 224-236, 2017	34	2017
Facets of distribution identities in probabilistic team semantics M Hannula, Å Hirvonen, J Kontinen, V Kulikov, J Virtema European Conference on Logics in Artificial Intelligence, 304-320, 2019	32	2019
Complexity of two-variable dependence logic and IF-logic J Kontinen, A Kuusisto, P Lohmann, J Virtema Information and Computation 239, 237-253, 2014	25	2014
Descriptive complexity of real computation and probabilistic independence logic M Hannula, J Kontinen, J Van den Bussche, J Virtema Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020	24	2020
Model checking and validity in propositional and modal inclusion logics L Hella, A Kuusisto, A Meier, J Virtema Journal of Logic and Computation 29 (5), 605-630, 2019	24	2019
On quantified propositional logics and the exponential time hierarchy M Hannula, J Kontinen, M Lück, J Virtema 7th International Symposium on Games, Automata, Logics, and Formal …, 2016	23	2016
A team based variant of CTL A Krebs, A Meier, J Virtema 22nd International Symposium on Temporal Representation and Reasoning, TIME …, 2015	21	2015
Axiomatizing propositional dependence logics K Sano, J Virtema 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, 2015	20	2015
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity J Virtema, J Hofmann, B Finkbeiner, J Kontinen, F Yang 41st IARCS Annual Conference on Foundations of Software Technology and …, 2021	19*	2021
Polyteam semantics M Hannula, J Kontinen, J Virtema Journal of Logic and Computation 30 (8), 1541-1566, 2020	16	2020
Characterising modal definability of team-based logics via the universal modality K Sano, J Virtema Annals of Pure and Applied Logic 170 (9), 1100-1127, 2019	15*	2019
Decidability of predicate logics with team semantics J Kontinen, A Kuusisto, J Virtema 41st International Symposium on Mathematical Foundations of Computer Science …, 2016	15*	2016
Temporal Team Semantics Revisited JO Gutsfeld, A Meier, C Ohrem, J Virtema Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022	13	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors