| Publication | Date of Publication | Type |
|---|
| A graphical \#SAT algorithm for formulae with small clause density | 2025-09-03 | Paper |
| Scalable spider nests ({\dots}or how to graphically grok transversal non-Clifford gates) | 2025-09-03 | Paper |
| Exact synthesis of multiqutrit Clifford-cyclotomic circuits | 2025-09-03 | Paper |
| Building qutrit diagonal gates from phase gadgets | 2025-08-19 | Paper |
| Hypergraph simplification: linking the path-sum approach to the ZH-calculus | 2024-11-28 | Paper |
| Dichotomy between deterministic and probabilistic models in countably additive effectus theory | 2024-11-28 | Paper |
Picturing Counting Reductions with the ZH-Calculus
Electronic Proceedings in Theoretical Computer Science | 2024-03-22 | Paper |
The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
Electronic Proceedings in Theoretical Computer Science | 2024-03-22 | Paper |
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
(available as arXiv preprint) | 2024-03-22 | Paper |
| The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification | 2024-03-22 | Paper |
A categorical construction of the real unit interval
(available as arXiv preprint) | 2024-02-13 | Paper |
| A categorical construction of the real unit interval | 2024-02-13 | Paper |
Completeness of the ZH-calculus
Compositionality | 2023-10-11 | Paper |
| Self-duality and Jordan structure of quantum theory follow from homogeneity and pure transitivity | 2023-06-01 | Paper |
A computer scientist’s reconstruction of quantum theory*
Journal of Physics A: Mathematical and Theoretical | 2023-02-01 | Paper |
Constructing all qutrit controlled Clifford+\(T\) gates in Clifford+\(T\)
(available as arXiv preprint) | 2022-11-11 | Paper |
An effect-theoretic reconstruction of quantum theory
Compositionality | 2022-07-01 | Paper |
| scientific article; zbMATH DE number 7453184 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453184 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| Pure maps between Euclidean Jordan algebras | 2021-12-20 | Paper |
Pure maps between Euclidean Jordan algebras
(available as arXiv preprint) | 2021-12-20 | Paper |
| Quantum theory is a quasi-stochastic process theory | 2021-12-17 | Paper |
Quantum theory is a quasi-stochastic process theory
(available as arXiv preprint) | 2021-12-17 | Paper |
A computer scientist's reconstruction of quantum theory
(available as arXiv preprint) | 2021-09-22 | Paper |
A characterisation of ordered abstract probabilities
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Commutativity in Jordan operator algebras
Journal of Pure and Applied Algebra | 2020-05-29 | Paper |
| The three types of normal sequential effect algebras | 2020-04-27 | Paper |
| Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory | 2020-03-23 | Paper |
Sequential product spaces are Jordan algebras
Journal of Mathematical Physics | 2019-07-18 | Paper |
Sequential product spaces are Jordan algebras
Journal of Mathematical Physics | 2019-07-18 | Paper |
| Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus | 2019-02-08 | Paper |
Ordering quantum states and channels based on positive Bayesian evidence
Journal of Mathematical Physics | 2018-11-16 | Paper |
Three characterisations of the sequential product
Journal of Mathematical Physics | 2018-09-13 | Paper |
Three characterisations of the sequential product
Journal of Mathematical Physics | 2018-09-13 | Paper |
| An algebraic semi-automated proof of the fundamental identity of Jordan algebras | 2018-06-30 | Paper |
