The ZX-calculus is complete for the single-qubit Clifford+T group. - Miriam Backens (QPL, 2014)

Making the stabilizer ZX-calculus complete for scalars. - Miriam Backens (QPL, 2015)

Completeness and the ZX-calculus. - Miriam Backens (2015)

A Simplified Stabilizer ZX-calculus. - Miriam Backens; Simon Perdrix; Quanlong Wang (QPL, 2016)

A New Holant Dichotomy Inspired by Quantum Computation. - Miriam Backens (ICALP, 2017)

A Complete Dichotomy for Complex-Valued Holant^c. - Miriam Backens (ICALP, 2018)

ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. - Miriam Backens; Aleks Kissinger (QPL, 2018)

Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin. - Miriam Backens; Andrei Bulatov 001; Leslie Ann Goldberg; Colin McQuillan; Stanislav Zivný (J. Comput. Syst. Sci., 2020)

Towards a Minimal Stabilizer ZX-calculus. - Miriam Backens; Simon Perdrix; Quanlong Wang (Log. Methods Comput. Sci., 2020)

Holant Clones and the Approximability of Conservative Holant Problems. - Miriam Backens; Leslie Ann Goldberg (ACM Trans. Algorithms, 2020)

There and back again: A circuit extraction tale. - Miriam Backens; Hector Miller-Bakewell; Giovanni de Felice; Leo Lobski; John van de Wetering (Quantum, 2021)

A Full Dichotomy for $ hol^{c}$, Inspired by Quantum Computation. - Miriam Backens (SIAM J. Comput., 2021)

A full dichotomy for Holantc, inspired by quantum computation. - Miriam Backens (CoRR, 2022)

Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements. - Tommy McElvanney; Miriam Backens (QPL, 2022)

Co-creating an 'EDI in Computer Science University Teaching' Toolkit with a Focus on LGBTQIA+ Issues. - Miriam Backens (SIGCSE (2), 2023)

Completeness of the ZH-calculus. - Miriam Backens; Aleks Kissinger; Hector Miller-Bakewell; John van de Wetering; Sal Wolffs (Compositionality, 2023)

Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation. - Tommy McElvanney; Miriam Backens (QPL, 2023)

An algebraic interpretation of Pauli flow, leading to faster flow-finding algorithms. - Piotr Mitosek; Miriam Backens (CoRR, 2024)

Erratum: A Full Dichotomy for ( textsf{Holant}^ mathbf{c} ), Inspired by Quantum Computation. - Miriam Backens (SIAM J. Comput., 2025)