Concepedia

Antti Kuusisto

AK

7

Publications

108

Citations

7

H-Index

2011

Active since

Affiliations

Tampere University(Current)

University of Helsinki

University of Wrocław

Leibniz University Hannover

Antti Kuusisto is an author at Tampere University specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationComputational ComplexitySemanticsVerificationSyntaxGrammar

Publications per year

2011–2019

7

Publications

7

A Double Team Semantics for Generalized Quantifiers

Antti Kuusisto · Journal of Logic Language and Information · 2015 · 31 citations · Full text

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Cristina Feier, Antti Kuusisto, Carsten Lutz · SHILAP Revista de lepidopterología · 2019 · 20 citations · Full text

Engineering, Expressive Description Logics, Higher-order Logic +16

Weak models of distributed computing, with connections to modal logic

Lauri Hella, Matti Järvisalo, Antti Kuusisto et al. · 2012 · 13 citations · Full text

Cluster Computing, Engineering, Distributed Algorithms +19

Modal Logic and Distributed Message Passing Automata

Antti Kuusisto · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 13 citations · Full text

Logical Automaton, Engineering, Canonical Connection +13

Complexity of Two-Variable Dependence Logic and IF-Logic

Juha Kontinen, Antti Kuusisto, Peter Lohmann et al. · 2011 · 11 citations

Circuit Complexity, Engineering, Two-variable Dependence Logic +12

Rows per page

1–5 of 7