Orbit-Stabiliser Theorem with Application to Rotational Symmetries. - Jonas Rädle (Arch. Formal Proofs, 2017)

Deriving generic class instances for datatypes. - Jonas Rädle; Lars Hupel (Arch. Formal Proofs, 2018)

Virtualization of HOL4 in Isabelle. - Fabian Immler; Jonas Rädle; Makarius Wenzel (ITP, 2019)

Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space. - Kevin Kappelmann; Jonas Rädle; Lukas Stevens (TFPIE, 2022)