Wehrheim Heike

Testing Machine Learning Algorithms for Balanced Data Usage

Sharma Arnab, Wehrheim Heike, 2019 .

Isabelle files for verification of a pessimistic STM algorithm

Wehrheim Heike, Doherty Simon, Dongol Brijesh, 2016 .