Katherine Cordwell

13 papers A 1B 3Journal 9

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. Arch. Formal Proofs Katherine Cordwell, Yong Kiam Tan, André Platzer
2021	B	`conf`	A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. ITP Katherine Cordwell, Yong Kiam Tan, André Platzer
2021	J	`jnl`	A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. CoRR Katherine Cordwell, Yong Kiam Tan, André Platzer
2021	J	`jnl`	Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
2021	J	`jnl`	The BKR Decision Procedure for Univariate Real Arithmetic. Arch. Formal Proofs Katherine Cordwell, Yong Kiam Tan, André Platzer
2021	B	`conf`	Verified Quadratic Virtual Substitution for Real Arithmetic. FM Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
2021	J	`jnl`	Verified Quadratic Virtual Substitution for Real Arithmetic. Arch. Formal Proofs Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
2021	J	`jnl`	Verified Quadratic Virtual Substitution for Real Arithmetic. CoRR Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
2020	J	`jnl`	Pegasus: Sound Continuous Invariant Generation. CoRR Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
2019	J	`jnl`	On Algorithms to Calculate Integer Complexity. Integers Katherine Cordwell, Alyssa Epstein, Anand Hemmandy, Steven J. Miller, Eyvindur A. Palsson, Aaditya Sharma, Stefan Steinerberger, Yen Nhi Truong Vu
2019	B	`conf`	Pegasus: A Framework for Sound Continuous Invariant Generation. FM Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
2019	A	`conf`	Towards Physical Hybrid Systems. CADE Katherine Cordwell, André Platzer
2019	J	`jnl`	Towards Physical Hybrid Systems. CoRR Katherine Cordwell, André Platzer

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz