- Optimal Design of Production Systems: Metaoptimization with Generalized De Novo Programming2019 | Faculty of Mathematics and Physics
- Leveraging Interpolant Strength in Model Checking2012 | Faculty of Mathematics and Physics
- Salience, systemic risk and spectral risk measures as capital requirements2021 | Faculty of Mathematics and Physics, Faculty of Social Sciences, Centre for Economic Research and Graduate Education