Keijo Heljanko

Keijo Heljanko

Areas of expertise

distributed systems cloud computing big data distributed computing

Publications

Department of Computer Science, Professorship Heljanko K.
Publishing year: 2019 Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings
Department of Computer Science, Professorship Heljanko K., Helsinki Institute for Information Technology HIIT, Professorship Jung A.
Publishing year: 2019 Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers
School services, SCI, Department of Computer Science
Publishing year: 2019 New Trends in Databases and Information Systems - ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium 2019, Proceedings
Professorship Främling K., Department of Computer Science, Department of Industrial Engineering and Management
Publishing year: 2019 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019
Helsinki Institute for Information Technology HIIT, Professorship Heljanko K., Department of Computer Science
Publishing year: 2019 Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018
Department of Computer Science, Professorship Heljanko K., Helsinki Institute for Information Technology HIIT, Professorship Jung A.
Publishing year: 2018 Business Process Management Workshops - BPM 2017 International Workshops, Revised Papers
Professorship Främling K., Department of Computer Science, Professorship Heljanko K., Helsinki Institute for Information Technology HIIT
Publishing year: 2018 IEEE World Forum on Internet of Things, WF-IoT 2018 - Proceedings
Department of Computer Science, Helsinki Institute for Information Technology HIIT
Publishing year: 2018 Bioinformatics
Helsinki Institute for Information Technology HIIT, Department of Computer Science, Professorship Heljanko K.
Publishing year: 2018 Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings
Department of Computer Science, Professorship Heljanko K., Helsinki Institute for Information Technology HIIT
Publishing year: 2017 Proceedings of 2017 Formal Methods in Computer Aided Design, FMCAD 2017