| Publication | Date of Publication | Type |
|---|
| Architecture-aware synthesis of phase polynomials for NISQ devices | 2025-08-19 | Paper |
A Category of Surface-Embedded Graphs
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
On the qubit routing problem
(available as arXiv preprint) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7453183 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| scientific article; zbMATH DE number 7453183 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453180 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| scientific article; zbMATH DE number 7453180 (Why is no real title available?) | 2022-01-06 | 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 |
| Optimising Clifford circuits with quantomatic | 2021-12-20 | Paper |
Optimising Clifford circuits with quantomatic
(available as arXiv preprint) | 2021-12-20 | Paper |
| scientific article; zbMATH DE number 7447789 (Why is no real title available?) | 2021-12-17 | Paper |
scientific article; zbMATH DE number 7447789 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-17 | Paper |
Pivoting makes the \textsc{zx}-calculus complete for real stabilizers
(available as arXiv preprint) | 2021-06-29 | Paper |
| Pivoting makes the \textsc{zx}-calculus complete for real stabilizers | 2021-06-29 | Paper |
| Verifying the Steane code with Quantomatic | 2021-06-29 | Paper |
Verifying the Steane code with Quantomatic
(available as arXiv preprint) | 2021-06-29 | Paper |
Open graphs and computational reasoning
(available as arXiv preprint) | 2021-02-16 | Paper |
| Open graphs and computational reasoning | 2021-02-16 | Paper |
Interacting quantum observables: categorical algebra and diagrammatics
New Journal of Physics | 2020-11-24 | Paper |
Hopf-Frobenius Algebras and a Simpler Drinfeld Double
(available as arXiv preprint) | 2019-05-02 | Paper |
| Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus | 2019-02-08 | Paper |
Interacting Frobenius algebras are Hopf
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Interacting Frobenius algebras are Hopf
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Strong complementarity and non-locality in categorical quantum mechanics
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Tutorial: Graphical Calculus for Quantum Circuits
Reversible Computation | 2015-11-30 | Paper |
A graphical approach to measurement-based quantum computing
(available as arXiv preprint) | 2014-05-19 | Paper |
Symmetry, compact closure and dagger compactness for categories of convex operational models
Journal of Philosophical Logic | 2013-08-09 | Paper |
Rewriting measurement-based quantum computations with generalised flow
Automata, Languages and Programming | 2010-09-07 | Paper |
Graph states and the necessity of Euler decomposition
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
Generalised Proof-Nets for Compact Categories with Biproducts
(available as arXiv preprint) | 2010-05-14 | Paper |
Graphical reasoning in compact closed categories for quantum computation
Annals of Mathematics and Artificial Intelligence | 2009-12-11 | Paper |
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Lecture Notes in Computer Science | 2009-01-27 | Paper |
Interacting Quantum Observables
Automata, Languages and Programming | 2008-08-19 | Paper |
A categorical quantum logic
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
