The following pages link to Aleks Kissinger (Q513860):
Displaying 49 items.
- Categories of quantum and classical channels (Q513861) (← links)
- Tensors, !-graphs, and non-commutative quantum structures (Q1670507) (← links)
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} (Q2055955) (← links)
- Causal inference by string diagram surgery (Q2289083) (← links)
- The CBH characterisation theorem beyond algebraic quantum theory (Q2672237) (← links)
- Categorical quantum mechanics II: Classical-quantum interaction (Q2830244) (← links)
- A Graphical Language for Proof Strategies (Q2870138) (← links)
- Equational Reasoning with Context-Free Families of String Diagrams (Q2947216) (← links)
- Picturing Quantum Processes (Q2970049) (← links)
- Strong Complementarity and Non-locality in Categorical Quantum Mechanics (Q2986801) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- Globular: an online proof assistant for higher-dimensional rewriting (Q3130548) (← links)
- (Q3385624) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- The Compositional Structure of Multipartite Quantum Entanglement (Q3587447) (← links)
- Exploring a Quantum Theory with Graph Rewriting and Computer Algebra (Q3637271) (← links)
- Rewriting modulo symmetric monoidal structure (Q4635934) (← links)
- Open-graphs and monoidal theories (Q4917191) (← links)
- Compositional Quantum Logic (Q4922071) (← links)
- Pattern graph rewrite systems (Q4994842) (← links)
- Categories of Quantum and Classical Channels (extended abstract) (Q4995141) (← links)
- Completely positive projections and biproducts (Q4997270) (← links)
- (Q5014784) (← links)
- (Q5020643) (← links)
- Categorical Quantum Mechanics I: Causal Quantum Processes (Q5040175) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Causal inference via string diagram surgery (Q5076389) (← links)
- (Q5144641) (← links)
- Rewriting with Frobenius (Q5145289) (← links)
- (Q5151029) (← links)
- A categorical semantics for causal structure (Q5228885) (← links)
- A first-order logic for string diagrams (Q5275350) (← links)
- (Q5369499) (← links)
- Abstract Tensor Systems as Monoidal Categories (Q5414967) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- Outcome determinism in measurement-based quantum computation with qudits (Q5879616) (← links)
- Completeness of the ZH-calculus (Q6050005) (← links)
- The ZX-calculus as a language for topological quantum computation (Q6053761) (← links)
- On the Pre- and Promonoidal Structure of Spacetime (Q6150163) (← links)
- Graphical CSS Code Transformation Using ZX Calculus (Q6200518) (← links)
- Global Synthesis of CNOT Circuits with Holes (Q6200524) (← links)
- Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus (Q6313814) (← links)
- Circuit extraction for ZX-diagrams can be \(\#\mathbf{P}\)-hard (Q6560921) (← links)
- Classical simulation of quantum circuits with partial and graphical stabiliser decompositions (Q6563766) (← links)
- Higher-order causal theories are models of BV-logic (Q6584086) (← links)
- Tensor network rewriting strategies for satisfiability and counting (Q6645576) (← links)
- Hypergraph simplification: linking the path-sum approach to the ZH-calculus (Q6645583) (← links)
- Hybrid Quantum-Classical Machine Learning with String Diagrams (Q6735167) (← links)
