| The CBH characterisation theorem beyond algebraic quantum theory | 0 | 0.34 | 2022 |
| String Diagram Rewrite Theory I: Rewriting with Frobenius Structure | 0 | 0.34 | 2022 |
| Higher-Order Causal Theories Are Models of BV-Logic | 0 | 0.34 | 2022 |
| Circuit Extraction for ZX-Diagrams Can Be #P-Hard | 0 | 0.34 | 2022 |
| Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions. | 0 | 0.34 | 2022 |
| Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. | 0 | 0.34 | 2021 |
| CNOT circuit extraction for topologically-constrained quantum memories | 1 | 0.36 | 2020 |
| Causal Inference by String Diagram Surgery. | 0 | 0.34 | 2019 |
| Causal Inference by String Diagram Surgery. | 0 | 0.34 | 2019 |
| Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. | 0 | 0.34 | 2019 |
| Proceedings 14th International Conference on Quantum Physics and Logic. | 0 | 0.34 | 2018 |
| Rewriting with Frobenius. | 0 | 0.34 | 2018 |
| Diagram Transformations Give a New Handle on Quantum Circuits and Foundations. | 0 | 0.34 | 2018 |
| Confluence of Graph Rewriting with Interfaces. | 0 | 0.34 | 2017 |
| A CATEGORICAL SEMANTICS FOR CAUSAL STRUCTURE | 6 | 0.59 | 2017 |
| Confluence of Graph Rewriting with Interfaces. | 1 | 0.35 | 2017 |
| Picturing Indefinite Causal Structure | 0 | 0.34 | 2017 |
| Can quantum theory be characterized in information-theoretic terms? | 0 | 0.34 | 2016 |
| Proceedings Second Graphs as Models Workshop. | 0 | 0.34 | 2016 |
| Globular: An Online Proof Assistant for Higher-Dimensional Rewriting. | 1 | 0.35 | 2016 |
| Rewriting modulo symmetric monoidal structure. | 10 | 0.61 | 2016 |
| Categories of Quantum and Classical Channels | 17 | 1.18 | 2016 |
| Quantomatic: A proof assistant for diagrammatic reasoning. | 20 | 1.11 | 2015 |
| Tensors, !-graphs, and non-commutative quantum structures (extended version). | 1 | 0.35 | 2015 |
| Equational Reasoning With Context-Free Families Of String Diagrams | 2 | 0.38 | 2015 |
| !-Graphs With Trivial Overlap Are Context-Free | 4 | 0.47 | 2015 |
| Pattern Graph Rewrite Systems | 13 | 0.78 | 2014 |
| Tinker, Tailor, Solver, Proof | 3 | 0.49 | 2014 |
| Categories Of Quantum And Classical Channels (Extended Abstract) | 0 | 0.34 | 2014 |
| Abstract Tensor Systems as Monoidal Categories. | 0 | 0.34 | 2014 |
| Tensors, !-graphs, and non-commutative quantum structures. | 3 | 0.46 | 2014 |
| A Graphical Language for Proof Strategies | 9 | 0.85 | 2013 |
| Compositional Quantum Logic. | 2 | 0.54 | 2013 |
| Open Graphs and Monoidal Theories | 4 | 0.48 | 2013 |
| Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing | 16 | 0.92 | 2012 |
| Strong Complementarity and Non-locality in Categorical Quantum Mechanics | 21 | 1.56 | 2012 |
| Synthesising Graphical Theories | 4 | 0.52 | 2012 |
| The compositional structure of multipartite quantum entanglement | 22 | 2.27 | 2010 |
| Open Graphs And Computational Reasoning | 6 | 0.65 | 2010 |
| The GHZ/W-calculus contains rational arithmetic | 3 | 0.44 | 2010 |
| Exploring a Quantum Theory with Graph Rewriting and Computer Algebra | 2 | 0.51 | 2009 |
