Matthew Amy

From MaRDI portal
Person:1698645

Available identifiers

zbMath Open amy.matthewMaRDI QIDQ1698645

List of research outcomes





PublicationDate of PublicationType
Exact synthesis of multiqubit Clifford-cyclotomic circuits2024-11-13Paper
Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes2024-03-22Paper
Improved synthesis of Toffoli-Hadamard circuits2024-01-11Paper
Verified compilation of space-efficient reversible circuits2022-08-12Paper
Towards large-scale functional verification of universal quantum circuits2021-12-20Paper
A finite presentation of CNOT-dihedral operators2021-12-17Paper
Sized Types for Low-Level Quantum Metaprogramming2019-10-17Paper
T-Count Optimization and Reed–Muller Codes2019-07-19Paper
Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-32018-02-16Paper
Complexity of reversible circuits and their quantum implementations2016-02-18Paper

Research outcomes over time

This page was built for person: Matthew Amy

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1698645&oldid=11941294"
Powered by MediaWiki