Katherine Kosaian

20 papers B 2C 3Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar.
CoRR
Sage Binder, Hanna Lachnitt, Katherine Kosaian
2025 C conf
Formalizing MLTL Formula Progression in Isabelle/HOL.
CICM
Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Yvonne Rozier
2025 B conf
Formalizing the Hidden Number Problem in Isabelle/HOL.
ITP
Sage Binder, Eric Ren, Katherine Kosaian
2025 — conf
Formally Verifying a Transformation from MLTL Formulas to Regular Expressions.
TACAS (1)
Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier
2025 J jnl
Formally Verifying a Transformation from MLTL Formulas to Regular Expressions.
CoRR
Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier
2025 — conf
Language Partitioning for Mission-Time Linear Temporal Logic.
NFM
Alec Rosentrater, Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier
2025 J jnl
Language Partitioning for Mission-time Linear Temporal Logic.
Arch. Formal Proofs
Zili Wang, Katherine Kosaian, Alec Rosentrater
2025 J jnl
Mission-time Linear Temporal Logic Formula Progression.
Arch. Formal Proofs
Katherine Kosaian, Zili Wang
2025 J jnl
Mission-time Linear Temporal Logic to Regular Expressions.
Arch. Formal Proofs
Zili Wang, Katherine Kosaian
2025 J jnl
Mission-time Linear Temporal Logic.
Arch. Formal Proofs
Katherine Kosaian, Zili Wang, Elizabeth Sloan
2025 J jnl
The Hidden Number Problem.
Arch. Formal Proofs
Sage Binder, Eric Ren, Katherine Kosaian
2024 J jnl
Babai's Nearest Plane Algorithm.
Arch. Formal Proofs
Eric Ren, Sage Binder, Katherine Kosaian
2024 C conf
Formalizing Coppersmith's Method in Isabelle/HOL.
CICM
Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier
2024 J jnl
Formalizing Coppersmith's Method.
Arch. Formal Proofs
Katherine Kosaian, Yong Kiam Tan
2024 J jnl
Formalizing MLTL Formula Progression in Isabelle/HOL.
CoRR
Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Y. Rozier
2024 C conf
Formalizing Pick's Theorem in Isabelle/HOL.
CICM
Sage Binder, Katherine Kosaian
2024 J jnl
Formalizing Pick's Theorem in Isabelle/HOL.
CoRR
Sage Binder, Katherine Kosaian
2024 J jnl
Pick's Theorem.
Arch. Formal Proofs
Sage Binder, Katherine Kosaian
2023 B conf
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.
CPP
Katherine Kosaian, Yong Kiam Tan, André Platzer
2022 J jnl
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.
CoRR
Katherine Kosaian, Yong Kiam Tan, André Platzer