default search action

combined dblp search
author search
venue search
publication search

ask others

Katherine Kosaian

Katherine Cordwell

> Home > Persons

Person information

affiliation: Iowa State University, USA
affiliation (former): Carnegie Mellon University, Pittsburgh, PA, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j7]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/BinderK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/BinderK24
Sage Binder, Katherine Kosaian:
Pick's Theorem. Arch. Formal Proofs 2024 (2024)
[j6]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/KosaianT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/KosaianT24
Katherine Kosaian, Yong Kiam Tan:
Formalizing Coppersmith's Method. Arch. Formal Proofs 2024 (2024)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BinderK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BinderK24
Sage Binder, Katherine Kosaian:
Formalizing Pick's Theorem in Isabelle/HOL. CICM 2024: 109-126
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KosaianTR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KosaianTR24
Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier:
Formalizing Coppersmith's Method in Isabelle/HOL. CICM 2024: 127-145
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-01793
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-01793
Sage Binder, Katherine Kosaian:
Formalizing Pick's Theorem in Isabelle/HOL. CoRR abs/2405.01793 (2024)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-03465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-03465
Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Y. Rozier:
Formalizing MLTL Formula Progression in Isabelle/HOL. CoRR abs/2410.03465 (2024)
2023
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cpp/KosaianTP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/KosaianTP23
Katherine Kosaian, Yong Kiam Tan, André Platzer:
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. CPP 2023: 211-224
2022
[j5]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/CordwellTP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/CordwellTP22
Katherine Cordwell, Yong Kiam Tan, André Platzer:
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. Arch. Formal Proofs 2022 (2022)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10978
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10978
Katherine Kosaian, Yong Kiam Tan, André Platzer:
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. CoRR abs/2209.10978 (2022)
2021
[j4]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/CordwellTP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/CordwellTP21
Katherine Cordwell, Yong Kiam Tan, André Platzer:
The BKR Decision Procedure for Univariate Real Arithmetic. Arch. Formal Proofs 2021 (2021)
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/ScharagerCMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ScharagerCMP21
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. Arch. Formal Proofs 2021 (2021)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/SogokonMTCP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SogokonMTCP21
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. 58(1-2): 5-41 (2021)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ScharagerCMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ScharagerCMP21
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. FM 2021: 200-217
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/CordwellTP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/CordwellTP21
Katherine Cordwell, Yong Kiam Tan, André Platzer:
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. ITP 2021: 14:1-14:20
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-03003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-03003
Katherine Cordwell, Yong Kiam Tan, André Platzer:
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. CoRR abs/2102.03003 (2021)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-14183
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-14183
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. CoRR abs/2105.14183 (2021)
2020
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-09348
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-09348
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
Pegasus: Sound Continuous Invariant Generation. CoRR abs/2005.09348 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  - electronic edition @ colgate.edu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/int/CordwellEHMPSSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/int/CordwellEHMPSSV19
Katherine Cordwell, Alyssa Epstein, Anand Hemmandy, Steven J. Miller, Eyvindur A. Palsson, Aaditya Sharma, Stefan Steinerberger, Yen Nhi Truong Vu:
On Algorithms to Calculate Integer Complexity. Integers 19: A12 (2019)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/CordwellP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CordwellP19
Katherine Cordwell, André Platzer:
Towards Physical Hybrid Systems. CADE 2019: 216-232
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SogokonMTCP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SogokonMTCP19
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
Pegasus: A Framework for Sound Continuous Invariant Generation. FM 2019: 138-157
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-09520
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-09520
Katherine Cordwell, André Platzer:
Towards Physical Hybrid Systems. CoRR abs/1905.09520 (2019)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.