Verified Quadratic Virtual Substitution for Real Arithmetic. - Matias Scharager; Katherine Cordwell; Stefan Mitsch; André Platzer (Arch. Formal Proofs, 2021)

Compactness via Pattern Stepping Bisimulation. - Matias Scharager (CoRR, 2024)