Empathy, Design and Human Factors. - Andrée Woodcock; Deana McDonagh; Jane Osmond; Scott Wesley (AHFE (23), 2017)

Compositional Verification of Smart Contracts Through Communication Abstraction. - Scott Wesley; Maria Christakis; Jorge A. Navas; Richard J. Trefler; Valentin Wüstholz; Arie Gurfinkel (SAS, 2021)

Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). - Scott Wesley; Maria Christakis; Jorge A. Navas; Richard J. Trefler; Valentin Wüstholz; Arie Gurfinkel (CoRR, 2021)

Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. - Scott Wesley; Maria Christakis; Jorge A. Navas; Richard J. Trefler; Valentin Wüstholz; Arie Gurfinkel (VMCAI, 2022)

Inductive Predicate Synthesis Modulo Programs. - Scott Wesley; Maria Christakis; Jorge A. Navas; Richard J. Trefler; Valentin Wüstholz; Arie Gurfinkel (ECOOP, 2024)

LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper. - Scott Wesley (RC, 2024)

LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended). - Scott Wesley (CoRR, 2024)

Inductive Predicate Synthesis Modulo Programs (Extended). - Scott Wesley; Maria Christakis; Jorge A. Navas; Richard J. Trefler; Valentin Wüstholz; Arie Gurfinkel (CoRR, 2024)

A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits. - Matthew Amy; Neil J. Ross; Scott Wesley (QPL, 2024)

Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits. - Neil J. Ross; Scott Wesley (MFCS, 2025)

Enriched Categories for Parameterized Circuit Semantics. - Scott Wesley (CoRR, 2025)