DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. - Samson Abramsky; Dominic Horsman (QPL, 2015)

The natural science of computing. - Dominic Horsman; Vivien M. Kendon; Susan Stepney (Commun. ACM, 2017)

SZX-Calculus: Scalable Graphical Quantum Reasoning. - Titouan Carette; Dominic Horsman; Simon Perdrix (MFCS, 2019)

Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms. - Niel de Beaudrap; Ross Duncan; Dominic Horsman; Simon Perdrix (QPL, 2019)

Communication through coherent control of quantum channels. - Alastair A. Abbott; Julian Wechs; Dominic Horsman; Mehdi Mhalla; Cyril Branciard (Quantum, 2020)

The ZX calculus is a language for surface code lattice surgery. - Niel de Beaudrap; Dominic Horsman (Quantum, 2020)

Quantum Codes From Classical Graphical Models. - Joschka Roffe; Stefan Zohren; Dominic Horsman; Nicholas Chancellor (IEEE Trans. Inf. Theory, 2020)

Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus). - Bob Coecke; Dominic Horsman; Aleks Kissinger; Quanlong Wang (CoRR, 2021)

Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus. - Bob Coecke; Dominic Horsman; Aleks Kissinger; Quanlong Wang (Theor. Comput. Sci., 2022)