@inproceedings{10.4204/eptcs.372.24,
  title = "A Graphical Calculus for Lagrangian Relations",
  author = "Cole Comfort and Aleks Kissinger",
  year = "2022",
  url = "https://arxiv.org/pdf/2105.06244",
  doi = "10.4204/eptcs.372.24",
}
@misc{beaudrap2020tensor,
  title = "Tensor Network Rewriting Strategies for Satisfiability and Counting",
  author = "Niel de Beaudrap and Aleks Kissinger and Konstantinos Meichanetzidis",
  year = "2020",
  url = "https://arxiv.org/abs/2004.06455",
}
@inproceedings{jacobs2019causalstrings,
  title = "Causal Inference by String Diagram Surgery",
  author = "Bart Jacobs and Aleks Kissinger and Fabio Zanasi",
  year = "2019",
  booktitle = "Proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)",
}
@article{kissinger2019mbqc,
  title = "Universal MBQC with generalised parity-phase interactions and Pauli measurements",
  author = "Aleks Kissinger and John van de Wetering",
  year = "2019",
  journal = "Quantum",
  pages = "134",
  volume = "3",
}
@article{kissinger2019causalstructurejournal,
  title = "A categorical semantics for causal structure (extended version)",
  author = "Aleks Kissinger and Sander Uijlen",
  year = "2019",
  journal = "Logical Methods in Computer Science (LMCS)",
  number = "3",
  publisher = "Springer",
  volume = "15",
}
@inproceedings{backens2018zh,
  title = "ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity",
  author = "Miriam Backens and Aleks Kissinger",
  year = "2018",
  booktitle = "Proceedings of the 15th Annual conference in Quantum Physics and Logic (QPL)",
}
@inproceedings{bonchi2018rewritemodulo,
  title = "Rewriting with Frobenius",
  author = "Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe\l{} Soboci\'{n}ski, Fabio Zanasi",
  year = "2018",
  booktitle = "Proceedings of the 32nd Annual ACM/IEEE symposium on Logic in Computer Science (LICS)",
}
@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",
  year = "2017",
  booktitle = "Proceedings of the 26th European Symposium on Programming (ESOP)",
}
@inproceedings{kissinger2017causalstructure,
  title = "A categorical semantics for causal structure",
  author = "Aleks Kissinger and Sander Uijlen",
  year = "2017",
  booktitle = "Proceedings of the 32nd Annual ACM/IEEE symposium on Logic in Computer Science (LICS)",
}
@incollection{coecke2016generalised,
  title = "Generalised Compositional Theories and Diagrammatic Reasoning",
  author = "Bob Coecke and Ross Duncan and Aleks Kissinger and and Quanlong Wang",
  year = "2016",
  booktitle = "Quantum Theory: Informational Foundations and Foils",
  publisher = "Springer",
  series = "Fundamental Theories of Physics",
  volume = "181",
}
@incollection{coecke2015cqm1,
  title = "Categorical Quantum Mechanics I: Causal Quantum Processes",
  author = "Bob Coecke and Aleks Kissinger",
  year = "2016",
  booktitle = "Categories for the Working Philosopher",
  publisher = "Oxford University Press",
}
@article{coecke2015cqm2,
  title = "Categorical Quantum Mechanics II: Classical-Quantum Interaction",
  author = "Bob Coecke and Aleks Kissinger",
  year = "2016",
  journal = "International Jounal of Quantum Information",
  number = "4",
  publisher = "World Scientific",
  volume = "14",
}
@inproceedings{kissinger2015noncomjournal,
  title = "Tensors, !-graphs, and non-commutative quantum structures (extended version)",
  author = "Aleks Kissinger and David Quick",
  year = "2016",
  booktitle = "Next Generation Computing 34(1). Springer/Ohmsha",
}
@inproceedings{globular,
  title = "Globular: an online proof assistant for higher-dimensional rewriting",
  author = "Krzysztof Bar and Aleks Kissinger and Jamie Vicary",
  year = "2016",
  booktitle = "Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD)",
}
@inproceedings{kissinger2017indef,
  title = "Picturing Indefinite Causal Structure",
  author = "Aleks Kissinger and Sander Uijlen",
  year = "2016",
  booktitle = "Proceedings of the 13th Annual conference in Quantum Physics and Logic (QPL).",
}
@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",
  year = "2016",
  booktitle = "Proceedings of the 31st Annual ACM/IEEE symposium on Logic in Computer Science (LICS)",
}
@inproceedings{kssinger2015cfbangbox,
  title = "!-Graphs with trivial overlap are context-free",
  author = "Aleks Kissinger and Vladimir Zamdzhiev",
  year = "2015",
  booktitle = "Proceedings of Graphs as Models (GaM), workshop at ETAPS",
}
@inproceedings{quantomatic,
  title = "Quantomatic: A proof assistant for diagrammatic reasoning",
  author = "Aleks Kissinger and Vladimir Zamdzhiev",
  year = "2015",
  booktitle = "Proceedings of the 25th International Conference on Automated Deduction (CADE)",
}
@inproceedings{kissinger2015cfequations,
  title = "Equational reasoning with context-free families of string diagrams",
  author = "Aleks Kissinger and Vladimir Zamdzhiev",
  year = "2015",
  booktitle = "Proceedings of the International Conference on Graph Transformation (ICGT)",
}
@inproceedings{kissinger2015banglogic,
  title = "A first-order logic for string diagrams",
  author = "Aleks Kissinger and David Quick",
  year = "2015",
  booktitle = "Proceedings of the 6th Conference on Algebra and Coalgebra (CALCO)",
}
@inproceedings{coecke2014cpstarjournal,
  title = "Categories of Quantum and Classical Channels",
  author = "Bob Coecke and Chris Heunen and Aleks Kissinger",
  year = "2014",
  booktitle = "Quantum Information Processing, Springer",
}
@inproceedings{grov2014tinker,
  title = "Tinker, Tailor, Solver, Proof",
  author = "Gudmund Grov and Aleks Kissinger and and Yuhui Lin",
  year = "2014",
  booktitle = "Proceedings of User Interfaces for Theorem Proving (UITP), workshop at FLoC, Vienna Summer of Logic",
}
@inproceedings{kissinger2014noncom,
  title = "Tensors, !-graphs, and non-commutative quantum structures",
  author = "Aleks Kissinger and David Quick",
  year = "2014",
  booktitle = "Proceedings of the 11th workshop on Quantum Physics and Logic (QPL)",
}
@incollection{coecke2013logic,
  title = "Compositional Quantum Logic",
  author = "Bob Coecke and Chris Heunen and Aleks Kissinger",
  year = "2013",
  booktitle = "Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science (LNCS)",
  volume = "7860",
}
@incollection{kissinger2013tensor,
  title = "Abstract Tensor Systems as Monoidal Categories",
  author = "Aleks Kissinger",
  year = "2013",
  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",
}
@inproceedings{grov2013psgraph,
  title = "A Graphical Language for Proof Strategies",
  author = "Gudmund Grov and Aleks Kissinger and and Yuhui Lin",
  year = "2013",
  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",
}
@inproceedings{heunen2013cpproj,
  title = "Completely Positive Projections and Biproducts",
  author = "Chris Heunen and Aleks Kissinger and Peter Selinger",
  year = "2013",
  booktitle = "Proceedings of the 10th workshop on Quantum Physics and Logic (QPL)",
}
@inproceedings{coecke2012strongcomp,
  title = "Strong Complementarity and Non-locality in Categorical Quantum Mechanics",
  author = "Bob Coecke and Ross Duncan and Aleks Kissinger and Quanlong Wang",
  year = "2012",
  booktitle = "Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)",
}
@inproceedings{kissinger2012cosy,
  title = "Synthesising Graphical Theories",
  author = "Aleks Kissinger",
  year = "2012",
  booktitle = "Proceedings of the workshop on Automated Theory eXploration (ATX)",
}
@inproceedings{merry2012bangbox,
  title = "Pattern Graph Rewrite Systems",
  author = "Alex Merry and Aleks Kissinger and Matvey Soloviev",
  year = "2012",
  booktitle = "Proceedings of the 8th workshop on Developments in Computational Models (DCM)",
}
@inproceedings{coecke2012cpstar,
  title = "Categories of Quantum and Classical Channels (extended abstract)",
  author = "Bob Coecke and Chris Heunen and Aleks Kissinger",
  year = "2012",
  booktitle = "Proceedings of the 9th workshop on Quantum Physics and Logic (QPL)",
}
@misc{AleksThesis,
  title = "Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing",
  author = "Kissinger, A.",
  year = "2012",
  note = "DPhil Thesis, Oxford University",
}
@inproceedings{dixon2010open1,
  title = "Open Graphs and Computational Reasoning",
  author = "Lucas Dixon and Ross Duncan and and Aleks Kissinger",
  year = "2010",
  booktitle = "Proceedings of the 6th workshop on Developments in Computational Models",
  series = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",
  volume = "26",
}
@article{dixon2010open2,
  title = "Open Graphs and Monoidal Theories",
  author = "Lucas Dixon and Aleks Kissinger",
  year = "2010",
  journal = "Mathematical Structures in Computer Science",
  number = "sp. issue 2",
  volume = "23",
}
@inproceedings{coecke2010ghzw,
  title = "The Compositional Structure of Multipartite Quantum Entanglement",
  author = "Bob Coecke and Aleks Kissinger",
  year = "2010",
  booktitle = "Proceedings of the 37th International Colloquium on Automata, Languages, and Programming (ICALP)",
  publisher = "Springer",
  series = "LNCS/ARCoSS",
  volume = "6199",
}
@inproceedings{coecke2010rational,
  title = "The GHZ/W-Calculus Contains Rational Arithmetic",
  author = "Bob Coecke and Aleks Kissinger and Alex Merry and and Shibdas Roy",
  year = "2010",
  booktitle = "Proceedings of the CSR Workshop on High Productivity Computations",
}
@inproceedings{kissinger2019explore,
  title = "Exploring a Quantum Theory with Graph Rewriting and Computer Algebra",
  author = "Aleks Kissinger",
  year = "2009",
  booktitle = "Proceedings of Calculemus",
  publisher = "Springer",
  series = "LNCS/LNAI",
  volume = "5625",
}
@mastersthesis{KissingerThesis2008,
  title = "Graph Rewrite Systems for Classical Structures in Dagger-Symmetric Monoidal Categories",
  author = "Aleks Kissinger",
  year = "2008",
  school = "Oxford University",
}