AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Jonni Virtema

Jonni Virtema

Universität Hannover - Hannover / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1784798
Leibniz University of Hanover
person_outline Jonni Virtema's MOST POPULAR ARTICLES
1-) Weak models of distributed computing, with connections to modal logic Proceedings of the 2012 ACM Symposium on Principles of distributed computing …, 2012
2-) The expressive power of modal dependence logic Advances in Modal Logic 2014, 2014
3-) Complexity of propositional logics in team semantics ACM Trans. Comput. Log., 2018
4-) Approximation and dependence via multiteam semantics Annals of Mathematics and Artificial Intelligence 83 (3-4), 297-320, 2018
5-) Team Semantics for the Specification and Verification of Hyperproperties 43rd International Symposium on Mathematical Foundations of Computer Science …, 2018