A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits. - Matthew Amy; Dmitri Maslov; Michele Mosca; Martin Roetteler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning. - Matthew Amy; Dmitri Maslov; Michele Mosca (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits. - Nabila Abdessaied; Matthew Amy; Mathias Soeken; Rolf Drechsler (ISMVL, 2016)

Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3. - Matthew Amy; Olivia Di Matteo; Vlad Gheorghiu; Michele Mosca; Alex Parent; John M. Schanck (IACR Cryptol. ePrint Arch., 2016)

Complexity of reversible circuits and their quantum implementations. - Nabila Abdessaied; Matthew Amy; Rolf Drechsler; Mathias Soeken (Theor. Comput. Sci., 2016)

Verified Compilation of Space-Efficient Reversible Circuits. - Matthew Amy; Martin Roetteler; Krysta M. Svore (CAV (2), 2017)

A finite presentation of CNOT-dihedral operators. - Matthew Amy; Jianxin Chen; Neil J. Ross (QPL, 2017)

Towards Large-scale Functional Verification of Universal Quantum Circuits. - Matthew Amy (QPL, 2018)

Sized Types for Low-Level Quantum Metaprogramming. - Matthew Amy (RC, 2019)

Strawberry Fields: A Software Platform for Photonic Quantum Computing. - Nathan Killoran; Josh A. Izaac; Nicolás Quesada; Ville Bergholm; Matthew Amy; Christian Weedbrook (Quantum, 2019)

T-Count Optimization and Reed-Muller Codes. - Matthew Amy; Michele Mosca (IEEE Trans. Inf. Theory, 2019)

Formal Methods in Quantum Circuit Design. - Matthew Amy (2019)

Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits. - Matthew Amy; Andrew N. Glaudell; Neil J. Ross (Quantum, 2020)

Symbolic Synthesis of Clifford Circuits and Beyond. - Matthew Amy; Owen Bennett-Gibbs; Neil J. Ross (QPL, 2022)

Improved Synthesis of Toffoli-Hadamard Circuits. - Matthew Amy; Andrew N. Glaudell; Sarah Meng Li; Neil J. Ross (RC, 2023)

Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes. - Matthew Amy (QPL, 2023)

Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits. - Matthew Amy; Andrew N. Glaudell; Shaun Kelso; William Maxwell; Samuel S. Mendelson; Neil J. Ross (RC, 2024)

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

Linear and Non-linear Relational Analyses for Quantum Program Optimization. - Matthew Amy; Joseph Lunderville (Proc. ACM Program. Lang., 2025)