Teaching the formalization of mathematical theories and algorithms via the automatic checking of finite models W Schreiner, A Brunhuemer, C Fürst arXiv preprint arXiv:1803.01472, 2018 | 21 | 2018 |
Supervised machine learning classification for short straddles on the S&P500 A Brunhuemer, L Larcher, P Seidl, S Desmettre, J Kofler, G Larcher Risks 10 (12), 235, 2022 | 6 | 2022 |
Validating the Formalization of Theories and Algorithms of Discrete Mathematics by the Computer-Supported Checking of Finite Models A Brunhuemer Bachelor Thesis. Johannes Kepler University, Linz, Austria: Research …, 2017 | 4 | 2017 |
Analysis of option trading strategies based on the relation of implied and realized S&P500 volatilities A Brunhuemer, G Larcher, L Larcher ACRN Journal of Finance and Risk Perspectives 10, 166-203, 2021 | 3 | 2021 |
Quasi-Monte Carlo Methods in Portfolio Selection with Many Constraints A Brunhuemer, G Larcher Advances in Modeling and Simulation: Festschrift for Pierre L'Ecuyer, 89-109, 2022 | | 2022 |
Computer-Supported Testing of Option Strategies/submitted by Alexander Brunhuemer, BSc A Brunhuemer | | 2020 |