Exploring a Quantum Theory with Graph Rewriting and Computer Algebra. - Aleks Kissinger (Calculemus/MKM, 2009)

The Compositional Structure of Multipartite Quantum Entanglement. - Bob Coecke; Aleks Kissinger (ICALP (2), 2010)

Open Graphs and Computational Reasoning - Lucas Dixon; Ross Duncan; Aleks Kissinger (DCM, 2010)

The GHZ/W-calculus contains rational arithmetic - Bob Coecke; Aleks Kissinger; Alex Merry; Shibdas Roy (HPC, 2010)

Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing. - Aleks Kissinger (2011)

Synthesising Graphical Theories. - Aleks Kissinger (ATx/WInG@IJCAR, 2012)

Strong Complementarity and Non-locality in Categorical Quantum Mechanics. - Bob Coecke; Ross Duncan; Aleks Kissinger; Quanlong Wang (LICS, 2012)

Categories of Quantum and Classical Channels (extended abstract). - Bob Coecke; Chris Heunen; Aleks Kissinger (QPL, 2012)

Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing - Aleks Kissinger (CoRR, 2012)

Pattern Graph Rewrite Systems - Aleks Kissinger; Alex Merry; Matvey Soloviev (DCM, 2012)

Compositional Quantum Logic. - Bob Coecke; Chris Heunen; Aleks Kissinger (Computation, Logic, Games, and Quantum Foundations, 2013)

A Graphical Language for Proof Strategies. - Gudmund Grov; Aleks Kissinger; Yuhui Lin (LPAR, 2013)

A Graphical Language for Proof Strategies - Gudmund Grov; Aleks Kissinger (CoRR, 2013)

Completely positive projections and biproducts. - Chris Heunen; Aleks Kissinger; Peter Selinger (QPL, 2013)

Open-graphs and monoidal theories. - Lucas Dixon; Aleks Kissinger (Math. Struct. Comput. Sci., 2013)

Abstract Tensor Systems as Monoidal Categories. - Aleks Kissinger (Categories and Types in Logic, Language, and Physics, 2014)

Tinker, tailor, solver, proof. - Gudmund Grov; Aleks Kissinger; Yuhui Lin (UITP, 2014)

Tensors, !-graphs, and non-commutative quantum structures. - Aleks Kissinger; David Quick (QPL, 2014)

Quantomatic: A Proof Assistant for Diagrammatic Reasoning. - Aleks Kissinger; Vladimir Zamdzhiev (CADE, 2015)

A First-order Logic for String Diagrams. - Aleks Kissinger; David Quick (CALCO, 2015)

Equational Reasoning with Context-Free Families of String Diagrams. - Aleks Kissinger; Vladimir Zamdzhiev (ICGT, 2015)

Tensors, !-graphs, and non-commutative quantum structures (extended version). - Aleks Kissinger; David Quick (CoRR, 2015)

!-graphs with trivial overlap are context-free. - Aleks Kissinger; Vladimir Zamdzhiev (GaM, 2015)

Rewriting modulo symmetric monoidal structure. - Filippo Bonchi; Fabio Gadducci; Aleks Kissinger; Pawel Sobocinski 001; Fabio Zanasi (LICS, 2016)

Can quantum theory be characterized in information-theoretic terms? - Chris Heunen; Aleks Kissinger (CoRR, 2016)

Picturing Indefinite Causal Structure. - Aleks Kissinger; Sander Uijlen (QPL, 2016)

Categories of quantum and classical channels. - Bob Coecke; Chris Heunen; Aleks Kissinger (Quantum Inf. Process., 2016)

Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning - Bob Coecke; Aleks Kissinger (Cambridge University Press, 2017)

Confluence of Graph Rewriting with Interfaces. - Filippo Bonchi; Fabio Gadducci; Aleks Kissinger; Pawel Sobocinski 001; Fabio Zanasi (ESOP, 2017)

Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning. - Bob Coecke; Aleks Kissinger (Diagrams, 2018)

Rewriting with Frobenius. - Filippo Bonchi; Fabio Gadducci; Aleks Kissinger; Pawel Sobocinski 001; Fabio Zanasi (LICS, 2018)

ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. - Miriam Backens; Aleks Kissinger (QPL, 2018)

Diagram Transformations Give a New Handle on Quantum Circuits and Foundations. - Aleks Kissinger (ERCIM News, 2018)

Globular: an online proof assistant for higher-dimensional rewriting. - Krzysztof Bar; Aleks Kissinger; Jamie Vicary (Log. Methods Comput. Sci., 2018)

Causal Inference by String Diagram Surgery. - Bart Jacobs 001; Aleks Kissinger; Fabio Zanasi (FoSSaCS, 2019)

