Katherine Kosaian

According to our database, Katherine Kosaian authored at least 14 papers between 2019 and 2024.

Collaborative distances:

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

2024

Formalizing MLTL Formula Progression in Isabelle/HOL.

Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Y. Rozier

CoRR, 2024

Babai's Nearest Plane Algorithm.

Eric Ren, Sage Binder, Katherine Kosaian

Arch. Formal Proofs, 2024

Formalizing Coppersmith's Method.

Katherine Kosaian, Yong Kiam Tan

Arch. Formal Proofs, 2024

Pick's Theorem.

Sage Binder, Katherine Kosaian

Arch. Formal Proofs, 2024

Formalizing Coppersmith's Method in Isabelle/HOL.

Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

Formalizing Pick's Theorem in Isabelle/HOL.

Sage Binder, Katherine Kosaian

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

2022

A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.

Katherine Cordwell, Yong Kiam Tan, André Platzer

Arch. Formal Proofs, 2022

2021

Pegasus: sound continuous invariant generation.

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer

Formal Methods Syst. Des., 2021

Verified Quadratic Virtual Substitution for Real Arithmetic.

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

Arch. Formal Proofs, 2021

The BKR Decision Procedure for Univariate Real Arithmetic.

Katherine Cordwell, Yong Kiam Tan, André Platzer

Arch. Formal Proofs, 2021

A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm.

Katherine Cordwell, Yong Kiam Tan, André Platzer

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2019

On Algorithms to Calculate Integer Complexity.

Katherine Cordwell, Alyssa Epstein, Anand Hemmandy, Steven J. Miller, Eyvindur A. Palsson, Aaditya Sharma, Stefan Steinerberger, Yen Nhi Truong Vu

Integers, 2019

Pegasus: A Framework for Sound Continuous Invariant Generation.

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Towards Physical Hybrid Systems.

Katherine Cordwell, André Platzer

Proceedings of the Automated Deduction - CADE 27, 2019