Aleks Kissinger : Publications

[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]
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

[3]
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

[4]
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)

[5]
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

[6]
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

[7]
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

[8]
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

[9]
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

[10]
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

[11]
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)

[12]
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

[13]
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

[14]
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

[15]
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

[16]
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

[17]
!−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

[18]
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

[19]
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

[20]
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

[21]
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

[22]
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

[23]
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

[24]
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

[25]
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

[26]
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

[27]
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

[28]
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

[29]
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

[30]
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

[31]
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)

[32]
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

[33]
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

[34]
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

[35]
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

[36]
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

[37]
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

[38]
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