Neil J. Ross
Neil J. Ross
Verified email at dal.ca - Homepage
Title
Cited by
Cited by
Year
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
2802013
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
1252018
Optimal ancilla-free Clifford+ T approximation of z-rotations
NJ Ross, P Selinger
arXiv preprint arXiv:1403.2975, 2014
1182014
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
652013
Automated optimization of large quantum circuits with continuous parameters
Y Nam, NJ Ross, Y Su, AM Childs, D Maslov
npj Quantum Information 4 (1), 1-12, 2018
482018
Algebraic and logical methods in quantum computation
NJ Ross
arXiv preprint arXiv:1510.02198, 2015
342015
Programming the quantum future
B Valiron, NJ Ross, P Selinger, DS Alexander, JM Smith
Communications of the ACM 58 (8), 52-61, 2015
312015
Optimal ancilla-free Clifford+ V approximation of z-rotations
NJ Ross
Quantum Information & Computation 15 (11-12), 932-950, 2015
22*2015
A finite presentation of CNOT-dihedral operators
M Amy, J Chen, NJ Ross
arXiv preprint arXiv:1701.00140, 2016
192016
Quipper: concrete resource estimation in quantum algorithms
JM Smith, NJ Ross, P Selinger, B Valiron
arXiv preprint arXiv:1412.0625, 2014
112014
Canonical forms for single-qutrit Clifford+ T operators
AN Glaudell, NJ Ross, JM Taylor
Annals of Physics 406, 54-70, 2019
72019
Number-theoretic characterizations of some restricted Clifford+ T circuits
M Amy, AN Glaudell, NJ Ross
Quantum 4, 252, 2020
42020
Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation
AN Glaudell, NJ Ross, JM Taylor
arXiv preprint arXiv:2001.05997, 2020
32020
Graphical Methods in Device-Independent Quantum Cryptography
S Breiner, CA Miller, NJ Ross
Quantum 3, 146, 2019
32019
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
P Fu, K Kishida, NJ Ross, P Selinger
arXiv preprint arXiv:2005.08396, 2020
12020
Full abstraction for set-based models of the symmetric interaction combinators
D Mazza, NJ Ross
International Conference on Foundations of Software Science and …, 2012
12012
The dawn of quantum programming
NJ Ross
Quantum Views 2, 4, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–17