Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Asemat yliopiston ulkopuolella
Principal Investigator, Helsinki Institute of Information Technology
1 maalisk. 2013 → …
Professori, Aalto University
1 elok. 2008 → 31 jouluk. 2018
Tieteenalat
- 113 Tietojenkäsittely- ja informaatiotieteet
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Julkaisut
-
SOMA: Observability, Monitoring, and In Situ Analytics in Exascale Applications
Yokelson, D., Lappi, O. J., Ramesh, S., Väisälä, M., Huck, K., Puro, T., Norris, B., Korpi-Lagg, M., Heljanko, K. & Malony, A. D., 2 toukok. 2024, julkaisussa: Concurrency and Computation: Practice & Experience. 13 SivumääräTutkimustuotos: Artikkelijulkaisu › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Explainable machine learning for modelling of net ecosystem exchange in boreal forest
Ezhova, E., Laanti, T. M., Lintunen, A., Kolari, P., Nieminen, T., Mammarella, I., Heljanko, K. & Kulmala, M., 6 jouluk. 2023, (E-pub ahead of print) julkaisussa: EGUsphere. 2023, 40 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
-
Towards Compositional Hardware Model Checking Certification
Yu, E., Froleyks, N., Biere, A. & Heljanko, K., 24 lokak. 2023, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023. Nadel, A. & Rozier, K. Y. (toim.). TU Wien Academic Press, s. 1-11Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Design of an Event-Driven Rescheduling Algorithm via Surrogate-based Optimization
Ikonen, T. J., Heljanko, K. & Harjunkoski, I., tammik. 2022, Computer Aided Chemical Engineering. Yamashita, Y. & Kano, M. (toim.). Elsevier, s. 1255-1260 6 Sivumäärä (Computer Aided Chemical Engineering; Vuosikerta 49).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu
-
Stratified Certification for k-Induction
Yu, E., Froleyks, N., Biere, A. & Heljanko, K., 17 lokak. 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. Griggio, A. & Rungta, N. (toim.). TU Wien Academic Press, 6 Sivumäärä 11. (Conference Series: Formal Methods in Computer-Aided Design).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
Lehtileikkeet
-
-
Nvidia and Finnish researchers create AI technology center
27/05/2020
1 kohde/ Medianäkyvyys
Lehdistö/media
-
CSC: Finnish Center for AI and NVIDIA to establish a joint NVIDIA AI Technology Center
26/05/2020
2 kohdetta/ Medianäkyvyys
Lehdistö/media
-
-UNIVERSITY OF HELSINKI: Future search engines will help users find information they don't even know they are looking for
Keijo Heljanko & Laura Ruotsalainen
17/06/2019
1 kohde/ Medianäkyvyys
Lehdistö/media
-
-UNIVERSITY OF HELSINKI: Data science may soon expose fake news
Keijo Heljanko & Laura Ruotsalainen
13/03/2019
1 kohde/ Medianäkyvyys
Lehdistö/media