Aleks Kissinger

According to our database, Aleks Kissinger authored at least 57 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A complete logic for causal consistency.

Will Simmons, Aleks Kissinger

CoRR, 2024

2023

Global Synthesis of CNOT Circuits with Holes.

Ewan Murphy, Aleks Kissinger

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Graphical CSS Code Transformation Using ZX Calculus.

Jiaxin Huang, Sarah Meng Li, Lia Yeh, Aleks Kissinger, Michele Mosca, Michael Vasmer

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Quantum Picturalism: Learning Quantum Theory in High School.

Selma Dündar-Coecke, Lia Yeh, Caterina Puca, Sieglinde M.-L. Pfaendler, Muhammad Hamza Waseem, Thomas Cervoni, Aleks Kissinger, Stefano Gogioso, Bob Coecke

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2022

String diagram rewrite theory III: Confluence with and without Frobenius.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Math. Struct. Comput. Sci., August, 2022

String diagram rewrite theory II: Rewriting with symmetric monoidal structure.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Math. Struct. Comput. Sci., April, 2022

Kindergarden quantum mechanics graduates <i>...or how I learned to stop gluing LEGO together and love the ZX-calculus</i>.

Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang

Theor. Comput. Sci., 2022

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

J. ACM, 2022

The CBH characterisation theorem beyond algebraic quantum theory.

Chris Heunen, Aleks Kissinger

Inf. Comput., 2022

Identification of Causal Influences in Quantum Processes.

Isaac Friend, Aleks Kissinger

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions.

Aleks Kissinger, John van de Wetering, Renaud Vilmart

Proceedings of the 17th Conference on the Theory of Quantum Computation, 2022

Higher-Order Causal Theories Are Models of BV-Logic.

Will Simmons, Aleks Kissinger

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

Circuit Extraction for ZX-Diagrams Can Be #P-Hard.

Niel de Beaudrap, Aleks Kissinger, John van de Wetering

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021

Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals.

Bart Jacobs, Aleks Kissinger, Fabio Zanasi

Math. Struct. Comput. Sci., 2021

A Graphical Calculus for Lagrangian Relations.

Cole Comfort, Aleks Kissinger

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus).

Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang

CoRR, 2021

2020

Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus.

Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering

Quantum, 2020

CNOT circuit extraction for topologically-constrained quantum memories.

Aleks Kissinger, Arianne Meijer-van de Griend

Quantum Inf. Comput., 2020

Tensor Network Rewriting Strategies for Satisfiability and Counting.

Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus.

Louis Lemonnier, John van de Wetering, Aleks Kissinger

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

2019

A categorical semantics for causal structure.

Aleks Kissinger, Sander Uijlen

Log. Methods Comput. Sci., 2019

PyZX: Large Scale Automated Diagrammatic Reasoning.

Aleks Kissinger, John van de Wetering

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

Causal Inference by String Diagram Surgery.

Bart Jacobs, Aleks Kissinger, Fabio Zanasi

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Globular: an online proof assistant for higher-dimensional rewriting.

Krzysztof Bar, Aleks Kissinger, Jamie Vicary

Log. Methods Comput. Sci., 2018

Diagram Transformations Give a New Handle on Quantum Circuits and Foundations.

Aleks Kissinger

ERCIM News, 2018

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

Miriam Backens, Aleks Kissinger

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

Rewriting with Frobenius.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning.

Bob Coecke, Aleks Kissinger

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

Confluence of Graph Rewriting with Interfaces.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Proceedings of the Programming Languages and Systems, 2017

Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning

Bob Coecke, Aleks Kissinger

Cambridge University Press, ISBN: 9781316219317, 2017

2016

Categories of quantum and classical channels.

Bob Coecke, Chris Heunen, Aleks Kissinger

Quantum Inf. Process., 2016

Tensors, !-graphs, and Non-commutative Quantum Structures.

Aleks Kissinger, David Quick

New Gener. Comput., 2016

Picturing Indefinite Causal Structure.

Aleks Kissinger, Sander Uijlen

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

Can quantum theory be characterized in information-theoretic terms?

Chris Heunen, Aleks Kissinger

CoRR, 2016

Rewriting modulo symmetric monoidal structure.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

!-graphs with trivial overlap are context-free.

Aleks Kissinger, Vladimir Zamdzhiev

Proceedings of the Proceedings Graphs as Models, 2015

Tensors, !-graphs, and non-commutative quantum structures (extended version).

Aleks Kissinger, David Quick

CoRR, 2015

Equational Reasoning with Context-Free Families of String Diagrams.

Aleks Kissinger, Vladimir Zamdzhiev

Proceedings of the Graph Transformation - 8th International Conference, 2015

A First-order Logic for String Diagrams.

Aleks Kissinger, David Quick

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Quantomatic: A Proof Assistant for Diagrammatic Reasoning.

Aleks Kissinger, Vladimir Zamdzhiev

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Tinker, tailor, solver, proof.

Gudmund Grov, Aleks Kissinger, Yuhui Lin

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

Abstract Tensor Systems as Monoidal Categories.

Aleks Kissinger

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2013

Open-graphs and monoidal theories.

Lucas Dixon, Aleks Kissinger

Math. Struct. Comput. Sci., 2013

Completely positive projections and biproducts.

Chris Heunen, Aleks Kissinger, Peter Selinger

Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013

A Graphical Language for Proof Strategies

Gudmund Grov, Aleks Kissinger

CoRR, 2013

A Graphical Language for Proof Strategies.

Gudmund Grov, Aleks Kissinger, Yuhui Lin

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Compositional Quantum Logic.

Bob Coecke, Chris Heunen, Aleks Kissinger

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Pattern Graph Rewrite Systems

Aleks Kissinger, Alex Merry, Matvey Soloviev

Proceedings of the Proceedings 8th International Workshop on Developments in Computational Models, 2012

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

Aleks Kissinger

CoRR, 2012

Categories of Quantum and Classical Channels (extended abstract).

Bob Coecke, Chris Heunen, Aleks Kissinger

Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012

Strong Complementarity and Non-locality in Categorical Quantum Mechanics.

Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Synthesising Graphical Theories.

Aleks Kissinger

Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012

2011

Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing.

Aleks Kissinger

PhD thesis, 2011

2010

The GHZ/W-calculus contains rational arithmetic

Bob Coecke, Aleks Kissinger, Alex Merry, Shibdas Roy

Proceedings of the Proceedings CSR 2010 Workshop on High Productivity Computations, 2010

Open Graphs and Computational Reasoning

Lucas Dixon, Ross Duncan, Aleks Kissinger

Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010

The Compositional Structure of Multipartite Quantum Entanglement.

Bob Coecke, Aleks Kissinger

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

Exploring a Quantum Theory with Graph Rewriting and Computer Algebra.

Aleks Kissinger

Proceedings of the Intelligent Computer Mathematics, 2009