Miriam Backens

According to our database, Miriam Backens authored at least 16 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation.

Tommy McElvanney, Miriam Backens

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Co-creating an 'EDI in Computer Science University Teaching' Toolkit with a Focus on LGBTQIA+ Issues.

Miriam Backens

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2022

Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements.

Tommy McElvanney, Miriam Backens

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

A full dichotomy for Holant^c, inspired by quantum computation.

Miriam Backens

CoRR, 2022

2021

A Full Dichotomy for $\hol^{c}$, Inspired by Quantum Computation.

Miriam Backens

SIAM J. Comput., 2021

There and back again: A circuit extraction tale.

Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, John van de Wetering

Quantum, 2021

2020

Holant Clones and the Approximability of Conservative Holant Problems.

Miriam Backens, Leslie Ann Goldberg

ACM Trans. Algorithms, 2020

Towards a Minimal Stabilizer ZX-calculus.

Miriam Backens, Simon Perdrix, Quanlong Wang

Log. Methods Comput. Sci., 2020

Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin.

Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan, Stanislav Zivný

J. Comput. Syst. Sci., 2020

2018

ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity.

Miriam Backens, Aleks Kissinger

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

A Complete Dichotomy for Complex-Valued Holant^c.

Miriam Backens

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

2017

A New Holant Dichotomy Inspired by Quantum Computation.

Miriam Backens

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

A Simplified Stabilizer ZX-calculus.

Miriam Backens, Simon Perdrix, Quanlong Wang

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

2015

Completeness and the ZX-calculus.

Miriam Backens

PhD thesis, 2015

Making the stabilizer ZX-calculus complete for scalars.

Miriam Backens

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

2014

The ZX-calculus is complete for the single-qubit Clifford+T group.

Miriam Backens

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014