Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. - Albert Rizaldi; Jonas Keinholz; Monika Huber 001; Jochen Feldle; Fabian Immler; Matthias Althoff; Eric Hilgendorf; Tobias Nipkow (IFM, 2017)

Matroids. - Jonas Keinholz (Arch. Formal Proofs, 2018)