Antti Kuusisto

Tutkimustuotoksia vuodessa

19 Konferenssiartikkeli
17 Artikkeli
1 Tutkimusraportti
1 Väitöskirja
Lisää
- 1 Muu verkkokirjoitus
- 1 Esipainos

17 tulosta

Suodatin

2025
Descriptive complexity for distributed computing with circuits
Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., tammik. 2025, (E-pub ahead of print) julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. exae087.
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto
6 Lataukset (Pure)
Relating description complexity to entropy
Jaakkola, R., Kuusisto, A. & Vilander, M., toukok. 2025, julkaisussa: Journal of Computer and System Sciences. 149, 103615.
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto
6 Lataukset (Pure)
2023
The optimal way to play the most difficult repeated two-player coordination games
Kuusisto, A. & Rönnholm, R., 2023, julkaisussa: Discrete Applied Mathematics. 339, s. 36-52 17 Sivumäärä
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto
20 Lataukset (Pure)
2022
Bounded game-theoretic semantics for modal mu-calculus
Hella, L., Kuusisto, A. & Rönnholm, R., 2022, julkaisussa: Information and Computation. 289, B, 19 Sivumäärä, 104882.
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto
45 Lataukset (Pure)
One-dimensional fragment over words and trees
Kuusisto, A. & Kieronski, E., 1 heinäk. 2022, julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. 32, 5, s. 902-941 40 Sivumäärä
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto

1 Sitaatiot (Scopus)

7 Lataukset (Pure)
2021
Game-theoretic semantics for ATL⁺ with applications to model checking
Goranko, V., Kuusisto, A. & Rönnholm, R., 2021, julkaisussa: Information and Computation. 276, 23 Sivumäärä, 104554.
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

Open access
4 Sitaatiot (Scopus)
2020
Emptiness problems for distributed automata
Kuusisto, A. & Reiter, F., kesäk. 2020, julkaisussa: Information and Computation. 272, 17 Sivumäärä, 104503.
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Rational coordination with no communication or conventions
Rönnholm, R., Kuusisto, A. & Goranko, V., 11 heinäk. 2020, julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. 30, 6, s. 1183–1211 29 Sivumäärä
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

Open access
3 Sitaatiot (Scopus)
2019
Alternating-time temporal logic ATL with finitely bounded semantics
Goranko, V., Kuusisto, A. & Rönnholm, R., 2019, julkaisussa: Theoretical Computer Science. 797, s. 129-155
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
4 Sitaatiot (Scopus)
Model checking and validity in propositional and modal inclusion logics
Hella, L., Kuusisto, A., Meier, A. & Virtema, J., 2019, julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. 29, 5, s. 605-630 26 Sivumäärä
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
9 Sitaatiot (Scopus)
Rewritability in monadic disjunctive Datalog, Mmsnp, and expressive description logics
Feier, C., Kuusisto, A. & Lutz, C., 2019, julkaisussa: Logical Methods in Computer Science. 15, 2, s. 15:1-15:46
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto
16 Sitaatiot (Scopus)

12 Lataukset (Pure)
Satisfiability of modal inclusion logic: Lax and strict semantics
Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 2019, julkaisussa: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 1, 7.
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
4 Sitaatiot (Scopus)
2016

Existential second-order logic and modal logic with quantified accessibility relations
Hella, L. & Kuusisto, A., 2016, julkaisussa: Information and Computation. 247, s. 217-234
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
2015

Second-order propositional modal logic and monadic alternation hierarchies
Kuusisto, A., 2015, julkaisussa: ANNALS OF PURE AND APPLIED LOGIC. 166, 1, s. 1-28
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

6 Sitaatiot (Scopus)
2014

Complexity of two-variable dependence logic and IF-logic
Kontinen, J., Kuusisto, A., Lohmann, P. & Jonni, V., 2014, julkaisussa: Information and Computation. 239, s. 237-253
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

8 Sitaatiot (Scopus)
2013

Expressivity of Imperfect Information Logics without Identity
Kuusisto, A., 2013, julkaisussa: STUDIA LOGICA. 101, 2, s. 237-265
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)
Undecidable First-Order Theories of Affine Geometries
Kuusisto, A., Meyers, J. & Jonni, V., 2013, julkaisussa: Logical Methods in Computer Science. 9, 4, 26.
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)

Antti Kuusisto

Tutkimustuotos

Hakutulokset