Aleks Kissinger : Publications

Book chapters

• [1]

  Generalised Compositional Theories and Diagrammatic Reasoning

  Bob Coecke‚ Ross Duncan‚ Aleks Kissinger and and Quanlong Wang

  In Quantum Theory: Informational Foundations and Foils. Vol. 181 of Fundamental Theories of Physics. Springer. 2016.

  Details about Generalised Compositional Theories and Diagrammatic Reasoning | BibTeX data for Generalised Compositional Theories and Diagrammatic Reasoning

• [2]

  Categorical Quantum Mechanics I: Causal Quantum Processes

  Bob Coecke and Aleks Kissinger

  In Categories for the Working Philosopher. Oxford University Press. 2016.

  Details about Categorical Quantum Mechanics I: Causal Quantum Processes | BibTeX data for Categorical Quantum Mechanics I: Causal Quantum Processes

• [3]

  Compositional Quantum Logic

  Bob Coecke‚ Chris Heunen and Aleks Kissinger

  In Computation‚ Logic‚ Games‚ and Quantum Foundations: The Many Facets of Samson Abramsky. Vol. 7860 of Lecture Notes in Computer Science (LNCS). Springer. 2013.

  Details about Compositional Quantum Logic | BibTeX data for Compositional Quantum Logic

• [4]

  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. Vol. 8222 of Lecture Notes in Computer Science (LNCS). Springer. 2013.

  Details about Abstract Tensor Systems as Monoidal Categories | BibTeX data for Abstract Tensor Systems as Monoidal Categories

Journal papers

• [1]

  Universal MBQC with generalised parity−phase interactions and Pauli measurements

  Aleks Kissinger and John van de Wetering

  In Quantum. Vol. 3. Pages 134. 2019.

  Details about Universal MBQC with generalised parity−phase interactions and Pauli measurements | BibTeX data for Universal MBQC with generalised parity−phase interactions and Pauli measurements

• [2]

  A categorical semantics for causal structure (extended version)

  Aleks Kissinger and Sander Uijlen

  In Logical Methods in Computer Science (LMCS). Vol. 15. No. 3. 2019.

  Details about A categorical semantics for causal structure (extended version) | BibTeX data for A categorical semantics for causal structure (extended version)

• [3]

  Categorical Quantum Mechanics II: Classical−Quantum Interaction

  Bob Coecke and Aleks Kissinger

  In International Jounal of Quantum Information. Vol. 14. No. 4. 2016.

  Details about Categorical Quantum Mechanics II: Classical−Quantum Interaction | BibTeX data for Categorical Quantum Mechanics II: Classical−Quantum Interaction

• [4]

  Open Graphs and Monoidal Theories

  Lucas Dixon and Aleks Kissinger

  In Mathematical Structures in Computer Science. Vol. 23. No. sp. issue 2. 2010.

  Details about Open Graphs and Monoidal Theories | BibTeX data for Open Graphs and Monoidal Theories

Conference papers

• [1]

  A Graphical Calculus for Lagrangian Relations

  Cole Comfort and Aleks Kissinger

  2022.

  Details about A Graphical Calculus for Lagrangian Relations | BibTeX data for A Graphical Calculus for Lagrangian Relations | DOI (10.4204/eptcs.372.24) | Link to A Graphical Calculus for Lagrangian Relations

• [2]

  Causal Inference by String Diagram Surgery

  Bart Jacobs‚ Aleks Kissinger and Fabio Zanasi

  In Proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). 2019.

  Details about Causal Inference by String Diagram Surgery | BibTeX data for Causal Inference by String Diagram Surgery

• [3]

  ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non−linearity

  Miriam Backens and Aleks Kissinger

  In Proceedings of the 15th Annual conference in Quantum Physics and Logic (QPL). 2018.

  Details about ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non−linearity | BibTeX data for ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non−linearity

• [4]

  Rewriting with Frobenius

  Filippo Bonchi‚ Fabio Gadducci‚ Aleks Kissinger and Fabio Zanasi Pawełł Sobociński

  In Proceedings of the 32nd Annual ACM/IEEE symposium on Logic in Computer Science (LICS). 2018.

  Details about Rewriting with Frobenius | BibTeX data for Rewriting with Frobenius

