Abstract Tensor Systems as Monoidal Categories by Kissinger, A

Graph Rewrite Systems for Classical Structures in Dagger−Symmetric Monoidal Categories by Kissinger, A

Exploring a Quantum Theory with Graph Rewriting and Computer Algebra by Kissinger, A

Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing by Kissinger, A

Pictures of processes by Kissinger, A

A categorical semantics for causal structure by Kissinger, A, Uijlen, S

ZH: a complete graphical calculus for quantum computations involving classical non-linearity by Backens, M, Kissinger, A

The Compositional Structure of Multipartite Quantum Entanglement by Coecke, B, Kissinger, A

The ZX-calculus as a language for topological quantum computation by Ahmadi, FR, Kissinger, A

Open graphs and monoidal theories by Dixon, L, Kissinger, A

The compositional structure of multipartite quantum entanglement by Coecke, B, Kissinger, A

The compositional structure of multipartite quantum entanglement by Coecke, B, Kissinger, A

Open Graphs and Computational Reasoning by Dixon, L, Duncan, R, Kissinger, A

Pattern Graph Rewrite Systems by Kissinger, A, Merry, A, Soloviev, M

Compositional quantum logic by Coecke, B, Heunen, C, Kissinger, A

A category of classical and quantum channels by Coecke, B, Heunen, C, Kissinger, A

Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions by Kissinger, A, van de Wetering, J

Globular: an online proof assistant for higher-dimensional rewriting by Vicary, J, Kissinger, A, Bar, K

Globular: an online proof assistant for higher-dimensional rewriting by Bar, K, Kissinger, A, Vicary, J

The GHZ/W−calculus contains rational arithmetic by Coecke, B, Kissinger, A, Merry, A, Roy, S