Publication
-
June 2018
-
New Directions in Model Checking Dynamic Epistemic Logic Dissertation
Software Analysis and TransformationJune 2018 -
June 2018
-
June 2018
-
Finding the pitfalls in query performance In Proceedings
June 2018 -
Multi-objective Gene-pool Optimal Mixing Evolutionary Algorithm with the interleaved multi-start scheme Article
Swarm and Evolutionary Computation, 238-254.June 2018 -
Fair benchmarking considered difficult: Common pitfalls in database performance testing In Proceedings
June 2018 -
Application and benchmarking of multi-objective evolutionary algorithms on high-dose-rate brachytherapy planning for prostate cancer treatment Article
Swarm and Evolutionary Computation, 37-52.June 2018