Matthew Amy

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Exact synthesis of multiqubit Clifford-cyclotomic circuits	2024-11-13	Paper
Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes Electronic Proceedings in Theoretical Computer Science	2024-03-22	Paper
Improved synthesis of Toffoli-Hadamard circuits Reversible Computation	2024-01-11	Paper
Verified compilation of space-efficient reversible circuits (available as arXiv preprint)	2022-08-12	Paper
Towards large-scale functional verification of universal quantum circuits	2021-12-20	Paper
Towards large-scale functional verification of universal quantum circuits (available as arXiv preprint)	2021-12-20	Paper
A finite presentation of CNOT-dihedral operators	2021-12-17	Paper
A finite presentation of CNOT-dihedral operators (available as arXiv preprint)	2021-12-17	Paper
Sized Types for Low-Level Quantum Metaprogramming Reversible Computation	2019-10-17	Paper
T-Count Optimization and Reed–Muller Codes IEEE Transactions on Information Theory	2019-07-19	Paper
Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3 (available as arXiv preprint)	2018-02-16	Paper
Complexity of reversible circuits and their quantum implementations Theoretical Computer Science	2016-02-18	Paper

Research outcomes over time

This page was built for person: Matthew Amy