Browse by Journal or other publication

2020

Beaudrap, Niel de and Duncan, Ross and Horsman, Dominic and Perdrix, Simon (2020) Pauli Fusion : a computational model to realise quantum transformations from ZX terms. Electronic Proceedings in Theoretical Computer Science, 318. pp. 85-105. ISSN 2075-2180

Griend, Arianne Meijer-van de and Duncan, Ross (2020) Architecture-aware synthesis of phase polynomials for NISQ devices. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180 (In Press)

Kendon, Viv (2020) How to computer using quantum walks. Electronic Proceedings in Theoretical Computer Science, 315. pp. 1-17. ISSN 2075-2180

2019

Collins, Joseph and Duncan, Ross (2019) Hopf-Frobenius algebras and a simpler Drinfeld double. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

Fagan, Andrew and Duncan, Ross (2019) Optimising Clifford circuits with Quantomatic. Electronic Proceedings in Theoretical Computer Science, 287. pp. 85-105. ISSN 2075-2180

2018

McBride, Conor (2018) Everybody's got to be somewhere. Electronic Proceedings in Theoretical Computer Science, 275. pp. 53-69. ISSN 2075-2180

2014

Duncan, Ross and Perdrix, Simon (2014) Pivoting makes the ZX-calculus complete for real stabilizers. Electronic Proceedings in Theoretical Computer Science, 171. pp. 50-62. ISSN 2075-2180

Duncan, Ross and Lucas, Maxime (2014) Verifying the Steane code with Quantomatic. Electronic Proceedings in Theoretical Computer Science, 171. pp. 33-49. ISSN 2075-2180

2012

Ciobanu, Gabriel and Horne, Ross (2012) A provenance tracking model for data apdates. Electronic Proceedings in Theoretical Computer Science, 91. pp. 31-44.