| Weak models of distributed computing, with connections to modal logic L Hella, M Järvisalo, A Kuusisto, J Laurinharju, T Lempiäinen, K Luosto, ... Distributed Computing 28 (1), 31-53, 2015 | 49 | 2015 |
| A double team semantics for generalized quantifiers A Kuusisto Journal of Logic, Language and Information 24 (2), 149-191, 2015 | 31 | 2015 |
| Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics C Feier, A Kuusisto, C Lutz arXiv preprint arXiv:1701.02231, 2017 | 28 | 2017 |
| Complexity of two-variable dependence logic and IF-logic J Kontinen, A Kuusisto, P Lohmann, J Virtema Information and Computation 239, 237-253, 2014 | 23 | 2014 |
| Modal logic and distributed message passing automata A Kuusisto Computer Science Logic (CSL) 2013 23, 2013 | 20 | 2013 |
| Modal inclusion logic: Being lax is simpler than being strict L Hella, A Kuusisto, A Meier, H Vollmer International Symposium on Mathematical Foundations of Computer Science, 281-292, 2015 | 16 | 2015 |
| Complexity and expressivity of uniform one-dimensional fragment with equality E Kieroński, A Kuusisto International Symposium on Mathematical Foundations of Computer Science, 365-376, 2014 | 16 | 2014 |
| One-dimensional fragment of first-order logic L Hella, A Kuusisto Advances in Modal Logic, 2014, 2014 | 16 | 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 | 14 | 2019 |
| Infinite Networks, Halting and Local Algorithms A Kuusisto Fifth International Symposium on Games, Automata, Logics and Formal …, 2014 | 11 | 2014 |
| A modal perspective on monadic second-order alternation hierarchies. A Kuusisto Advances in modal logic 7, 231-247, 2008 | 11 | 2008 |
| Game-Theoretic Semantics for Alternating-Time Temporal Logic V Goranko, A Kuusisto, R Rönnholm Proceedings of the 2016 International Conference on Autonomous Agents …, 2016 | 10 | 2016 |
| Decidability of predicate logics with team semantics J Kontinen, A Kuusisto, J Virtema arXiv preprint arXiv:1410.5037, 2014 | 9 | 2014 |
| Game-theoretic semantics for ATL+ with applications to model checking V Goranko, A Kuusisto, R Rönnholm Information and Computation, 104554, 2020 | 8 | 2020 |
| Weighted model counting beyond two-variable logic A Kuusisto, C Lutz Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 8 | 2018 |
| Logics for propositional determinacy and independence V Goranko, A Kuusisto arXiv preprint arXiv:1609.07398, 2016 | 8 | 2016 |
| Some Turing-complete extensions of first-order logic A Kuusisto Fifth International Symposium on Games, Automata, Logics and Formal …, 2014 | 8 | 2014 |
| Bounded game-theoretic semantics for modal mu-calculus L Hella, A Kuusisto, R Rönnholm arXiv preprint arXiv:1706.00753, 2017 | 7 | 2017 |
| Uniform One-Dimensional Fragments with One Equivalence Relation E Kierónski, A Kuusisto Computer Science Logic (CSL) 2015 41, 2015 | 7 | 2015 |
| Logics of imperfect information without identity A Kuusisto Dependence and Independence in Logic, 2011 | 7 | 2011 |
Lauri HellaMatematiikan professori, Tampereen yliopistoVerified email at uta.fi
