Miriam Backens

26 papers A* 2Journal 14Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Erratum: A Full Dichotomy for \(\textsf{Holant}^\mathbf{c}\), Inspired by Quantum Computation.
SIAM J. Comput.
Miriam Backens
2025 — conf
Inserting Planar-Measured Qubits into MBQC Patterns while Preserving Flow.
QPL
Miriam Backens, Thomas Perez
2024 J jnl
An algebraic interpretation of Pauli flow, leading to faster flow-finding algorithms.
CoRR
Piotr Mitosek, Miriam Backens
2023 — conf
Co-creating an 'EDI in Computer Science University Teaching' Toolkit with a Focus on LGBTQIA+ Issues.
SIGCSE (2)
Miriam Backens
2023 J jnl
Completeness of the ZH-calculus.
Compositionality
Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell, John van de Wetering, Sal Wolffs
2023 — conf
Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation.
QPL
Tommy McElvanney, Miriam Backens
2022 J jnl
A full dichotomy for Holant
CoRR
Miriam Backens
2022 — conf
Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements.
QPL
Tommy McElvanney, Miriam Backens
2021 J jnl
A Full Dichotomy for $\hol^{c}$, Inspired by Quantum Computation.
SIAM J. Comput.
Miriam Backens
2021 — ed.
Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021.
QPL
Chris Heunen, Miriam Backens
2021 J jnl
There and back again: A circuit extraction tale.
Quantum
Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, John van de Wetering
2020 J jnl
Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin.
J. Comput. Syst. Sci.
Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan, Stanislav Zivný
2020 J jnl
Holant Clones and the Approximability of Conservative Holant Problems.
ACM Trans. Algorithms
Miriam Backens, Leslie Ann Goldberg
2020 J jnl
Towards a Minimal Stabilizer ZX-calculus.
Log. Methods Comput. Sci.
Miriam Backens, Simon Perdrix, Quanlong Wang
2018 A* conf
A Complete Dichotomy for Complex-Valued Holant^c.
ICALP
Miriam Backens
2018 J jnl
Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin.
CoRR
Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan, Stanislav Zivný
2018 J jnl
Holant clones and the approximability of conservative holant problems.
CoRR
Miriam Backens, Leslie Ann Goldberg
2018 — conf
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity.
QPL
Miriam Backens, Aleks Kissinger
2017 A* conf
A New Holant Dichotomy Inspired by Quantum Computation.
ICALP
Miriam Backens
2017 J jnl
A complete dichotomy for complex-valued Holant^c.
CoRR
Miriam Backens
2017 J jnl
A new Holant dichotomy inspired by quantum computation.
CoRR
Miriam Backens
2017 J jnl
Towards a Minimal Stabilizer ZX-calculus.
CoRR
Miriam Backens, Simon Perdrix, Quanlong Wang
2016 — conf
A Simplified Stabilizer ZX-calculus.
QPL
Miriam Backens, Simon Perdrix, Quanlong Wang
2015 — —
Completeness and the ZX-calculus.
Miriam Backens
2015 — conf
Making the stabilizer ZX-calculus complete for scalars.
QPL
Miriam Backens
2014 — conf
The ZX-calculus is complete for the single-qubit Clifford+T group.
QPL
Miriam Backens