E-LIB Suche - Ergebnisse für: Backens, Miriam

1

Completeness of the ZH-calculus:

Backens, Miriam ; Kissinger, Aleks ; Miller-Bakewell, Hector..
Compositionality. 5 (2023) - p. 5 , 2023

Link: https://doi.org/10.32408..

2

Co-creating an 'EDI in Computer Science University Teaching..:

, In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2,

Backens, Miriam - p. 1266 ff. , 2022

Link: https://dl.acm.org/doi/1..

3

There and back again: A circuit extraction tale:

Backens, Miriam ; Miller-Bakewell, Hector ; de Felice, Giovanni..
Quantum. 5 (2021) - p. 421 , 2021

Link: https://doi.org/10.22331..

4

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

Backens, Miriam
SIAM Journal on Computing. 50 (2021) 6 - p. 1739-1799 , 2021

Link: https://doi.org/10.1137/..

5

Holant Clones and the Approximability of Conservative Holan..:

Backens, Miriam ; Goldberg, Leslie Ann
ACM Transactions on Algorithms (TALG). 16 (2020) 2 - p. 1-55 , 2020

Link: https://dl.acm.org/doi/1..

6

Holant Clones and the Approximability of Conservative Holan..:

Backens, Miriam ; Goldberg, Leslie Ann
ACM Transactions on Algorithms. 16 (2020) 2 - p. 1-55 , 2020

Link: https://doi.org/10.1145/..

7

Boolean approximate counting CSPs with weak conservativity,..:

Backens, Miriam ; Bulatov, Andrei ; Goldberg, Leslie Ann..
Journal of Computer and System Sciences. 109 (2020) - p. 95-125 , 2020

Link: https://doi.org/10.1016/..

8

Number of superclasses of four-qubit entangled states under..:

Backens, Miriam
Physical Review A. 95 (2017) 2 - p. , 2017

Link: https://doi.org/10.1103/..

9

A Complete Graphical Calculus for Spekkens' Toy Bit Theory:

Backens, Miriam ; Duman, Ali Nabi
Foundations of Physics. 46 (2015) 1 - p. 70-103 , 2015

Link: https://doi.org/10.1007/..

10

The ZX-calculus is complete for stabilizer quantum mechanic:

Backens, Miriam
New Journal of Physics. 16 (2014) 9 - p. 093021 , 2014

Link: https://doi.org/10.1088/..

11

Flow-preserving ZX-calculus Rewrite Rules for Optimisation ..:

McElvanney, Tommy ; Backens, Miriam
http://arxiv.org/abs/2304.08166. , 2023

Link: http://arxiv.org/abs/230..

12

Complete Flow-Preserving Rewrite Rules for MBQC Patterns wi..:

McElvanney, Tommy ; Backens, Miriam
http://arxiv.org/abs/2205.02009. , 2022

Link: http://arxiv.org/abs/220..

13

A full dichotomy for Holant$^c$, inspired by quantum comput..:

Backens, Miriam
http://arxiv.org/abs/2201.03375. , 2022

Link: http://arxiv.org/abs/220..

14

Proceedings 18th International Conference on Quantum Physic..:

Heunen, Chris ; Backens, Miriam
http://arxiv.org/abs/2109.04886. , 2021

Link: http://arxiv.org/abs/210..

15

Completeness of the ZH-calculus:

Backens, Miriam ; Kissinger, Aleks ; Miller-Bakewell, Hector..
http://arxiv.org/abs/2103.06610. , 2021

Link: http://arxiv.org/abs/210..