Concepedia

Miriam Backens

MB

6

Publications

250

Citations

6

H-Index

2014

Active since

Affiliations

University of Oxford(Current)

Radboud University Nijmegen

Miriam Backens is an author at University of Oxford specializing in engineering, quantum science, and quantum computing.

Top concepts

EngineeringQuantum ScienceComputer ScienceQuantum ComputingFormal MethodsAutomated ReasoningQuantum EntanglementQuantum Error CorrectionCircuit DesignQuantum Devices

Publications per year

2014–2021

6

Publications

6

There and back again: A circuit extraction tale

Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice et al. · Quantum · 2021 · 73 citations · Full text

Circuit Complexity, Engineering, Quantum Circuit Model +17

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

Miriam Backens, Aleks Kissinger · Electronic Proceedings in Theoretical Computer Science · 2019 · 67 citations · Full text

Quantum Science, Quantum Logic, Engineering +14

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

Miriam Backens · Electronic Proceedings in Theoretical Computer Science · 2014 · 41 citations · Full text

Quantum Science, Single-qubit Stabilizer Operations, Quantum Logic +14

Making the stabilizer ZX-calculus complete for scalars

Miriam Backens · Electronic Proceedings in Theoretical Computer Science · 2015 · 37 citations · Full text

Quantum Science, Stabilizer Zx-calculus Complete, Completeness Property +14

A New Holant Dichotomy Inspired by Quantum Computation

Miriam Backens · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 18 citations · Full text

Rows per page

1–5 of 6