@book{PQP,
title = {{Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning}},
author = {Bob Coecke and Aleks Kissinger},
publisher = {Cambridge University Press},
year = {2017}
}

@article{kissinger2019causalstructurejournal,
  title = {A categorical semantics for causal structure (extended version)},
  author = {Aleks Kissinger and Sander Uijlen},
  publisher = {Springer},
  journal = {Logical Methods in Computer Science (LMCS)},
  volume = {15},
  number = {3},
  year = {2019}
}

@article{kissinger2019mbqc,
  title = {Universal MBQC with generalised parity-phase interactions and Pauli measurements},
  author = {Aleks Kissinger and John van de Wetering},
  journal = {Quantum},
  volume = {3},
  pages = {134},
  year = {2019},
  eprint = {\arXiv{1704.06504}{quant-ph}}
}


@inproceedings{jacobs2019causalstrings,
  title = {Causal Inference by String Diagram Surgery},
  author = {Bart Jacobs and Aleks Kissinger and Fabio Zanasi},
  booktitle = {Proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)},
  year = {2019},
  eprint = {\arXiv{1811.08338}{cs.LO}}
}

@inproceedings{bonchi2018rewritemodulo,
  title = {Rewriting with Frobenius},
  author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe\l{} Soboci\'{n}ski, Fabio Zanasi},
  booktitle = {Proceedings of the 32nd Annual ACM/IEEE symposium on Logic in Computer Science (LICS)},
  year = {2018}
}

@inproceedings{backens2018zh,
  title = {ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity},
  author = {Miriam Backens and Aleks Kissinger},
  booktitle = {Proceedings of the 15th Annual conference in Quantum Physics and Logic (QPL)},
  year = {2018},
  eprint = {\arXiv{1805.02175}{quant-ph}}
}

@inproceedings{kissinger2017causalstructure,
  title = {A categorical semantics for causal structure},
  author = {Aleks Kissinger and Sander Uijlen},
  booktitle = {Proceedings of the 32nd Annual ACM/IEEE symposium on Logic in Computer Science (LICS)},
  year = {2017},
  eprint = {\arXiv{1701.04732}{quant-ph}}
}

@inproceedings{bonchi2017rewriteconf,
  title = {Confluence of graph rewriting with interfaces},
  author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe\l{} Soboci\'{n}ski, Fabio Zanasi},
  booktitle = {Proceedings of the 26th European Symposium on Programming (ESOP)},
  year = {2017}
}

@inproceedings{bonchi2016rewritesmc,
  title = {Rewriting modulo symmetric monoidal structure},
  author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe\l{} Soboci\'{n}ski, Fabio Zanasi},
  booktitle = {Proceedings of the 31st Annual ACM/IEEE symposium on Logic in Computer Science (LICS)},
  year = {2016},
  eprint = {\arXiv{1602.06771}{math.CT}}
}

@inproceedings{kissinger2017indef,
  title = {Picturing Indefinite Causal Structure},
  author = {Aleks Kissinger and Sander Uijlen},
  booktitle = {Proceedings of the 13th Annual conference in Quantum Physics and Logic (QPL).},
  year = {2016},
  eprint = {\arXiv{1701.00659}{cs.OH}}
}

@inproceedings{globular,
  title = {Globular: an online proof assistant for higher-dimensional rewriting},
  author = {Krzysztof Bar and Aleks Kissinger and Jamie Vicary},
  booktitle = {Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD)},
  year = {2016},
  eprint = {\arXiv{1612.01093}{cs.LO}}
}

@article{coecke2015cqm2,
  title = {Categorical Quantum Mechanics II: Classical-Quantum Interaction},
  author = {Bob Coecke and Aleks Kissinger},
  journal = {International Jounal of Quantum Information},
  volume = {14},
  number = {4},
  publisher = {World Scientific},
  year = {2016},
  eprint = {\arXiv{1605.08617}{quant-ph}}
}

@incollection{coecke2015cqm1,
  title = {Categorical Quantum Mechanics I: Causal Quantum Processes},
  author = {Bob Coecke and Aleks Kissinger},
  booktitle = {Categories for the Working Philosopher},
  publisher = {Oxford University Press},
  year = {2016},
  eprint = {\arXiv{1510.05468}{quant-ph}}
}

