Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL. - Thomas Hickman; Christian Pardillo Laursen; Simon Foster 001 (CoRR, 2021)

ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Bohua Zhan; Huanhuan Sheng; Alexander Bentkamp; Xiangyu Jin; Shuling Wang 003; Simon Foster 001; Christian Pardillo Laursen; Jonathan Julián Huerta y Munive (ARCH@SAFECOMP, 2022)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL. - Jonathan Julián Huerta y Munive; Simon Foster 001; Mario Gleirscher; Georg Struth; Christian Pardillo Laursen; Thomas Hickman (CoRR, 2024)

Brownian Motion in Isabelle/HOL. - Christian Pardillo Laursen; Simon Foster 001; Mark Post (CoRR, 2024)

IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. - Jonathan Julián Huerta y Munive; Simon Foster 001; Mario Gleirscher; Georg Struth; Christian Pardillo Laursen; Thomas Hickman (J. Autom. Reason., 2024)

The Kolmogorov-Chentsov theorem. - Christian Pardillo Laursen; Simon Foster 001 (Arch. Formal Proofs, 2025)