The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines. - Markus Klinik; Jan Martin Jansen; Rinus Plasmeijer (IFL, 2017)

Predicting resource consumption of higher-order workflows. - Markus Klinik; Jurriaan Hage; Jan Martin Jansen; Rinus Plasmeijer (PEPM, 2017)

A symbolic execution semantics for TopHat. - Nico Naus; Tim Steenvoorden; Markus Klinik (IFL, 2019)

TopHat: A formal foundation for task-oriented programming. - Tim Steenvoorden; Nico Naus; Markus Klinik (PPDP, 2019)

Skylines for Symbolic Energy Consumption Analysis. - Markus Klinik; Bernard van Gastel; Cynthia Kop; Marko C. J. D. van Eekelen (FMICS, 2020)

Personal Prof: Automatic Code Review for Java Assignments. - Markus Klinik; Pieter W. M. Koopman; Rick van der Wal (CSERC, 2021)