- ALICE Data Point Processing Framework(2019-06-27) John Lång; University of Helsinki, Finland; also Utrecht University, the Netherlands-John Lång
- Results for the Model Checking of the PROMELA model of ADAPOS(2021-05-10) John Lång; University of Helsinki-John Lång; Keijo Heljanko Supervisor