Matias Scharager

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Top Venues

Arch. Formal Proofs

Publications

Matias Scharager
Compactness via Pattern Stepping Bisimulation. CoRR (2024)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. CoRR (2021)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. Arch. Formal Proofs 2021 (2021)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. FM (2021)