Skip to main content

Aleks Kissinger

« go back

Publications

The following is a list of all of my publications, ordered by year, along with links to published versions and arXiv preprint, where available. Some open-access publications (e.g. EPTCS) publish directly via arXiv, in which case a single link is provided.

Citations for most papers below are also available as bibtex.

2020

  • Hypergraph simplification: Linking the path-sum approach to the ZH-calculus. Louis Lemonnier, Aleks Kissinger and John van de Wetering. In proceedings of the 17th International Conference on Quantum Physics and Logic (QPL). to appear | arXiv
  • Tensor Network Rewriting Strategies for Satisfiability and Counting. Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis. In proceedings of the 17th International Conference on Quantum Physics and Logic (QPL). to appear | arXiv

2019

  • A categorical semantics for causal structure (journal version). Aleks Kissinger, Sander Uijlen. Logical Methods in Computer Science (LMCS) Vol. 15 (3). published version | arXiv
  • Graphical Fourier Theory and the Cost of Quantum Addition. Stach Kuijpers, John van de Wetering, Aleks Kissinger. arXiv
  • PyZX: Large Scale Automated Diagrammatic Reasoning. Aleks Kissinger, John van de Wetering. In proceedings of the 16th International Conference on Quantum Physics and Logic (QPL). arXiv
  • CNOT circuit extraction for topologically-constrained quantum memories. Aleks Kissinger, Arianne Meijer-van de Griend. arXiv
  • Reducing T-count with the ZX-calculus. Aleks Kissinger, John van de Wetering. arXiv
  • Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering. arXiv
  • Universal MBQC with generalised parity-phase interactions and Pauli measurements. Aleks Kissinger and John van de Wetering. Quantum 3, 134. Quantum page | arXiv
  • Causal Inference by String Diagram Surgery. Bart Jacobs, Aleks Kissinger, Fabio Zanasi. In proceedings of the International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2019). published version | arXiv

2018

  • ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. Miriam Backens, Aleks Kissinger. In proceedings of the 15th Annual Conference of Quantum Physics and Logic (QPL). To appear. arXiv
  • Rewriting with Frobenius. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi. In proceedings of the 33rd Annual ACM/IEEE symposium on Logic in Computer Science (LICS). To appear.
  • Globular: an online proof assistant for higher-dimensional rewriting (journal version). Krzysztof Bar, Aleks Kissinger, Jamie Vicary. Logical Methods in Computer Science (LMCS) Vol. 14(1:8). published version

2017

  • Picture-perfect Quantum Key Distribution. Aleks Kissinger, Sean Tull, and Bas Westerbaan. arXiv
  • Equivalence of relativistic causal structure and process terminality. Bob Coecke, Matty Hoban, and Aleks Kissinger. arXiv
  • Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem. Stefano Gogioso and Aleks Kissinger. arXiv
  • A categorical semantics for causal structure. Aleks Kissinger and Sander Uijlen. In proceedings of the 32nd Annual ACM/IEEE symposium on Logic in Computer Science (LICS) 2017. published version
  • Confluence of graph rewriting with interfaces. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi. In proceedings of the 26th European Symposium on Programming (ESOP) 2017. published version
  • Picturing Quantum Processes: A first course in quantum theory and diagrammatic reasoning. Bob Coecke and Aleks Kissinger. Cambridge University Press. 2017. official website

2016

  • Picturing Indefinite Causal Structure. Aleks Kissinger, Sander Uijlen. In proceedings of the 13th conference on Quantum Physics and Logic (QPL). published version (EPTCS)
  • Rewriting modulo symmetric monoidal structure. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi. In proceedings of the 31st Annual ACM/IEEE symposium on Logic in Computer Science (LICS) 2016. published version | arXiv
  • Globular: an online proof assistant for higher-dimensional rewriting. Krzysztof Bar, Aleks Kissinger, Jamie Vicary. In proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD) 2016. published version | arXiv
  • Tensors, !-graphs, and non-commutative quantum structures (extended version). Aleks Kissinger and David Quick. Next Generation Computing 34(1). Springer/Ohmsha 2016. published version | arXiv
  • Categorical Quantum Mechanics II: Classical-Quantum Interaction. Bob Coecke and Aleks Kissinger. In International Jounal of Quantum Information. Vol. 14, Issue 4. World Scientific 2016. published version | arXiv
  • Categorical Quantum Mechanics I: Causal Quantum Processes. Bob Coecke and Aleks Kissinger. In Categories for the Working Philosopher. Oxford University Press arXiv

2015

  • Generalised Compositional Theories and Diagrammatic Reasoning. Bob Coecke, Ross Duncan, Aleks Kissinger, and Quanlong Wang. In Quantum Theory: Informational Foundations and Foils. Springer Fundamental Theories of Physics vol. 181. 2015. published version | arXiv
  • A first-order logic for string diagrams. Aleks Kissinger and David Quick. In proceedings of the 6th Conference on Algebra and Coalgebra (CALCO) 2015. published version | arXiv
  • Equational reasoning with context-free families of string diagrams. Aleks Kissinger and Vladimir Zamdzhiev. In proceedings of the International Conference on Graph Transformation (ICGT) 2015. published version | arXiv
  • Quantomatic: A proof assistant for diagrammatic reasoning. Aleks Kissinger and Vladimir Zamdzhiev. In proceedings of the 25th International Conference on Automated Deduction (CADE) 2015. published version | arXiv
  • !-Graphs with trivial overlap are context-free. Aleks Kissinger and Vladimir Zamdzhiev. In proceedings of Graphs as Models (GaM), workshop at ETAPS, 2015. published version (EPTCS)

