Aleks Kissinger : Publications
-
[1]
!−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
-
[2]
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
-
[3]
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
-
[4]
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
-
[5]
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)
-
[6]
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
-
[7]
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
-
[8]
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
-
[9]
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
-
[10]
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
-
[11]
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)
-
[12]
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
-
[13]
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
-
[14]
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
-
[15]
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
-
[16]
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
-
[17]
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
-
[18]
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
-
[19]
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
-
[20]
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
-
[21]
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
-
[22]
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
-
[23]
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
-
[24]
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
-
[25]
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
-
[26]
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
-
[27]
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
-
[28]
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
-
[29]
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
-
[30]
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
-
[31]
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
-
[32]
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
-
[33]
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)
-
[34]
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
-
[35]
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
-
[36]
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
-
[37]
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
-
[38]
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