• [5]

  Confluence of graph rewriting with interfaces

  Filippo Bonchi‚ Fabio Gadducci‚ Aleks Kissinger and Fabio Zanasi Pawełł Sobociński

  In Proceedings of the 26th European Symposium on Programming (ESOP). 2017.

  Details about Confluence of graph rewriting with interfaces | BibTeX data for Confluence of graph rewriting with interfaces

• [6]

  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.

  Details about A categorical semantics for causal structure | BibTeX data for A categorical semantics for causal structure

• [7]

  Tensors‚ !−graphs‚ and non−commutative quantum structures (extended version)

  Aleks Kissinger and David Quick

  In Next Generation Computing 34(1). Springer/Ohmsha. 2016.

  Details about Tensors‚ !−graphs‚ and non−commutative quantum structures (extended version) | BibTeX data for Tensors‚ !−graphs‚ and non−commutative quantum structures (extended version)

• [8]

  Globular: an online proof assistant for higher−dimensional rewriting

  Krzysztof Bar‚ Aleks Kissinger and Jamie Vicary

  In Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD). 2016.

  Details about Globular: an online proof assistant for higher−dimensional rewriting | BibTeX data for Globular: an online proof assistant for higher−dimensional rewriting

• [9]

  Picturing Indefinite Causal Structure

  Aleks Kissinger and Sander Uijlen

  In Proceedings of the 13th Annual conference in Quantum Physics and Logic (QPL).. 2016.

  Details about Picturing Indefinite Causal Structure | BibTeX data for Picturing Indefinite Causal Structure

• [10]

  Rewriting modulo symmetric monoidal structure

  Filippo Bonchi‚ Fabio Gadducci‚ Aleks Kissinger and Fabio Zanasi Pawełł Sobociński

  In Proceedings of the 31st Annual ACM/IEEE symposium on Logic in Computer Science (LICS). 2016.

  Details about Rewriting modulo symmetric monoidal structure | BibTeX data for Rewriting modulo symmetric monoidal structure

• [11]

  !−Graphs with trivial overlap are context−free

  Aleks Kissinger and Vladimir Zamdzhiev

  In Proceedings of Graphs as Models (GaM)‚ workshop at ETAPS. 2015.

  Details about !−Graphs with trivial overlap are context−free | BibTeX data for !−Graphs with trivial overlap are context−free

• [12]

  Quantomatic: A proof assistant for diagrammatic reasoning

  Aleks Kissinger and Vladimir Zamdzhiev

  In Proceedings of the 25th International Conference on Automated Deduction (CADE). 2015.

  Details about Quantomatic: A proof assistant for diagrammatic reasoning | BibTeX data for Quantomatic: A proof assistant for diagrammatic reasoning

• [13]

  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.

  Details about Equational reasoning with context−free families of string diagrams | BibTeX data for Equational reasoning with context−free families of string diagrams

• [14]

  A first−order logic for string diagrams

  Aleks Kissinger and David Quick

  In Proceedings of the 6th Conference on Algebra and Coalgebra (CALCO). 2015.

  Details about A first−order logic for string diagrams | BibTeX data for A first−order logic for string diagrams

• [15]

  Categories of Quantum and Classical Channels

  Bob Coecke‚ Chris Heunen and Aleks Kissinger

  In Quantum Information Processing‚ Springer. 2014.

  Details about Categories of Quantum and Classical Channels | BibTeX data for Categories of Quantum and Classical Channels

• [16]

  Tinker‚ Tailor‚ Solver‚ Proof

  Gudmund Grov‚ Aleks Kissinger and and Yuhui Lin

  In Proceedings of User Interfaces for Theorem Proving (UITP)‚ workshop at FLoC‚ Vienna Summer of Logic. 2014.

  Details about Tinker‚ Tailor‚ Solver‚ Proof | BibTeX data for Tinker‚ Tailor‚ Solver‚ Proof

• [17]

  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.

  Details about Tensors‚ !−graphs‚ and non−commutative quantum structures | BibTeX data for Tensors‚ !−graphs‚ and non−commutative quantum structures

