Katherine Kosaian

Homepages 🌐

• https://sites.google.com/view/katherinekosaian

E-Mails 📧

• ude.etatsai@naiasokk

Entries

2025

Language Partitioning for Mission-time Linear Temporal Logic

by Zili Wang, Katherine Kosaian and Alec Rosentrater

Mar 03

Mission-time Linear Temporal Logic to Regular Expressions

by Zili Wang and Katherine Kosaian

Jan 24

Mission-time Linear Temporal Logic

by Katherine Kosaian, Zili Wang and Elizabeth Sloan

Jan 24

2024

Babai's Nearest Plane Algorithm

by Eric Ren, Sage Binder and Katherine Kosaian

Sep 26

Formalizing Coppersmith's Method

by Katherine Kosaian and Yong Kiam Tan

Jun 10

Pick's Theorem

by Sage Binder and Katherine Kosaian

Apr 26

2022

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

by Katherine Kosaian, Yong Kiam Tan and André Platzer

Dec 15

2021

Verified Quadratic Virtual Substitution for Real Arithmetic

by Matias Scharager, Katherine Kosaian, Stefan Mitsch and André Platzer

Oct 02

The BKR Decision Procedure for Univariate Real Arithmetic

by Katherine Kosaian, Yong Kiam Tan and André Platzer

Apr 24