Ikuti
Matthew Amy
Matthew Amy
Simon Fraser University
Email yang diverifikasi di sfu.ca - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits
M Amy, D Maslov, M Mosca, M Roetteler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
6132013
Strawberry fields: A software platform for photonic quantum computing
N Killoran, J Izaac, N Quesada, V Bergholm, M Amy, C Weedbrook
Quantum 3, 129, 2019
3642019
Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning
M Amy, D Maslov, M Mosca
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2014
3252014
Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
M Amy, O Di Matteo, V Gheorghiu, M Mosca, A Parent, J Schanck
International Conference on Selected Areas in Cryptography, 317-337, 2016
1842016
Towards large-scale functional verification of universal quantum circuits
M Amy
International Conference on Quantum Physics and Logic, 1-21, 2018
1252018
On the CNOT-complexity of CNOT-PHASE circuits
M Amy, P Azimzadeh, M Mosca
Quantum Science and Technology 4 (1), 2018
1042018
staq—A full-stack quantum processing toolkit
M Amy, V Gheorghiu
Quantum Science and Technology 5 (3), 034016, 2020
922020
T-count optimization and Reed–Muller codes
M Amy, M Mosca
IEEE Transactions on Information Theory 65 (8), 4771-4784, 2019
912019
Verified compilation of space-efficient reversible circuits
M Amy, M Roetteler, KM Svore
International Conference on Computer Aided Verification, 3-21, 2017
612017
Technology mapping of reversible circuits to Clifford+ T quantum circuits
N Abdessaied, M Amy, M Soeken, R Drechsler
2016 IEEE 46th international symposium on multiple-valued logic (ISMVL), 150-155, 2016
492016
Verified compilation of reversible circuits
M Amy, M Roetteler, K Svore
US Patent 10,664,249, 2020
422020
A finite presentation of CNOT-dihedral operators
M Amy, J Chen, NJ Ross
International Conference on Quantum Physics and Logic, 84-97, 2017
402017
Number-theoretic characterizations of some restricted Clifford+ T circuits
M Amy, AN Glaudell, NJ Ross
Quantum 4, 252, 2020
392020
Formal methods in quantum circuit design
M Amy
University of Waterloo, 2019
282019
Algorithms for the optimization of quantum circuits
M Amy
University of Waterloo, 2013
192013
Complexity of reversible circuits and their quantum implementations
N Abdessaied, M Amy, R Drechsler, M Soeken
Theoretical Computer Science 618, 85-106, 2016
182016
Improved synthesis of Toffoli-Hadamard circuits
M Amy, AN Glaudell, SM Li, NJ Ross
International Conference on Reversible Computation, 169-209, 2023
142023
Phase-state duality in reversible circuit design
M Amy, NJ Ross
Physical Review A 104 (5), 052602, 2021
112021
Decoding-based method for quantum circuit optimization
M Mosca, MEJ Amy
US Patent 10,650,178, 2020
92020
Sized types for low-level quantum metaprogramming
M Amy
Reversible Computation: 11th International Conference, RC 2019, Lausanne …, 2019
82019
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20