Matthew Amy
From MaRDI portal
Person:1698645
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 | 2022-08-12 | Paper |
| Towards large-scale functional verification of universal quantum circuits | 2021-12-20 | Paper |
| A finite presentation of CNOT-dihedral operators | 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 | 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