PyZX: Large Scale Automated Diagrammatic Reasoning. - Aleks Kissinger; John van de Wetering (QPL, 2019)

A categorical semantics for causal structure. - Aleks Kissinger; Sander Uijlen (Log. Methods Comput. Sci., 2019)

Universal MBQC with generalised parity-phase interactions and Pauli measurements. - Aleks Kissinger; John van de Wetering (Quantum, 2019)

Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. - Louis Lemonnier; John van de Wetering; Aleks Kissinger (QPL, 2020)

Tensor Network Rewriting Strategies for Satisfiability and Counting. - Niel de Beaudrap; Aleks Kissinger; Konstantinos Meichanetzidis (QPL, 2020)

CNOT circuit extraction for topologically-constrained quantum memories. - Aleks Kissinger; Arianne Meijer-van de Griend (Quantum Inf. Comput., 2020)

Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. - Ross Duncan; Aleks Kissinger; Simon Perdrix; John van de Wetering (Quantum, 2020)

Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus). - Bob Coecke; Dominic Horsman; Aleks Kissinger; Quanlong Wang (CoRR, 2021)

A Graphical Calculus for Lagrangian Relations. - Cole Comfort; Aleks Kissinger (ACT, 2021)

Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. - Bart Jacobs 001; Aleks Kissinger; Fabio Zanasi (Math. Struct. Comput. Sci., 2021)

Circuit Extraction for ZX-Diagrams Can Be #P-Hard. - Niel de Beaudrap; Aleks Kissinger; John van de Wetering (ICALP, 2022)

Higher-Order Causal Theories Are Models of BV-Logic. - Will Simmons; Aleks Kissinger (MFCS, 2022)

Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions. - Aleks Kissinger; John van de Wetering; Renaud Vilmart (TQC, 2022)

On the Pre- and Promonoidal Structure of Spacetime. - James Hefford; Aleks Kissinger (ACT, 2022)

Identification of Causal Influences in Quantum Processes. - Isaac Friend; Aleks Kissinger (QPL, 2022)

The CBH characterisation theorem beyond algebraic quantum theory. - Chris Heunen; Aleks Kissinger (Inf. Comput., 2022)

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. - Filippo Bonchi; Fabio Gadducci; Aleks Kissinger; Pawel Sobocinski 001; Fabio Zanasi (J. ACM, 2022)

Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus. - Bob Coecke; Dominic Horsman; Aleks Kissinger; Quanlong Wang (Theor. Comput. Sci., 2022)

String diagram rewrite theory II: Rewriting with symmetric monoidal structure. - Filippo Bonchi; Fabio Gadducci; Aleks Kissinger; Pawel Sobocinski 001; Fabio Zanasi (Math. Struct. Comput. Sci., 2022)

String diagram rewrite theory III: Confluence with and without Frobenius. - Filippo Bonchi; Fabio Gadducci; Aleks Kissinger; Pawel Sobocinski 001; Fabio Zanasi (Math. Struct. Comput. Sci., 2022)

Quantum Picturalism: Learning Quantum Theory in High School. - Selma Dündar-Coecke; Lia Yeh; Caterina Puca; Sieglinde M.-L. Pfaendler; Muhammad Hamza Waseem; Thomas Cervoni; Aleks Kissinger; Stefano Gogioso; Bob Coecke (QCE, 2023)

Completeness of the ZH-calculus. - Miriam Backens; Aleks Kissinger; Hector Miller-Bakewell; John van de Wetering; Sal Wolffs (Compositionality, 2023)

Graphical CSS Code Transformation Using ZX Calculus. - Jiaxin Huang 011; Sarah Meng Li; Lia Yeh; Aleks Kissinger; Michele Mosca; Michael Vasmer (QPL, 2023)

Global Synthesis of CNOT Circuits with Holes. - Ewan Murphy; Aleks Kissinger (QPL, 2023)

A complete logic for causal consistency. - Will Simmons; Aleks Kissinger (CoRR, 2024)

Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition in Classical Simulation. - Matthew Sutcliffe; Aleks Kissinger (QPL, 2024)

Scalable Spider Nests (...Or How to Graphically Grok Transversal Non-Clifford Gates). - Aleks Kissinger; John van de Wetering (QPL, 2024)

Quantum and Classical Markovian Graphical Causal Models and Their Identification. - Jonathan Barrett; Isaac Friend; Aleks Kissinger (CSL, 2025)

Approximate Optimisation of Quantum Circuits Using the ZX Calculus with Phase Squashing. - Thomas Kelly; Aleks Kissinger (RC, 2025)