Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Hakutulokset
-
2024
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)17 Lataukset (Pure) -
2015
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) -
2014
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) -
2012
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)