Matias Scharager

According to our database, Matias Scharager authored at least 2 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Compactness via Pattern Stepping Bisimulation.

Matias Scharager

CoRR, 2024

2021

Verified Quadratic Virtual Substitution for Real Arithmetic.

Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer

Proceedings of the Formal Methods - 24th International Symposium, 2021