Dominic Horsman

According to our database, Dominic Horsman authored at least 11 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

When does a control system compute? Digital, mechanical and open-loop systems.

Dominic Horsman, Susan Stepney, Tim Clarke, Viv Kendon

CoRR, April, 2026

2025

String Diagrams for Defect-Based Surface Code Computing.

Mateusz Kupper, Dominic Horsman, Chris Heunen, Niel de Beaudrap

Proceedings of the 22nd International Conference on Quantum Physics and Logic, 2025

2022

Kindergarden quantum mechanics graduates <i>...or how I learned to stop gluing LEGO together and love the ZX-calculus</i>.

Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang

Theor. Comput. Sci., 2022

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

CoRR, 2021

2020

Quantum Codes From Classical Graphical Models.

Joschka Roffe, Stefan Zohren, Dominic Horsman, Nicholas Chancellor

IEEE Trans. Inf. Theory, 2020

The ZX calculus is a language for surface code lattice surgery.

Niel de Beaudrap, Dominic Horsman

Quantum, 2020

Communication through coherent control of quantum channels.

Alastair A. Abbott, Julian Wechs, Dominic Horsman, Mehdi Mhalla, Cyril Branciard

Quantum, 2020

2019

Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms.

Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

SZX-Calculus: Scalable Graphical Quantum Reasoning.

Titouan Carette, Dominic Horsman, Simon Perdrix

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2017

The natural science of computing.

Dominic Horsman, Vivien M. Kendon, Susan Stepney

Commun. ACM, 2017

2015

DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.

Samson Abramsky, Dominic Horsman

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015