Dominic Horsman

MaRDI QIDQ2055954zbMATH OpenWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
SZX-calculus: scalable graphical quantum reasoning (available as arXiv preprint)	2022-07-21	Paper
Pauli fusion: a computational model to realise quantum transformations from ZX terms (available as arXiv preprint)	2022-01-06	Paper
Pauli fusion: a computational model to realise quantum transformations from ZX terms	2022-01-06	Paper
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. (available as arXiv preprint)	2021-12-06	Paper
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.	2021-12-06	Paper
Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} Theoretical Computer Science	2021-12-01	Paper
Quantum Codes From Classical Graphical Models IEEE Transactions on Information Theory	2020-01-28	Paper
Can a quantum state over time resemble a quantum state at a single time? Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences	2018-11-29	Paper

Research outcomes over time

This page was built for person: Dominic Horsman