Dominic Horsman

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 10

Top Topics

Graphical Models

Formal Semantics

Quantum Mechanics

Top Venues

IEEE Trans. Inf. Theory

Publications

Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang
. Theor. Comput. Sci. 897 (2022)
Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang
Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus). CoRR (2021)
Joschka Roffe, Stefan Zohren, Dominic Horsman, Nicholas Chancellor
Quantum Codes From Classical Graphical Models. IEEE Trans. Inf. Theory 66 (1) (2020)
Niel de Beaudrap, Dominic Horsman
The ZX calculus is a language for surface code lattice surgery. Quantum 4 (2020)
Alastair A. Abbott, Julian Wechs, Dominic Horsman, Mehdi Mhalla, Cyril Branciard
Communication through coherent control of quantum channels. Quantum 4 (2020)
Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix
Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms. QPL (2019)
Titouan Carette, Dominic Horsman, Simon Perdrix
SZX-Calculus: Scalable Graphical Quantum Reasoning. MFCS (2019)
Niel de Beaudrap, Dominic Horsman
The ZX calculus is a language for surface code lattice surgery. CoRR (2017)
Dominic Horsman, Vivien M. Kendon, Susan Stepney
The natural science of computing. Commun. ACM 60 (8) (2017)
Samson Abramsky, Dominic Horsman
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. QPL (2015)