"UML-ising' Formal Techniques. - Dines Bjørner; Chris George; Anne E. Haxthausen; Christian Krog Madsen; Steffen Holmslykke; Martin Pnika (SoftSpez Final Report, 2004)

Data-driven American Option Pricing using Artificial Neural Networks. - Hanen Borchani; Wojciech Michal Pawlak; Steffen Holmslykke; Allan Peter Engsig-Karup (ICDM (Posters), 2019)