Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Sormenjälki
Sukella tutkimusaiheisiin, joissa Kerkko Luosto on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
- 1 Samanlaiset profiilit
Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
-
Dimension in team semantics
Hella, L., Luosto, K. & Väänänen, J., 2024, (E-pub ahead of print) julkaisussa: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto3 Lataukset (Pure) -
Game characterizations for the number of quantifiers
Hella, L. & Luosto, K., 2024, (E-pub ahead of print) julkaisussa: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto1 Sitaatiot (Scopus)16 Lataukset (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, julkaisussa: Distributed Computing. 28, 1, s. 31-53Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
36 Sitaatiot (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. (toim.). COLLEGE PUBLICATIONS, s. 294-312Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
33 Sitaatiot (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. s. 185-194 (ACM Symposium on Principles of Distributed Computing).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
13 Sitaatiot (Scopus)
Aktiviteetit
-
Elina Nieminen: Hyperbolisen tason geometriaa Tarskin aksioomien avulla
Kangaslampi, R. (Examiner) & Luosto, K. (Examiner)
helmik. 2022 → huhtik. 2022Aktiviteetti: Maisteriopiskelijoiden ohjaaminen
-
Dimension theory for Modal Logics
Kerkko Luosto (Speaker)
4 elok. 2015Aktiviteetti: Konferenssiesitelmä
-
Dimension theory for Modal Logics
Kerkko Luosto (Speaker)
23 kesäk. 2015Aktiviteetti: Konferenssiesitelmä
-
Logics extended with embedding-closed quantifiers
Kerkko Luosto (Speaker)
16 helmik. 2015Aktiviteetti: Konferenssiesitelmä
-
Lisensiaatintutkimuksen tarkastaminen
Kerkko Luosto (Examiner)
8 tammik. 2014 → …Aktiviteetti: Lisensiaattitutkielman tekijän ohjaaja