| 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 | 2024-03-22 | Paper |
| Global Synthesis of CNOT Circuits with Holes | 2024-03-22 | Paper |
| On the Pre- and Promonoidal Structure of Spacetime | 2024-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6193831 | 2024-02-13 | Paper |
| The ZX-calculus as a language for topological quantum computation | 2023-10-23 | Paper |
| Completeness of the ZH-calculus | 2023-10-11 | Paper |
| Outcome determinism in measurement-based quantum computation with qudits | 2023-03-02 | Paper |
| String diagram rewrite theory III: Confluence with and without Frobenius | 2023-02-28 | Paper |
| String diagram rewrite theory II: Rewriting with symmetric monoidal structure | 2022-12-20 | Paper |
| Categorical Quantum Mechanics I: Causal Quantum Processes | 2022-10-11 | Paper |
| The CBH characterisation theorem beyond algebraic quantum theory | 2022-06-08 | Paper |
| Quantum Supermaps are Characterized by Locality | 2022-05-19 | Paper |
| Causal inference via string diagram surgery | 2022-05-17 | Paper |
| String Diagram Rewrite Theory I: Rewriting with Frobenius Structure | 2022-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020643 | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3385624 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014784 | 2021-12-08 | Paper |
| Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} | 2021-12-01 | Paper |
| Completely positive projections and biproducts | 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 |
| Pattern graph rewrite systems | 2021-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151029 | 2021-02-16 | Paper |
| Rewriting with Frobenius | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144641 | 2021-01-19 | Paper |
| Causal inference by string diagram surgery | 2020-01-28 | Paper |
| A categorical semantics for causal structure | 2019-08-13 | Paper |
| Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus | 2019-02-08 | Paper |
| Causal Inference by String Diagram Surgery | 2018-11-20 | Paper |
| Tensors, !-graphs, and non-commutative quantum structures | 2018-09-05 | Paper |
| Rewriting modulo symmetric monoidal structure | 2018-04-23 | Paper |
| Globular: an online proof assistant for higher-dimensional rewriting | 2018-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5369499 | 2017-10-17 | Paper |
| A first-order logic for string diagrams | 2017-07-11 | Paper |
| Confluence of Graph Rewriting with Interfaces | 2017-05-19 | Paper |
| Strong Complementarity and Non-locality in Categorical Quantum Mechanics | 2017-05-16 | Paper |
| Picturing Quantum Processes | 2017-03-27 | Paper |
| Categories of quantum and classical channels | 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 | 2016-11-09 | Paper |
| Quantomatic: A Proof Assistant for Diagrammatic Reasoning | 2015-12-02 | Paper |
| Equational Reasoning with Context-Free Families of String Diagrams | 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 | 2014-05-08 | Paper |
| A Graphical Language for Proof Strategies | 2014-01-17 | Paper |
| Compositional Quantum Logic | 2013-05-28 | Paper |
| Open-graphs and monoidal theories | 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 | 2010-09-07 | Paper |
| Exploring a Quantum Theory with Graph Rewriting and Computer Algebra | 2009-07-09 | Paper |
