Research output per year
Research output per year
Fingerprint
Dive into the research topics where Kerkko Luosto is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Dimension in team semantics
Hella, L., Luosto, K. & Väänänen, J., 2024, (E-pub ahead of print) In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile3 Downloads (Pure) -
Game characterizations for the number of quantifiers
Hella, L. & Luosto, K., 2024, (E-pub ahead of print) In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile1 Citation (Scopus)10 Downloads (Pure) -
Weak models of distributed computing, with connections to modal logic
Hella, L., Järvisalo, M., Kuusisto, A., Laurinharju, J., Lempiäinen, T., Luosto, K., Suomela, J. & Jonni, V., 2015, In: Distributed Computing. 28, 1, p. 31-53Research output: Contribution to journal › Article › Scientific › peer-review
36 Citations (Scopus) -
The Expressive Power of Modal Dependence Logic
Hella, L., Luosto, K., Sano, K., Virtema, J. & Jonni, V., 2014, Advances in Modal Logic 10. Gore, R., Kool, B. & Kurucz, A. (eds.). COLLEGE PUBLICATIONS, p. 294-312Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
33 Citations (Scopus) -
Weak models of distributed computing, with connections to modal logic
Hella, L., Järvisalo, M., Kuusisto, A., Laurinharju, J., Lempiäinen, T., Luosto, K., Suomela, J. & Jonni, V., 2012, Proceedings of the 2012 ACM symposium on Principles of distributed computing. p. 185-194 (ACM Symposium on Principles of Distributed Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
13 Citations (Scopus)
Activities
-
Elina Nieminen: Hyperbolisen tason geometriaa Tarskin aksioomien avulla
Kangaslampi, R. (Examiner) & Luosto, K. (Examiner)
Feb 2022 → Apr 2022Activity: Evaluation, examination and supervision › Supervisor of master student
-
Dimension theory for Modal Logics
Kerkko Luosto (Speaker)
4 Aug 2015Activity: Talk or presentation › Conference presentation
-
Dimension theory for Modal Logics
Kerkko Luosto (Speaker)
23 Jun 2015Activity: Talk or presentation › Conference presentation
-
Logics extended with embedding-closed quantifiers
Kerkko Luosto (Speaker)
16 Feb 2015Activity: Talk or presentation › Conference presentation
-
Lisensiaatintutkimuksen tarkastaminen
Kerkko Luosto (Examiner)
8 Jan 2014 → …Activity: Evaluation, examination and supervision › Supervisor of licentiate candidate