| 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 | 466 | 2013 |
| 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 | 252 | 2014 |
| 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 | 243 | 2019 |
| 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 | 141 | 2016 |
| Towards large-scale functional verification of universal quantum circuits M Amy International Conference on Quantum Physics and Logic, 1-21, 2018 | 89 | 2018 |
| On the controlled-NOT complexity of controlled-NOT–phase circuits M Amy, P Azimzadeh, M Mosca Quantum Science and Technology 4 (1), 015002, 2018 | 71 | 2018 |
| staq—A full-stack quantum processing toolkit M Amy, V Gheorghiu Quantum Science and Technology 5 (3), 034016, 2020 | 68 | 2020 |
| T-count optimization and Reed–Muller codes M Amy, M Mosca IEEE Transactions on Information Theory 65 (8), 4771-4784, 2019 | 64 | 2019 |
| Verified compilation of space-efficient reversible circuits M Amy, M Roetteler, KM Svore International Conference on Computer Aided Verification, 3-21, 2017 | 46 | 2017 |
| 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 | 42 | 2016 |
| Verified compilation of reversible circuits M Amy, M Roetteler, K Svore US Patent 10,664,249, 2020 | 34 | 2020 |
| A finite presentation of CNOT-dihedral operators M Amy, J Chen, NJ Ross International Conference on Quantum Physics and Logic, 84-97, 2017 | 33 | 2017 |
| Number-theoretic characterizations of some restricted Clifford+ T circuits M Amy, AN Glaudell, NJ Ross Quantum 4, 252, 2020 | 27 | 2020 |
| Formal methods in quantum circuit design M Amy University of Waterloo, 2019 | 20 | 2019 |
| Complexity of reversible circuits and their quantum implementations N Abdessaied, M Amy, R Drechsler, M Soeken Theoretical Computer Science 618, 85-106, 2016 | 17 | 2016 |
| Algorithms for the optimization of quantum circuits M Amy University of Waterloo, 2013 | 12 | 2013 |
| Sized types for low-level quantum metaprogramming M Amy Reversible Computation: 11th International Conference, RC 2019, Lausanne …, 2019 | 7 | 2019 |
| Phase-state duality in reversible circuit design M Amy, NJ Ross Physical Review A 104 (5), 052602, 2021 | 5 | 2021 |
| Beyond separation: Toward a specification language for modular reasoning about quantum programs K Singhal, R Rand, M Amy Programming Languages for Quantum Computing (PLanQC) 2022 Poster Abstract, 2022 | 2 | 2022 |
| Symbolic synthesis of Clifford circuits and beyond M Amy, O Bennett-Gibbs, NJ Ross arXiv preprint arXiv:2204.14205, 2022 | 1 | 2022 |
Dmitri MaslovIBM Thomas J. Watson Research CenterVerified email at ibm.com
