Katherine Kosaian

Orcid: 0000-0002-9336-6006

Affiliations:
  • Carnegie Mellon University, Pittsburgh, PA, USA


According to our database1, Katherine Kosaian authored at least 8 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.
Arch. Formal Proofs, 2022

2021
Pegasus: sound continuous invariant generation.
Formal Methods Syst. Des., 2021

Verified Quadratic Virtual Substitution for Real Arithmetic.
Arch. Formal Proofs, 2021

The BKR Decision Procedure for Univariate Real Arithmetic.
Arch. Formal Proofs, 2021

A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm.
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2019
On Algorithms to Calculate Integer Complexity.
Integers, 2019

Pegasus: A Framework for Sound Continuous Invariant Generation.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Towards Physical Hybrid Systems.
Proceedings of the Automated Deduction - CADE 27, 2019


  Loading...