Jonni Virtema 个人学术档案

引用次数

	总计	2019 年至今
引用	677	449
h 指数	16	12
i10 指数	21	18

100

2013201420152016201720182019202020212022202320247 27 33 42 53 49 74 78 48 98 93 57

开放获取的出版物数量

查看全部

21 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Juha KontinenProfessor, University of Helsinki, Finland在 helsinki.fi 的电子邮件经过验证
Miika HannulaUniversity of Helsinki在 helsinki.fi 的电子邮件经过验证
Arne MeierPrivatdozent, Institute of Theoretical Computer Science, Leibniz Universität Hannover在 thi.uni-hannover.de 的电子邮件经过验证
Lauri HellaMatematiikan professori, Tampereen yliopisto在 uta.fi 的电子邮件经过验证
Antti KuusistoAcademy Research Fellow, Tampere University在 tuni.fi 的电子邮件经过验证
Katsuhiko SanoProfessor, Faculty of Humanities and Human Sciences, Hokkaido University在 let.hokudai.ac.jp 的电子邮件经过验证
Heribert VollmerProfessor für Theoretische Informatik, Leibniz Universität Hannover在 thi.uni-hannover.de 的电子邮件经过验证
Jan Van den BusscheProfessor, Hasselt University在 uhasselt.be 的电子邮件经过验证
Vadim KulikovSenior Research Fellow at University of Oulu在 oulu.fi 的电子邮件经过验证
Jukka SuomelaAalto University在 aalto.fi 的电子邮件经过验证
Matti JärvisaloProfessor, University of Helsinki在 helsinki.fi 的电子邮件经过验证
Flavio FerrarottiSoftware Competence Center Hagenberg GmbH在 scch.at 的电子邮件经过验证
Martin ZimmermannAalborg University在 cs.aau.dk 的电子邮件经过验证
Timon Barlag在 thi.uni-hannover.de 的电子邮件经过验证
Nina PardalDCS, University of Sheffield - ICC, Universidad de Buenos Aires在 sheffield.ac.uk 的电子邮件经过验证
Fan YangUtrecht University在 uu.nl 的电子邮件经过验证
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
Jana HofmannPostdoc at Azure Research, Microsoft在 microsoft.com 的电子邮件经过验证
Yasir MahmoodDICE Group, Paderborn Unoversity在 uni-paderborn.de 的电子邮件经过验证
Max SandströmDoctoral researcher, University of Helsinki; Teaching and Research Assistant, University of Sheffield在 sheffield.ac.uk 的电子邮件经过验证

关注

Jonni Virtema

Lecturer, University of Sheffield, UK

在 sheffield.ac.uk 的电子邮件经过验证 - 首页

Finite Model Theory Logic in Computer Science Modal Logic Descriptive Complexity


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	68	2012
The expressive power of modal dependence logic L Hella, K Luosto, K Sano, J Virtema Advances in Modal Logic 2014, 2014	52	2014
Complexity of propositional logics in team semantics M Hannula, J Kontinen, J Virtema, H Vollmer ACM Trans. Comput. Log., 2018	50*	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	42	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	33	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
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
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	23	2020
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	18*	2021
Polyteam semantics M Hannula, J Kontinen, J Virtema Journal of Logic and Computation 30 (8), 1541-1566, 2020	15	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	12	2022

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用