| Publication | Date of Publication | Type |
|---|
| Hypergraph simplification: linking the path-sum approach to the ZH-calculus | 2024-11-28 | Paper |
| Tensor network rewriting strategies for satisfiability and counting | 2024-11-28 | Paper |
| Higher-order causal theories are models of BV-logic | 2024-08-06 | Paper |
| Classical simulation of quantum circuits with partial and graphical stabiliser decompositions | 2024-06-27 | Paper |
| Circuit extraction for ZX-diagrams can be \(\#\mathbf{P}\)-hard | 2024-06-24 | Paper |
Graphical CSS Code Transformation Using ZX Calculus
Electronic Proceedings in Theoretical Computer Science | 2024-03-22 | Paper |
Global Synthesis of CNOT Circuits with Holes
Electronic Proceedings in Theoretical Computer Science | 2024-03-22 | Paper |
On the Pre- and Promonoidal Structure of Spacetime
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
A graphical calculus for Lagrangian relations
(available as arXiv preprint) | 2024-02-13 | Paper |
| A graphical calculus for Lagrangian relations | 2024-02-13 | Paper |
The ZX-calculus as a language for topological quantum computation
Journal of Physics A: Mathematical and Theoretical | 2023-10-23 | Paper |
Completeness of the ZH-calculus
Compositionality | 2023-10-11 | Paper |
Outcome determinism in measurement-based quantum computation with qudits
Journal of Physics A: Mathematical and Theoretical | 2023-03-02 | Paper |
String diagram rewrite theory III: Confluence with and without Frobenius
Mathematical Structures in Computer Science | 2023-02-28 | Paper |
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
Mathematical Structures in Computer Science | 2022-12-20 | Paper |
Categorical Quantum Mechanics I: Causal Quantum Processes
(available as arXiv preprint) | 2022-10-11 | Paper |
The CBH characterisation theorem beyond algebraic quantum theory
Information and Computation | 2022-06-08 | Paper |
| Quantum Supermaps are Characterized by Locality | 2022-05-19 | Paper |
Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
Mathematical Structures in Computer Science | 2022-05-17 | Paper |
String diagram rewrite theory. I: Rewriting with Frobenius structure
Journal of the ACM | 2022-03-31 | 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 |
| scientific article; zbMATH DE number 7449972 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7449972 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
| Picturing indefinite causal structure | 2021-12-08 | Paper |
Picturing indefinite causal structure
(available as arXiv preprint) | 2021-12-08 | 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 |
| Completely positive projections and biproducts | 2021-06-29 | Paper |
Completely positive projections and biproducts
(available as arXiv preprint) | 2021-06-29 | Paper |
| Tensors, !-graphs, and non-commutative quantum structures | 2021-06-29 | Paper |
| Categories of Quantum and Classical Channels (extended abstract) | 2021-06-23 | Paper |
Categories of Quantum and Classical Channels (extended abstract)
(available as arXiv preprint) | 2021-06-23 | Paper |
| Pattern graph rewrite systems | 2021-06-22 | Paper |
Pattern graph rewrite systems
(available as arXiv preprint) | 2021-06-22 | Paper |
| Open graphs and computational reasoning | 2021-02-16 | Paper |
Open graphs and computational reasoning
(available as arXiv preprint) | 2021-02-16 | Paper |
Rewriting with Frobenius
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| A categorical semantics for causal structure | 2021-01-19 | Paper |
Causal inference by string diagram surgery
(available as arXiv preprint) | 2020-01-28 | Paper |
A categorical semantics for causal structure
(available as arXiv preprint) | 2019-08-13 | Paper |
| Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus | 2019-02-08 | Paper |
Causal Inference by String Diagram Surgery
(available as arXiv preprint) | 2018-11-20 | Paper |
Tensors, !-graphs, and non-commutative quantum structures
New Generation Computing | 2018-09-05 | Paper |
Rewriting modulo symmetric monoidal structure
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Rewriting modulo symmetric monoidal structure
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
\textsf{Globular}: an online proof assistant for higher-dimensional rewriting
(available as arXiv preprint) | 2018-01-23 | Paper |
| Globular: an online proof assistant for higher-dimensional rewriting | 2017-10-17 | Paper |
A first-order logic for string diagrams
(available as arXiv preprint) | 2017-07-11 | Paper |
Confluence of graph rewriting with interfaces
Programming Languages and Systems | 2017-05-19 | Paper |
Strong complementarity and non-locality in categorical quantum mechanics
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning | 2017-03-27 | Paper |
Categories of quantum and classical channels
Quantum Information Processing | 2017-03-08 | Paper |
| Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem | 2017-01-30 | Paper |
Categorical quantum mechanics. II: Classical-quantum interaction
International Journal of Quantum Information | 2016-11-09 | Paper |
Quantomatic: a proof assistant for diagrammatic reasoning
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Equational reasoning with context-free families of string diagrams
Graph Transformation | 2015-09-22 | Paper |
| Tensors, !-graphs, and non-commutative quantum structures (extended version) | 2015-03-04 | Paper |
| !-Graphs with Trivial Overlap are Context-Free | 2015-01-24 | Paper |
| Finite matrices are complete for (dagger-)hypergraph categories | 2014-06-23 | Paper |
Abstract tensor systems as monoidal categories
Lecture Notes in Computer Science | 2014-05-08 | Paper |
A graphical language for proof strategies
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Compositional quantum logic
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Open-graphs and monoidal theories
Mathematical Structures in Computer Science | 2013-04-29 | Paper |
| Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing | 2012-03-01 | Paper |
| Synthesising Graphical Theories | 2012-02-27 | Paper |
The Compositional Structure of Multipartite Quantum Entanglement
Automata, Languages and Programming | 2010-09-07 | Paper |
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
Lecture Notes in Computer Science | 2009-07-09 | Paper |
