Niel de Beaudrap

26 papers A* 1B 2Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
String Diagrams for Defect-Based Surface Code Computing.
QPL
Mateusz Kupper, Dominic Horsman, Chris Heunen, Niel de Beaudrap
2024 B conf
Simple Qudit ZX and ZH Calculi, via Integrals.
MFCS
Niel de Beaudrap, Richard D. P. East
2022 A* conf
Circuit Extraction for ZX-Diagrams Can Be #P-Hard.
ICALP
Niel de Beaudrap, Aleks Kissinger, John van de Wetering
2022 J jnl
Circuit Extraction for ZX-diagrams can be #P-hard.
CoRR
Niel de Beaudrap, Aleks Kissinger, John van de Wetering
2022 J jnl
Fast Stabiliser Simulation with Quadratic Form Expansions.
Quantum
Niel de Beaudrap, Steven Herbert
2022 J jnl
OpenQASM 3: A Broader and Deeper Quantum Assembly Language.
ACM Trans. Quantum Comput.
Andrew W. Cross, Ali Javadi-Abhari, Thomas Alexander, Niel de Beaudrap, Lev S. Bishop, Steven Heidel, Colm A. Ryan, Prasahnt Sivarajah, John A. Smolin, Jay M. Gambetta, Blake R. Johnson
2020 — conf
Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities.
TQC
Niel de Beaudrap, Xiaoning Bian, Quanlong Wang
2020 J jnl
Quantum linear network coding for entanglement distribution in restricted architectures.
Quantum
Niel de Beaudrap, Steven Herbert
2020 — conf
Tensor Network Rewriting Strategies for Satisfiability and Counting.
QPL
Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis
2020 J jnl
The ZX calculus is a language for surface code lattice surgery.
Quantum
Niel de Beaudrap, Dominic Horsman
2020 — conf
Well-tempered ZX and ZH Calculi.
QPL
Niel de Beaudrap
2019 — conf
Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms.
QPL
Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix
2019 — conf
Techniques to Reduce (π/4)-Parity-Phase Circuits, Motivated by the ZX Calculus.
QPL
Niel de Beaudrap, Xiaoning Bian, Quanlong Wang
2018 B conf
On Efficiently Solvable Cases of Quantum k-SAT.
MFCS
Marco Aldi, Niel de Beaudrap, Sevag Gharibian, Seyran Saeedi
2017 J jnl
On efficiently solvable cases of Quantum k-SAT.
CoRR
Marco Aldi, Niel de Beaudrap, Sevag Gharibian, Seyran Saeedi
2017 J jnl
The ZX calculus is a language for surface code lattice surgery.
CoRR
Niel de Beaudrap, Dominic Horsman
2017 J jnl
The computational landscape of general physical theories.
CoRR
Jonathan Barrett, Niel de Beaudrap, Matty J. Hoban, Ciarán M. Lee
2015 J jnl
A linear time algorithm for quantum 2-SAT.
CoRR
Niel de Beaudrap, Sevag Gharibian
2015 J jnl
On exact counting and quasi-quantum complexity.
CoRR
Niel de Beaudrap
2014 — conf
Difficult Instances of the Counting Problem for 2-quantum-SAT are Very Atypical.
TQC
Niel de Beaudrap
2014 J jnl
On the power of "modal quantum" computation.
CoRR
Niel de Beaudrap
2014 — conf
Quantum Linear Network Coding as One-way Quantum Computation.
TQC
Niel de Beaudrap, Martin Roetteler
2013 J jnl
A linearized stabilizer formalism for systems of finite dimension.
Quantum Inf. Comput.
Niel de Beaudrap
2013 J jnl
On the complexity of solving linear congruences and computing nullspaces modulo a constant.
Chic. J. Theor. Comput. Sci.
Niel de Beaudrap
2012 J jnl
On the complexity of solving linear congruences and computing nullspaces modulo a constant
CoRR
Niel de Beaudrap
2010 J jnl
On Restricted Unitary Cayley Graphs and Symplectic Transformations Modulo n.
Electron. J. Comb.
Niel de Beaudrap