2014

  • Tensors, !-graphs, and non-commutative quantum structures. Aleks Kissinger and David Quick. In proceedings of the 11th workshop on Quantum Physics and Logic (QPL) 2014. published version (EPTCS)
  • Tinker, Tailor, Solver, Proof. Gudmund Grov, Aleks Kissinger, and Yuhui Lin. In proceedings of User Interfaces for Theorem Proving (UITP), workshop at FLoC, Vienna Summer of Logic, 2014. published version (EPTCS)
  • Categories of Quantum and Classical Channels. Bob Coecke, Chris Heunen, Aleks Kissinger. Quantum Information Processing, Springer 2014. published version | arXiv

2013

  • A Graphical Language for Proof Strategies. Gudmund Grov, Aleks Kissinger, and Yuhui Lin. In proceedings of the 19th International Conference of Logic for Programming, Artificial Intelligence, and Reasoning (LPAR). Springer LNCS 8312. 2013. published version | arXiv
  • Completely Positive Projections and Biproducts. Chris Heunen, Aleks Kissinger, Peter Selinger. In proceedings of the 10th workshop on Quantum Physics and Logic (QPL) 2013. published version (EPTCS)
  • Abstract Tensor Systems as Monoidal Categories. Aleks Kissinger. In Categories and Types in Logic, Language, and Physics, Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday. Springer LNCS 8222. 2013. published version | arXiv
  • Compositional Quantum Logic. Bob Coecke, Chris Heunen, Aleks Kissinger. In Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky. Springer LNCS 7860. 2013. published version | arXiv

2012

  • Categories of Quantum and Classical Channels (extended abstract). Bob Coecke, Chris Heunen, Aleks Kissinger. In proceedings of the 9th workshop on Quantum Physics and Logic (QPL) 2012. published version (EPTCS)
  • Pattern Graph Rewrite Systems. Alex Merry, Aleks Kissinger, Matvey Soloviev. In proceedings of the 8th workshop on Developments in Computational Models (DCM) 2012. published version (EPTCS)
  • Synthesising Graphical Theories. Aleks Kissinger. In proceedings of the workshop on Automated Theory eXploration (ATX) 2012. published version | arXiv
  • Strong Complementarity and Non-locality in Categorical Quantum Mechanics. Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang. In proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2012. published version | arXiv
  • PHD THESIS: Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing. arXiv

Before 2011

  • The GHZ/W-Calculus Contains Rational Arithmetic. Bob Coecke, Aleks Kissinger, Alex Merry, and Shibdas Roy. In proceedings CSR 2010 Workshop on High Productivity Computations. published version (EPTCS)
  • The Compositional Structure of Multipartite Quantum Entanglement. Bob Coecke and Aleks Kissinger. In proceedings of the 37th International Colloquium on Automata, Languages, and Programming (ICALP) 2010. Springer LNCS/ARCoSS 6199. published version | arXiv
  • Open Graphs and Monoidal Theories. Lucas Dixon, Aleks Kissinger. Mathematical Structures in Computer Science, Vol 23 (Sp. Issue 2) pp. 308-359. published version | arXiv
  • Open Graphs and Computational Reasoning. Lucas Dixon, Ross Duncan, and Aleks Kissinger. In proceedings of the 6th workshop on Developments in Computational Models, 2010. EPTCS 26. published version (EPTCS)
  • Exploring a Quantum Theory with Graph Rewriting and Computer Algebra. In proceedings of Calculemus 2009. Springer LNCS/LNAI 5625. published version

Talks

Below is a (partial) list of some talks I've given in the past years, along with slides.

  • Quantum Circuits: From Structure to Software. Quantum Natural Language Processing: Embracing the NISQ ERA. slides | slides (shorter) | YouTube
  • Picturing (and Rewriting) Quantum Processes. 11th International School on Rewriting, Paris, 1-6 July 2019. part 1 | part 2
  • A categorical semantics for causal structure. Categories Logic and Physics Scotland (CLAPS) 2017. Edinburgh. slides | YouTube
  • Simplification by Rotation for Frobenius/Hopf algebras. First international workshop on string diagrams (STRING) 2017. Oxford slides
  • Picturing Quantum Processes. European Summary School on Logic, Language, and Information. Toulouse 2017. slides | more slides
  • Algebraic (and Diagrammatic) Structures in Quantum Theory. QuSoft Showcase, CWI Amsterdam 2016. slides
  • Keynote lecture: Process Theories and Graphical Language. Biennial IQSA Conference on Quantum Structures, Leicester 2016. slides
  • Tutorial: Process Theories and Graphical Language. QPL 2016. slides
  • Quantum teleportation, diagrams, and the one-time pad. Radboud 2016. slides
  • An Introduction to Globular. Foundational Structures in Computation and Deduction, Porto 2016. slides
  • Quantum Picturalism. Quantum Foundations, London 2016. slides
  • Picturing Quantum Processes. Quantum Theory, Foundations, and Technologies (QTFT). Vaxjo, Sweden 2015. slides
  • Picturing Quantum Entanglement in Measurement-based Quantum Computation. Oxford 2015. slides
  • Diagrammatic Reasoning and Quantum Computation. Applications of Computer Algebra (ACA), Kalamata, Greece. 2015. slides
  • Picturing Even More Quantum Processes. QICS Spring School, Oxford 2014. part 2 | part 3
  • New reasoning techniques for monoidal algebra. Theory Group seminar, Queen Mary 2014. slides
  • Interactive Proof for Diagrammatic Languages. A Conference in Honour of Samson Abramsky, on the event of his 60th Birthday (SamsonFest). Oxford, UK 2013. slides
  • Pictures of non-locality in quantum mechanics. LICS 2012. slides
  • The CP*-construction: A Category of Classical and Quantum Channels. QPL, Brussels 2012. slides

Updated 23 May, 2020.