Miriam Backens

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 18

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Miriam Backens
Co-creating an 'EDI in Computer Science University Teaching' Toolkit with a Focus on LGBTQIA+ Issues. SIGCSE (2) (2023)
Tommy McElvanney, Miriam Backens
Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation. QPL (2023)
Miriam Backens
, inspired by quantum computation. CoRR (2022)
Tommy McElvanney, Miriam Backens
Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements. QPL (2022)
Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, John van de Wetering
There and back again: A circuit extraction tale. Quantum 5 (2021)
Miriam Backens
A Full Dichotomy for $\hol^{c}$, Inspired by Quantum Computation. SIAM J. Comput. 50 (6) (2021)
Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan, Stanislav Zivný
Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin. J. Comput. Syst. Sci. 109 (2020)
Miriam Backens, Leslie Ann Goldberg
Holant Clones and the Approximability of Conservative Holant Problems. ACM Trans. Algorithms 16 (2) (2020)
Miriam Backens, Simon Perdrix, Quanlong Wang
Towards a Minimal Stabilizer ZX-calculus. Log. Methods Comput. Sci. 16 (4) (2020)
Miriam Backens, Leslie Ann Goldberg
Holant clones and the approximability of conservative holant problems. CoRR (2018)
Miriam Backens
A Complete Dichotomy for Complex-Valued Holant^c. ICALP (2018)
Miriam Backens, Aleks Kissinger
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. QPL (2018)
Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan, Stanislav Zivný
Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin. CoRR (2018)
Miriam Backens
A New Holant Dichotomy Inspired by Quantum Computation. ICALP (2017)
Miriam Backens, Simon Perdrix, Quanlong Wang
Towards a Minimal Stabilizer ZX-calculus. CoRR (2017)
Miriam Backens
A complete dichotomy for complex-valued Holant^c. CoRR (2017)
Miriam Backens
A new Holant dichotomy inspired by quantum computation. CoRR (2017)
Miriam Backens, Simon Perdrix, Quanlong Wang
A Simplified Stabilizer ZX-calculus. QPL (2016)
Miriam Backens
Making the stabilizer ZX-calculus complete for scalars. QPL (2015)
Miriam Backens
The ZX-calculus is complete for the single-qubit Clifford+T group. QPL (2014)

Miriam Backens.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Miriam Backens