Keijo Heljanko
Helsingin yliopisto
H-index: 34
Europe-Finland
Top articles of Keijo Heljanko
A generalized disjunctive programming model for the static bike sharing rebalancing problem with demand intervals
Computers & Chemical Engineering
2023/6/1
Explainable machine learning for modelling of net ecosystem exchange in boreal forest
EGUsphere
2023/12/6
Towards compositional hardware model checking certification
2023/10/24
Armin Biere
H-Index: 39
Keijo Heljanko
H-Index: 17
Observability, Monitoring, and In Situ Analytics in Exascale Applications
2023/5
Surrogate‐based optimization of a periodic rescheduling algorithm
AIChE Journal
2022/6
Keijo Heljanko
H-Index: 17
Design of an Event-Driven Rescheduling Algorithm via Surrogate-based Optimization
2022/1/1
Keijo Heljanko
H-Index: 17
Distributed hybrid-indexing of compressed pan-genomes for scalable and fast sequence alignment
Plos one
2021/8/3
Dynamic Process Intensification via Data-Driven Dynamic Optimization: Concept and Application to Ternary Distillation
Industrial & Engineering Chemistry Research
2021/7/6
Keijo Heljanko
H-Index: 17
Progress in certifying hardware model checking results
2021
Armin Biere
H-Index: 39
Keijo Heljanko
H-Index: 17
Reinforcement Learning of Optimization Strategy and Horizon Length Selection in Online Vehicle Routing
2021/11/9
Teemu Ikonen
H-Index: 2
Keijo Heljanko
H-Index: 17
An optimal cut-off algorithm for parameterised refinement checking
Science of Computer Programming
2020/10/15
Antti Siirtola
H-Index: 3
Keijo Heljanko
H-Index: 17
Reinforcement learning of adaptive online rescheduling timing and computing time allocation
Computers & Chemical Engineering
2020/10/4
Keijo Heljanko
H-Index: 17
SparkBeagle: scalable genotype imputation from distributed whole-genome reference panels in the cloud
2020/9/21
Altti Ilari Maarala
H-Index: 5
Keijo Heljanko
H-Index: 17
Scalable reference genome assembly from compressed pan-genome index with spark
2020/9/18
Synergistic and intelligent process optimization: First results and open challenges
Industrial & Engineering Chemistry Research
2020/7/31
Data-Driven Approach to Grade Change Scheduling Optimization in a Paper Machine
Industrial & Engineering Chemistry Research
2020/3/13
IoTEF: A federated edge-cloud architecture for fault-tolerant IoT applications
Journal of Grid Computing
2020/3
Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution)
2020
Keijo Heljanko
H-Index: 17
Roland Meyer
H-Index: 7
Co-Authors
