| The ZX-calculus is complete for stabilizer quantum mechanics M Backens New Journal of Physics 16 (9), 093021, 2014 | 231 | 2014 |
| ZH: A complete graphical calculus for quantum computations involving classical non-linearity M Backens, A Kissinger arXiv preprint arXiv:1805.02175, 2018 | 140 | 2018 |
| 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 | 135 | 2021 |
| The ZX-calculus is complete for the single-qubit Clifford+ T group M Backens arXiv preprint arXiv:1412.8553, 2014 | 57 | 2014 |
| A simplified stabilizer ZX-calculus M Backens, S Perdrix, Q Wang arXiv preprint arXiv:1602.04744, 2016 | 49 | 2016 |
| Completeness and the ZX-calculus M Backens arXiv preprint arXiv:1602.08954, 2016 | 47* | 2016 |
| A complete graphical calculus for Spekkens’ toy bit theory M Backens, AN Duman Foundations of Physics 46 (1), 70-103, 2016 | 44 | 2016 |
| Making the stabilizer ZX-calculus complete for scalars M Backens arXiv preprint arXiv:1507.03854, 2015 | 43 | 2015 |
| A complete dichotomy for complex-valued Holant^ c M Backens arXiv preprint arXiv:1704.05798, 2017 | 39 | 2017 |
| A new Holant dichotomy inspired by quantum computation M Backens arXiv preprint arXiv:1702.00767, 2017 | 38 | 2017 |
| Flow-preserving ZX-calculus rewrite rules for optimisation and obfuscation T McElvanney, M Backens arXiv preprint arXiv:2304.08166, 2023 | 21 | 2023 |
| Complete flow-preserving rewrite rules for MBQC patterns with Pauli measurements T McElvanney, M Backens arXiv preprint arXiv:2205.02009, 2022 | 19 | 2022 |
| Towards a minimal stabilizer ZX-calculus M Backens, S Perdrix, Q Wang Logical Methods in Computer Science 16, 2020 | 18 | 2020 |
| Number of superclasses of four-qubit entangled states under the inductive entanglement classification M Backens Physical Review A 95 (2), 022329, 2017 | 17* | 2017 |
| A Full Dichotomy for \hol^c, Inspired by Quantum Computation M Backens SIAM Journal on Computing 50 (6), 1739-1799, 2021 | 16 | 2021 |
| Holant clones and the approximability of conservative Holant problems M Backens, LA Goldberg ACM Transactions on Algorithms (TALG) 16 (2), 1-55, 2020 | 9 | 2020 |
| 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 | 3 | 2020 |
| Inserting Planar-Measured Qubits into MBQC Patterns while Preserving Flow M Backens, T Perez arXiv preprint arXiv:2508.14671, 2025 | 1 | 2025 |
| 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018 I Chatzigiannakis, C Kaklamanis, D Marx, D Sannella Schloss Dagstuhl Leibniz-Zentrum für Informatik, 2018 | 1 | 2018 |
| El cálculo ZX está completo para la mecánica cuántica estabilizadora M Backens New Journal of Physics 16 (9), 093021, 2014 | 1 | 2014 |
