Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. - Wolfgang Schreiner; Alexander Brunhuemer; Christoph Fürst (ThEdu@CADE, 2017)

Supervised machine learning classification for short straddles on the S&P500. - Alexander Brunhuemer; Lukas Larcher; Philipp Seidl; Sascha Desmettre; Johannes Kofler; Gerhard Larcher (CoRR, 2022)