Chelsea Edmonds

22 papers B 4C 1Journal 16Unranked 1
YearRankTypeTitle / Venue / Authors
2026 — conf
Rely-Guarantee Is Coinductive - - A Proof-Centered Investigation of Inductively Approximated Coinduction -.
ESOP (1)
John Derrick, Chelsea Edmonds, Andrei Popescu, Jamie Wright
2025 B conf
Model Checking Buffered Durable Linearizability in CSP.
iFM
Chelsea Edmonds, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2025 J jnl
Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL.
J. Autom. Reason.
John Derrick, Brijesh Dongol, Chelsea Edmonds, Matt Griffin, Andrei Popescu, Jamie Wright
2024 B conf
Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma.
CPP
Chelsea Edmonds, Lawrence C. Paulson
2023 B conf
A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL.
CPP
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds
2023 J jnl
Formal Probabilistic Methods for Combinatorial Structures in Isabelle/HOL.
CoRR
Chelsea Edmonds, Lawrence C. Paulson
2023 J jnl
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL.
J. Autom. Reason.
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2023 J jnl
General Probabilistic Techniques for Combinatorics and the Lovasz Local Lemma.
Arch. Formal Proofs
Chelsea Edmonds
2023 J jnl
Hypergraph Colouring Bounds.
Arch. Formal Proofs
Chelsea Edmonds, Lawrence C. Paulson
2023 J jnl
Hypergraphs.
Arch. Formal Proofs
Chelsea Edmonds
2022 J jnl
Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics.
Arch. Formal Proofs
Chelsea Edmonds, Lawrence C. Paulson
2022 B conf
Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics.
ITP
Chelsea Edmonds, Lawrence C. Paulson
2022 J jnl
Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics.
CoRR
Chelsea Edmonds, Lawrence C. Paulson
2022 J jnl
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL.
CoRR
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2022 J jnl
The Balog-Szemerédi-Gowers Theorem.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds
2022 J jnl
Undirected Graph Theory.
Arch. Formal Proofs
Chelsea Edmonds
2021 C conf
A Modular First Formalisation of Combinatorial Design Theory.
CICM
Chelsea Edmonds, Lawrence C. Paulson
2021 J jnl
A Modular First Formalisation of Combinatorial Design Theory.
CoRR
Chelsea Edmonds, Lawrence C. Paulson
2021 J jnl
Combinatorial Design Theory.
Arch. Formal Proofs
Chelsea Edmonds, Lawrence C. Paulson
2021 J jnl
Roth's Theorem on Arithmetic Progressions.
Arch. Formal Proofs
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2021 J jnl
Szemerédi's Regularity Lemma.
Arch. Formal Proofs
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2020 J jnl
Lucas's Theorem.
Arch. Formal Proofs
Chelsea Edmonds