Neil J. Ross
Neil J. Ross
Verified email at - Homepage
Cited by
Cited by
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
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
Optimal ancilla-free Clifford+ T approximation of z-rotations
NJ Ross, P Selinger
arXiv preprint arXiv:1403.2975, 2014
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
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
Algebraic and logical methods in quantum computation
NJ Ross
arXiv preprint arXiv:1510.02198, 2015
Programming the quantum future
B Valiron, NJ Ross, P Selinger, DS Alexander, JM Smith
Communications of the ACM 58 (8), 52-61, 2015
Optimal ancilla-free Clifford+ V approximation of z-rotations
NJ Ross
Quantum Information & Computation 15 (11-12), 932-950, 2015
A finite presentation of CNOT-dihedral operators
M Amy, J Chen, NJ Ross
arXiv preprint arXiv:1701.00140, 2016
Quipper: concrete resource estimation in quantum algorithms
JM Smith, NJ Ross, P Selinger, B Valiron
arXiv preprint arXiv:1412.0625, 2014
Canonical forms for single-qutrit Clifford+ T operators
AN Glaudell, NJ Ross, JM Taylor
Annals of Physics 406, 54-70, 2019
Number-theoretic characterizations of some restricted Clifford+ T circuits
M Amy, AN Glaudell, NJ Ross
Quantum 4, 252, 2020
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
P Fu, K Kishida, NJ Ross, P Selinger
International Conference on Reversible Computation, 153-168, 2020
Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation
AN Glaudell, NJ Ross, JM Taylor
arXiv preprint arXiv:2001.05997, 2020
Graphical Methods in Device-Independent Quantum Cryptography
S Breiner, CA Miller, NJ Ross
Quantum 3, 146, 2019
The dawn of quantum programming
NJ Ross
Quantum Views 2, 4, 2018
Full abstraction for set-based models of the symmetric interaction combinators
D Mazza, NJ Ross
International Conference on Foundations of Software Science and …, 2012
Generators and Relations for the Group On(Z[1/2])
SM Li, NJ Ross, P Selinger
Generators and Relations for Real Stabilizer Operators
J Makary, NJ Ross, P Selinger
The system can't perform the operation now. Try again later.
Articles 1–19