The Flow of ODEs. - Fabian Immler; Christoph Traut (ITP, 2016)

Taylor Models. - Christoph Traut; Fabian Immler (Arch. Formal Proofs, 2018)

The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. - Fabian Immler; Christoph Traut (J. Autom. Reason., 2019)

Pattern-based Subterm Selection in Isabelle. - Lars Noschinski; Christoph Traut (CoRR, 2021)