@incollection{coecke2016generalised,
  title = {Generalised Compositional Theories and Diagrammatic Reasoning},
  author = {Bob Coecke and Ross Duncan and Aleks Kissinger and and Quanlong Wang},
  booktitle = {Quantum Theory: Informational Foundations and Foils},
  publisher = {Springer},
  series = {Fundamental Theories of Physics},
  volume = {181},
  year = {2016},
  eprint = {\arXiv{1506.03632}{quant-ph}}
}

@inproceedings{kissinger2015noncomjournal,
  title = {Tensors, !-graphs, and non-commutative quantum structures (extended version)},
  author = {Aleks Kissinger and David Quick},
  booktitle = {Next Generation Computing 34(1). Springer/Ohmsha},
  year = {2016},
  eprint = {\arXiv{1503.01348}{math.CT}}
}

@inproceedings{kissinger2015banglogic,
  title = {A first-order logic for string diagrams},
  author = {Aleks Kissinger and David Quick},
  booktitle = {Proceedings of the 6th Conference on Algebra and Coalgebra (CALCO)},
  year = {2015},
  eprint = {\arXiv{1505.00343}{math.CT}}
}

@inproceedings{kissinger2015cfequations,
  title = {Equational reasoning with context-free families of string diagrams},
  author = {Aleks Kissinger and Vladimir Zamdzhiev},
  booktitle = {Proceedings of the International Conference on Graph Transformation (ICGT)},
  year = {2015},
  eprint = {\arXiv{1504.02716}{cs.LO}}
}

@inproceedings{quantomatic,
  title = {Quantomatic: A proof assistant for diagrammatic reasoning},
  author = {Aleks Kissinger and Vladimir Zamdzhiev},
  booktitle = {Proceedings of the 25th International Conference on Automated Deduction (CADE)},
  year = {2015},
  eprint = {\arXiv{1503.01034}{cs.LO}}
}

@inproceedings{kssinger2015cfbangbox,
  title = {!-Graphs with trivial overlap are context-free},
  author = {Aleks Kissinger and Vladimir Zamdzhiev},
  booktitle = {Proceedings of Graphs as Models (GaM), workshop at ETAPS},
  year = {2015},
  eprint = {\arXiv{1501.06059}{cs.LO}}
}

@inproceedings{kissinger2014noncom,
  title = {Tensors, !-graphs, and non-commutative quantum structures},
  author = {Aleks Kissinger and David Quick},
  booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic (QPL)},
  year = {2014},
  eprint = {\arXiv{1412.8552}{cs.LO}}
}

@inproceedings{grov2014tinker,
  title = {Tinker, Tailor, Solver, Proof},
  author = {Gudmund Grov and Aleks Kissinger and and Yuhui Lin},
  booktitle = {Proceedings of User Interfaces for Theorem Proving (UITP), workshop at FLoC, Vienna Summer of Logic},
  year = {2014},
  eprint = {\arXiv{1410.8217}{cs.LO}}
}

@inproceedings{coecke2014cpstarjournal,
  title = {Categories of Quantum and Classical Channels},
  author = {Bob Coecke and Chris Heunen and Aleks Kissinger},
  booktitle = {Quantum Information Processing,  Springer},
  year = {2014},
  eprint = {\arXiv{1305.3821}{quant-ph}}
}

@incollection{kissinger2013tensor,
  title = {Abstract Tensor Systems as Monoidal Categories},
  author = {Aleks Kissinger},
  booktitle = {Categories and Types in Logic, Language, and Physics, Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science (LNCS)},
  volume = {8222},
  year = {2013},
  eprint = {\arXiv{1308.3586}{math.CT}}
}

@incollection{coecke2013logic,
  author = {Bob Coecke and Chris Heunen and Aleks Kissinger},
  title = {Compositional Quantum Logic},
  booktitle = {Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science (LNCS)},
  volume = {7860},
  year = {2013},
  eprint = {\arXiv{1302.4900}{quant-ph}}
}

