Research output per year
Research output per year
Personal profile
External positions
Principal Investigator, Helsinki Institute of Information Technology
1 Mar 2013 → …
Associate Professor, Aalto University
1 Aug 2008 → 31 Dec 2018
Fields of Science
- 113 Computer and information sciences
International and National Collaboration
Publications and projects within past five years.
Publications
-
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 May 2024, In: Concurrency and Computation: Practice & Experience. 13 p.Research output: Contribution to journal › Conference article › Scientific › peer-review
-
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 Dec 2023, (E-pub ahead of print) In: EGUsphere. 2023, 40 p.Research output: Contribution to journal › Article › Scientific › peer-review
-
Towards Compositional Hardware Model Checking Certification
Yu, E., Froleyks, N., Biere, A. & Heljanko, K., 24 Oct 2023, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023. Nadel, A. & Rozier, K. Y. (eds.). TU Wien Academic Press, p. 1-11Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Design of an Event-Driven Rescheduling Algorithm via Surrogate-based Optimization
Ikonen, T. J., Heljanko, K. & Harjunkoski, I., Jan 2022, Computer Aided Chemical Engineering. Yamashita, Y. & Kano, M. (eds.). Elsevier, p. 1255-1260 6 p. (Computer Aided Chemical Engineering; vol. 49).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
-
Stratified Certification for k-Induction
Yu, E., Froleyks, N., Biere, A. & Heljanko, K., 17 Oct 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. Griggio, A. & Rungta, N. (eds.). TU Wien Academic Press, 6 p. 11. (Conference Series: Formal Methods in Computer-Aided Design).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile
Press/Media
-
Finnish AI research gets boost from NVIDIA
27/05/2020
1 item of Media coverage
Press/Media: Press / Media
-
Nvidia and Finnish researchers create AI technology center
27/05/2020
1 item of Media coverage
Press/Media: Press / Media
-
CSC: Finnish Center for AI and NVIDIA to establish a joint NVIDIA AI Technology Center
26/05/2020
2 items of Media coverage
Press/Media: Press / 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 item of Media coverage
Press/Media: Press / Media
-
-UNIVERSITY OF HELSINKI: Data science may soon expose fake news
Keijo Heljanko & Laura Ruotsalainen
13/03/2019
1 item of Media coverage
Press/Media: Press / Media