Miriam Backens

Orcid: 0000-0002-5418-1084

Affiliations:
  • Inria, MOCQUA team, France
  • University of Birmingham, UK (former)


According to our database1, Miriam Backens authored at least 17 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
An algebraic interpretation of Pauli flow, leading to faster flow-finding algorithms.
CoRR, 2024

2023
Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation.
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.
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.
Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

A full dichotomy for Holant<sup>c</sup>, inspired by quantum computation.
CoRR, 2022

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

There and back again: A circuit extraction tale.
Quantum, 2021

2020
Holant Clones and the Approximability of Conservative Holant Problems.
ACM Trans. Algorithms, 2020

Towards a Minimal Stabilizer ZX-calculus.
Log. Methods Comput. Sci., 2020

Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin.
J. Comput. Syst. Sci., 2020

2018
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity.
Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

A Complete Dichotomy for Complex-Valued Holant^c.
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

2017
A New Holant Dichotomy Inspired by Quantum Computation.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016
A Simplified Stabilizer ZX-calculus.
Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

2015
Completeness and the ZX-calculus.
PhD thesis, 2015

Making the stabilizer ZX-calculus complete for scalars.
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.
Proceedings of the 11th workshop on Quantum Physics and Logic, 2014


  Loading...