Follow
Neil J. Ross
Neil J. Ross
Verified email at dal.ca - Homepage
Title
Cited by
Cited by
Year
Toward the first quantum simulation with quantum speedup
AM Childs, D Maslov, Y Nam, NJ Ross, Y Su
Proceedings of the National Academy of Sciences 115 (38), 9456-9461, 2018
5872018
Quipper: a scalable quantum programming language
AS Green, PLF Lumsdaine, NJ Ross, P Selinger, B Valiron
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
5622013
Optimal ancilla-free Clifford+T approximation of z-rotations.
NJ Ross, P Selinger
Quantum Inf. Comput. 16 (11&12), 901-953, 2016
3292016
Automated optimization of large quantum circuits with continuous parameters
Y Nam, NJ Ross, Y Su, AM Childs, D Maslov
npj Quantum Information 4 (1), 23, 2018
2252018
An introduction to quantum programming in Quipper
AS Green, PLF Lumsdaine, NJ Ross, P Selinger, B Valiron
International Conference on Reversible Computation, 110-124, 2013
1052013
Algebraic and logical methods in quantum computation
NJ Ross
arXiv preprint arXiv:1510.02198, 2015
682015
Programming the quantum future
B Valiron, NJ Ross, P Selinger, DS Alexander, JM Smith
Communications of the ACM 58 (8), 52-61, 2015
552015
Number-theoretic characterizations of some restricted Clifford+T circuits
M Amy, AN Glaudell, NJ Ross
Quantum 4, 252, 2020
422020
A finite presentation of CNOT-dihedral operators
M Amy, J Chen, NJ Ross
arXiv preprint arXiv:1701.00140, 2016
402016
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
P Fu, K Kishida, NJ Ross, P Selinger
Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway …, 2020
312020
Canonical forms for single-qutrit Clifford+T operators
AN Glaudell, NJ Ross, JM Taylor
Annals of Physics 406, 54-70, 2019
262019
Proto-Quipper with Dynamic Lifting
P Fu, K Kishida, NJ Ross, P Selinger
Proceedings of the ACM on Programming Languages 7 (POPL), 309-334, 2023
222023
Automated optimization of large-scale quantum circuits with continuous parameters
NAM Yunseong, D Maslov, A Childs, NJ Ross, Y Su
US Patent 10,922,457, 2021
222021
Quipper: concrete resource estimation in quantum algorithms
JM Smith, NJ Ross, P Selinger, B Valiron
arXiv preprint arXiv:1412.0625, 2014
202014
Optimal two-qubit circuits for universal fault-tolerant quantum computation
AN Glaudell, NJ Ross, JM Taylor
npj Quantum Information 7 (1), 103, 2021
162021
Qutrit metaplectic gates are a subset of Clifford+T
A Glaudell, NJ Ross, J van de Wetering, L Yeh
arXiv preprint arXiv:2202.09235, 2022
152022
Improved synthesis of Toffoli-Hadamard circuits
M Amy, AN Glaudell, SM Li, NJ Ross
International Conference on Reversible Computation, 169-209, 2023
142023
The phase-state duality in reversible circuit design
M Amy, NJ Ross
Physical Review A 104 (5), 052602, 2021
112021
Generators and Relations for Real Stabilizer Operators
J Makary, NJ Ross, P Selinger
arXiv preprint arXiv:2109.05655, 2021
102021
A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting
P Fu, K Kishida, NJ Ross, P Selinger
EPTCS 394 (arXiv: 2204.13039), 302-342, 2023
92023
The system can't perform the operation now. Try again later.
Articles 1–20