@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}
}