Follow
Miriam Backens
Miriam Backens
Verified email at bham.ac.uk
Title
Cited by
Cited by
Year
The ZX-calculus is complete for stabilizer quantum mechanics
M Backens
New Journal of Physics 16 (9), 093021, 2014
1502014
ZH: A complete graphical calculus for quantum computations involving classical non-linearity
M Backens, A Kissinger
arXiv preprint arXiv:1805.02175, 2018
662018
The ZX-calculus is complete for the single-qubit Clifford+ T group
M Backens
arXiv preprint arXiv:1412.8553, 2014
462014
There and back again: A circuit extraction tale
M Backens, H Miller-Bakewell, G de Felice, L Lobski, J van de Wetering
Quantum 5, 421, 2021
362021
A simplified stabilizer zx-calculus
M Backens, S Perdrix, Q Wang
arXiv preprint arXiv:1602.04744, 2016
362016
A complete graphical calculus for Spekkens’ toy bit theory
M Backens, AN Duman
Foundations of Physics 46 (1), 70-103, 2016
322016
Making the stabilizer ZX-calculus complete for scalars
M Backens
arXiv preprint arXiv:1507.03854, 2015
322015
A complete dichotomy for complex-valued Holant^ c
M Backens
arXiv preprint arXiv:1704.05798, 2017
302017
A new Holant dichotomy inspired by quantum computation
M Backens
arXiv preprint arXiv:1702.00767, 2017
282017
Completeness and the ZX-calculus
M Backens
arXiv preprint arXiv:1602.08954, 2016
252016
Towards a minimal stabilizer ZX-calculus
M Backens, S Perdrix, Q Wang
arXiv preprint arXiv:1709.08903, 2017
122017
Number of superclasses of four-qubit entangled states under the inductive entanglement classification
M Backens
Physical Review A 95 (2), 022329, 2017
11*2017
Holant clones and the approximability of conservative holant problems
M Backens, LA Goldberg
ACM Transactions on Algorithms (TALG) 16 (2), 1-55, 2020
52020
Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin
M Backens, A Bulatov, LA Goldberg, C McQuillan, S Živný
Journal of Computer and System Sciences 109, 95-125, 2020
32020
A Full Dichotomy for \hol^c, Inspired by Quantum Computation
M Backens
SIAM Journal on Computing 50 (6), 1739-1799, 2021
12021
Complete flow-preserving rewrite rules for MBQC patterns with Pauli measurements
T McElvanney, M Backens
arXiv preprint arXiv:2205.02009, 2022
2022
There and back again
M Backens, H Miller-Bakewell, G de Felice, L Lobski
2021
Towards a Minimal Stabilizer ZX-calculus
Q Wang, S Perdrix, M Backens
Logical Methods in Computer Science 16, 2020
2020
The ZH-calculus: completeness and extensions
M Backens, A Kissinger, H Miller-Bakewell, J van de Wetering, S Wolffs
The system can't perform the operation now. Try again later.
Articles 1–19