3 citations · 3 across the 1 of their papers we have counts for
4 papers
SZX-calculus: Scalable Graphical Quantum Reasoning
Titouan Carette, Dominic Horsman, Simon Perdrix
We introduce the Scalable ZX-calculus (SZX-calculus for short), a formal and compact graphical language for the design and verification of quantum computations. The SZX-calculus is…
Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms
Niel de Beaudrap, Ross Duncan, Dominic Horsman +1
We present an abstract model of quantum computation, the "Pauli Fusion" model, whose primitive operations correspond closely to generators of the ZX calculus (a formal graphical la…
Decoding quantum error correction with Ising model hardware
Joschka Roffe, Stefan Zohren, Dominic Horsman +1
Fault tolerant quantum computers will require efficient co-processors for real-time decoding of their adopted quantum error correction protocols. In this work we examine the possib…
Proceedings of the 7th International Workshop on Physics and Computation
Alastair A. Abbott, Dominic C. Horsman
This volume constitutes the proceedings of the 7th International Workshop on Physics and Computation (PC 2016). The workshop was held on the 14th of July 2016 in Manchester, UK, as…