Neil J. Ross

36 papers A* 1B 2C 4Journal 18Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits.
QPL
Sarah Meng Li, Michele Mosca, Neil J. Ross, John van de Wetering, Yuming Zhao
2025 — conf
Contributions to the Theory of Clifford-Cyclotomic Circuits.
QPL
Linh Dinh, Neil J. Ross
2025 B conf
Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits.
MFCS
Neil J. Ross, Scott Wesley
2025 — conf
Proto-Quipper with Reversing and Control.
QPL
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2024 — conf
A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits.
QPL
Matthew Amy, Neil J. Ross, Scott Wesley
2024 C conf
Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits.
RC
Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross
2024 — conf
Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits.
QPL
Andrew N. Glaudell, Neil J. Ross, John van de Wetering, Lia Yeh
2023 C conf
Improved Synthesis of Toffoli-Hadamard Circuits.
RC
Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross
2023 J jnl
Improved Synthesis of Toffoli-Hadamard Circuits.
CoRR
Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross
2023 J jnl
Proto-Quipper with Dynamic Lifting.
Proc. ACM Program. Lang.
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2022 — conf
A biset-enriched categorical model for Proto-Quipper with dynamic lifting.
QPL
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2022 J jnl
On the Lambek embedding and the category of product-preserving presheaves.
CoRR
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2022 J jnl
Proto-Quipper with dynamic lifting.
CoRR
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2022 — conf
Qutrit Metaplectic Gates Are a Subset of Clifford+T.
TQC
Andrew N. Glaudell, Neil J. Ross, John van de Wetering, Lia Yeh
2022 — conf
Symbolic Synthesis of Clifford Circuits and Beyond.
QPL
Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross
2021 — conf
Generators and Relations for Real Stabilizer Operators.
QPL
Justin Makary, Neil J. Ross, Peter Selinger
2021 — conf
Generators and Relations for the Group O
QPL
Sarah Meng Li, Neil J. Ross, Peter Selinger
2020 C conf
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper.
RC
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2020 J jnl
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper.
CoRR
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2020 J jnl
Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits.
Quantum
Matthew Amy, Andrew N. Glaudell, Neil J. Ross
2019 J jnl
Graphical Methods in Device-Independent Quantum Cryptography.
Quantum
Spencer Breiner, Carl A. Miller, Neil J. Ross
2018 J jnl
Toward the first quantum simulation with quantum speedup.
Proc. Natl. Acad. Sci. USA
Andrew M. Childs, Dmitri Maslov, Yun Seong Nam, Neil J. Ross, Yuan Su
2017 — conf
A finite presentation of CNOT-dihedral operators.
QPL
Matthew Amy, Jianxin Chen, Neil J. Ross
2017 J jnl
Automated optimization of large quantum circuits with continuous parameters.
CoRR
Yun Seong Nam, Neil J. Ross, Yuan Su, Andrew M. Childs, Dmitri Maslov
2016 J jnl
Optimal ancilla-free Clifford+
Quantum Inf. Comput.
Neil J. Ross, Peter Selinger
2015 J jnl
Optimal ancilla-free Clifford+
Quantum Inf. Comput.
Neil J. Ross
2015 J jnl
Programming the quantum future.
Commun. ACM
Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith
2014 J jnl
Optimal ancilla-free Clifford+T approximation of z-rotations.
CoRR
Neil J. Ross, Peter Selinger
2014 J jnl
Optimal ancilla-free Pauli+V approximation of z-rotations.
CoRR
Neil J. Ross
2014 J jnl
Quipper: Concrete Resource Estimation in Quantum Algorithms.
CoRR
Jonathan M. Smith, Neil J. Ross, Peter Selinger, Benoît Valiron
2013 J jnl
An Introduction to Quantum Programming in Quipper
CoRR
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
2013 C conf
An Introduction to Quantum Programming in Quipper.
RC
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
2013 J jnl
Quipper: A Scalable Quantum Programming Language
CoRR
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
2013 A* conf
Quipper: a scalable quantum programming language.
PLDI
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
2012 B conf
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators.
FoSSaCS
Damiano Mazza, Neil J. Ross
1989 J jnl
Remarks on the Mobius function of a subposet.
Discret. Math.
Neil J. Ross