• [18]

  A Graphical Language for Proof Strategies

  Gudmund Grov‚ Aleks Kissinger and and Yuhui Lin

  In Proceedings of the 19th International Conference of Logic for Programming‚ Artificial Intelligence‚ and Reasoning (LPAR). Vol. 8312 of Lecture Notes in Computer Science. Springer. 2013.

  Details about A Graphical Language for Proof Strategies | BibTeX data for A Graphical Language for Proof Strategies

• [19]

  Completely Positive Projections and Biproducts

  Chris Heunen‚ Aleks Kissinger and Peter Selinger

  In Proceedings of the 10th workshop on Quantum Physics and Logic (QPL). 2013.

  Details about Completely Positive Projections and Biproducts | BibTeX data for Completely Positive Projections and Biproducts

• [20]

  Strong Complementarity and Non−locality in Categorical Quantum Mechanics

  Bob Coecke‚ Ross Duncan‚ Aleks Kissinger and Quanlong Wang

  In Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). 2012.

  Details about Strong Complementarity and Non−locality in Categorical Quantum Mechanics | BibTeX data for Strong Complementarity and Non−locality in Categorical Quantum Mechanics

• [21]

  Synthesising Graphical Theories

  Aleks Kissinger

  In Proceedings of the workshop on Automated Theory eXploration (ATX). 2012.

  Details about Synthesising Graphical Theories | BibTeX data for Synthesising Graphical Theories

• [22]

  Pattern Graph Rewrite Systems

  Alex Merry‚ Aleks Kissinger and Matvey Soloviev

  In Proceedings of the 8th workshop on Developments in Computational Models (DCM). 2012.

  Details about Pattern Graph Rewrite Systems | BibTeX data for Pattern Graph Rewrite Systems

• [23]

  Categories of Quantum and Classical Channels (extended abstract)

  Bob Coecke‚ Chris Heunen and Aleks Kissinger

  In Proceedings of the 9th workshop on Quantum Physics and Logic (QPL). 2012.

  Details about Categories of Quantum and Classical Channels (extended abstract) | BibTeX data for Categories of Quantum and Classical Channels (extended abstract)

• [24]

  Open Graphs and Computational Reasoning

  Lucas Dixon‚ Ross Duncan and and Aleks Kissinger

  In Proceedings of the 6th workshop on Developments in Computational Models. Vol. 26 of Electronic Proceedings in Theoretical Computer Science (EPTCS). 2010.

  Details about Open Graphs and Computational Reasoning | BibTeX data for Open Graphs and Computational Reasoning

• [25]

  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). Vol. 6199 of LNCS/ARCoSS. Springer. 2010.

  Details about The Compositional Structure of Multipartite Quantum Entanglement | BibTeX data for The Compositional Structure of Multipartite Quantum Entanglement

• [26]

  The GHZ/W−Calculus Contains Rational Arithmetic

  Bob Coecke‚ Aleks Kissinger‚ Alex Merry and and Shibdas Roy

  In Proceedings of the CSR Workshop on High Productivity Computations. 2010.

  Details about The GHZ/W−Calculus Contains Rational Arithmetic | BibTeX data for The GHZ/W−Calculus Contains Rational Arithmetic

• [27]

  Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

  Aleks Kissinger

  In Proceedings of Calculemus. Vol. 5625 of LNCS/LNAI. Springer. 2009.

  Details about Exploring a Quantum Theory with Graph Rewriting and Computer Algebra | BibTeX data for Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

Theses

• [1]

  Graph Rewrite Systems for Classical Structures in Dagger−Symmetric Monoidal Categories

  Aleks Kissinger

  Master's Thesis Oxford University. 2008.

  Details about Graph Rewrite Systems for Classical Structures in Dagger−Symmetric Monoidal Categories | BibTeX data for Graph Rewrite Systems for Classical Structures in Dagger−Symmetric Monoidal Categories

Miscellaneous

• [1]

  Tensor Network Rewriting Strategies for Satisfiability and Counting

  Niel de Beaudrap‚ Aleks Kissinger and Konstantinos Meichanetzidis

  2020.

  Details about Tensor Network Rewriting Strategies for Satisfiability and Counting | BibTeX data for Tensor Network Rewriting Strategies for Satisfiability and Counting | Link to Tensor Network Rewriting Strategies for Satisfiability and Counting

• [2]

  Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing

  A. Kissinger

  2012.

  DPhil Thesis‚ Oxford University

  Details about Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing | BibTeX data for Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing