Dominic Horsman
Orcid: 0000-0003-4965-0584
According to our database1,
Dominic Horsman
authored at least 9 papers
between 2015 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Kindergarden quantum mechanics graduates <i>...or how I learned to stop gluing LEGO together and love the ZX-calculus</i>.
Theor. Comput. Sci., 2022
2021
Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus).
CoRR, 2021
2020
2019
Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms.
Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019
2017
2015
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015