Remarks on the Mobius function of a subposet. - Neil J. Ross (Discret. Math., 1989)

Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators. - Damiano Mazza; Neil J. Ross (FoSSaCS, 2012)

Quipper: a scalable quantum programming language. - Alexander S. Green; Peter LeFanu Lumsdaine; Neil J. Ross; Peter Selinger; Benoît Valiron (PLDI, 2013)

An Introduction to Quantum Programming in Quipper. - Alexander S. Green; Peter LeFanu Lumsdaine; Neil J. Ross; Peter Selinger; Benoît Valiron (RC, 2013)

Optimal ancilla-free Pauli+V approximation of z-rotations. - Neil J. Ross (CoRR, 2014)

Optimal ancilla-free Clifford+T approximation of z-rotations. - Neil J. Ross; Peter Selinger (CoRR, 2014)

Quipper: Concrete Resource Estimation in Quantum Algorithms. - Jonathan M. Smith; Neil J. Ross; Peter Selinger; Benoît Valiron (CoRR, 2014)

Programming the quantum future. - Benoît Valiron; Neil J. Ross; Peter Selinger; D. Scott Alexander; Jonathan M. Smith (Commun. ACM, 2015)

Optimal ancilla-free Clifford+V approximation of z-rotations. - Neil J. Ross (Quantum Inf. Comput., 2015)

Optimal ancilla-free Clifford+T approximation of z-rotations. - Neil J. Ross; Peter Selinger (Quantum Inf. Comput., 2016)

A finite presentation of CNOT-dihedral operators. - Matthew Amy; Jianxin Chen; Neil J. Ross (QPL, 2017)

Automated optimization of large quantum circuits with continuous parameters. - Yun Seong Nam; Neil J. Ross; Yuan Su; Andrew M. Childs; Dmitri Maslov (CoRR, 2017)

Toward the first quantum simulation with quantum speedup. - Andrew M. Childs; Dmitri Maslov; Yun Seong Nam; Neil J. Ross; Yuan Su (Proc. Natl. Acad. Sci. USA, 2018)

Graphical Methods in Device-Independent Quantum Cryptography. - Spencer Breiner; Carl A. Miller; Neil J. Ross (Quantum, 2019)

A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. - Peng Fu 001; Kohei Kishida; Neil J. Ross; Peter Selinger (RC, 2020)

Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits. - Matthew Amy; Andrew N. Glaudell; Neil J. Ross (Quantum, 2020)

Generators and Relations for the Group On(Z[1/2]). - Sarah Meng Li; Neil J. Ross; Peter Selinger (QPL, 2021)

Generators and Relations for Real Stabilizer Operators. - Justin Makary; Neil J. Ross; Peter Selinger (QPL, 2021)

Qutrit Metaplectic Gates Are a Subset of Clifford+T. - Andrew N. Glaudell; Neil J. Ross; John van de Wetering; Lia Yeh (TQC, 2022)

A biset-enriched categorical model for Proto-Quipper with dynamic lifting. - Peng Fu 001; Kohei Kishida; Neil J. Ross; Peter Selinger (QPL, 2022)

Symbolic Synthesis of Clifford Circuits and Beyond. - Matthew Amy; Owen Bennett-Gibbs; Neil J. Ross (QPL, 2022)

On the Lambek embedding and the category of product-preserving presheaves. - Peng Fu 001; Kohei Kishida; Neil J. Ross; Peter Selinger (CoRR, 2022)

Improved Synthesis of Toffoli-Hadamard Circuits. - Matthew Amy; Andrew N. Glaudell; Sarah Meng Li; Neil J. Ross (RC, 2023)

Proto-Quipper with Dynamic Lifting. - Peng Fu 001; Kohei Kishida; Neil J. Ross; Peter Selinger (Proc. ACM Program. Lang., 2023)

Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits. - Matthew Amy; Andrew N. Glaudell; Shaun Kelso; William Maxwell; Samuel S. Mendelson; Neil J. Ross (RC, 2024)

Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits. - Andrew N. Glaudell; Neil J. Ross; John van de Wetering; Lia Yeh (QPL, 2024)

A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits. - Matthew Amy; Neil J. Ross; Scott Wesley (QPL, 2024)

Proto-Quipper with Reversing and Control. - Peng Fu 001; Kohei Kishida; Neil J. Ross; Peter Selinger (CoRR, 2024)

Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits. - Neil J. Ross; Scott Wesley (MFCS, 2025)