Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Hakutulokset
-
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)