@inproceedings{heunen2013cpproj,
  title = {Completely Positive Projections and Biproducts},
  author = {Chris Heunen and Aleks Kissinger and Peter Selinger},
  booktitle = {Proceedings of the 10th workshop on Quantum Physics and Logic (QPL)},
  year = {2013},
  eprint = {\arXiv{1308.4557}{math.CT}}
}

@inproceedings{grov2013psgraph,
  title = {A Graphical Language for Proof Strategies},
  author = {Gudmund Grov and Aleks Kissinger and and Yuhui Lin},
  booktitle = {Proceedings of the 19th International Conference of Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {8312},
  year = {2013},
  eprint = {\arXiv{1302.6890}{cs.LO}}
}

@inproceedings{coecke2012cpstar,
  title = {Categories of Quantum and Classical Channels (extended abstract)},
  author = {Bob Coecke and Chris Heunen and Aleks Kissinger},
  booktitle = {Proceedings of the 9th workshop on Quantum Physics and Logic (QPL)},
  year = {2012},
  eprint = {\arXiv{1408.0049}{cs.LO}}
}

@inproceedings{merry2012bangbox,
  title = {Pattern Graph Rewrite Systems},
  author = {Alex Merry and Aleks Kissinger and Matvey Soloviev},
  booktitle = {Proceedings of the 8th workshop on Developments in Computational Models (DCM)},
  year = {2012},
  eprint = {\arXiv{1204.6695}{math.CT}}
}

@inproceedings{kissinger2012cosy,
  title = {Synthesising Graphical Theories},
  author = {Aleks Kissinger},
  booktitle = {Proceedings of the workshop on Automated Theory eXploration (ATX)},
  year = {2012},
  eprint = {\arXiv{1202.6079}{cs.AI}}
}

@inproceedings{coecke2012strongcomp,
  title = {Strong Complementarity and Non-locality in Categorical Quantum Mechanics},
  author = {Bob Coecke and Ross Duncan and Aleks Kissinger and Quanlong Wang},
  booktitle = {Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  year = {2012},
  eprint = {\arXiv{1203.4988}{quant-ph}}
}

@inproceedings{coecke2010rational,
  title = {The GHZ/W-Calculus Contains Rational Arithmetic},
  author = {Bob Coecke and Aleks Kissinger and Alex Merry and and Shibdas Roy},
  booktitle = {Proceedings of the CSR Workshop on High Productivity Computations},
  year = {2010},
  eprint = {\arXiv{1103.2812}{cs.LO}}
}

@inproceedings{coecke2010ghzw,
  title = {The Compositional Structure of Multipartite Quantum Entanglement},
  author = {Bob Coecke and Aleks Kissinger},
  booktitle = {Proceedings of the 37th International Colloquium on Automata, Languages, and Programming (ICALP)},
  year = {2010},
  publisher = {Springer},
  series = {LNCS/ARCoSS},
  volume = {6199},
  eprint = {\arXiv{1002.2540}{quant-ph}}
}

@article{dixon2010open2,
  title = {Open Graphs and Monoidal Theories},
  author = {Lucas Dixon and Aleks Kissinger},
  journal = {Mathematical Structures in Computer Science},
  year = {2010},
  volume = {23},
  number = {sp. issue 2},
  eprint = {\arXiv{1011.4114}{math.CT}}
}

@inproceedings{dixon2010open1,
  title = {Open Graphs and Computational Reasoning},
  author = {Lucas Dixon and Ross Duncan and and Aleks Kissinger},
  booktitle = {Proceedings of the 6th workshop on Developments in Computational Models},
  year = {2010},
  series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
  volume = {26},
  eprint = {\arXiv{1007.3794}{cs.LO}}
}

@inproceedings{kissinger2019explore,
  title = {Exploring a Quantum Theory with Graph Rewriting and Computer Algebra},
  author = {Aleks Kissinger},
  booktitle = {Proceedings of Calculemus},
  year = {2009},
  publisher = {Springer},
  series = {LNCS/LNAI},
  volume = {5625}
}