Aleks Kissinger

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 47

Top Venues

CoRR

QPL

Math. Struct. Comput. Sci.

LICS

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Will Simmons, Aleks Kissinger
A complete logic for causal consistency. CoRR (2024)
Jiaxin Huang, Sarah Meng Li, Lia Yeh, Aleks Kissinger, Michele Mosca, Michael Vasmer
Graphical CSS Code Transformation Using ZX Calculus. CoRR (2023)
Isaac Friend, Aleks Kissinger
Identification of Causal Influences in Quantum Processes. CoRR (2023)
Ewan Murphy, Aleks Kissinger
Global Synthesis of CNOT Circuits with Holes. CoRR (2023)
Selma Dündar-Coecke, Lia Yeh, Caterina Puca, Sieglinde M.-L. Pfaendler, Muhammad Hamza Waseem, Thomas Cervoni, Aleks Kissinger, Stefano Gogioso, Bob Coecke
Quantum Picturalism: Learning Quantum Theory in High School. QCE (2023)
James Hefford, Aleks Kissinger
On the Pre- and Promonoidal Structure of Spacetime. ACT (2022)
Aleks Kissinger, John van de Wetering, Renaud Vilmart
Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions. TQC (2022)
Niel de Beaudrap, Aleks Kissinger, John van de Wetering
Circuit Extraction for ZX-Diagrams Can Be #P-Hard. ICALP (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. 32 (7) (2022)
Will Simmons, Aleks Kissinger
Higher-Order Causal Theories Are Models of BV-Logic. MFCS (2022)
Chris Heunen, Aleks Kissinger
The CBH characterisation theorem beyond algebraic quantum theory. Inf. Comput. 285 (Part) (2022)
Will Simmons, Aleks Kissinger
Higher-order causal theories are models of BV-logic. CoRR (2022)
Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang
. Theor. Comput. Sci. 897 (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM 69 (2) (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. 32 (4) (2022)
Niel de Beaudrap, Aleks Kissinger, John van de Wetering
Circuit Extraction for ZX-diagrams can be #P-hard. CoRR (2022)
Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang
Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus). CoRR (2021)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR (2021)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR (2021)
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. Math. Struct. Comput. Sci. 31 (5) (2021)
Cole Comfort, Aleks Kissinger
A Graphical Calculus for Lagrangian Relations. CoRR (2021)
Aleks Kissinger, Arianne Meijer-van de Griend
CNOT circuit extraction for topologically-constrained quantum memories. Quantum Inf. Comput. 20 (7&8) (2020)
Louis Lemonnier, John van de Wetering, Aleks Kissinger
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. QPL (2020)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR (2020)
Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. Quantum 4 (2020)
Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis
Tensor Network Rewriting Strategies for Satisfiability and Counting. QPL (2020)
Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. CoRR (2019)
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
Causal Inference by String Diagram Surgery. FoSSaCS (2019)
Aleks Kissinger, John van de Wetering
PyZX: Large Scale Automated Diagrammatic Reasoning. QPL (2019)
Aleks Kissinger, Sander Uijlen
A categorical semantics for causal structure. Log. Methods Comput. Sci. 15 (3) (2019)
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
Globular: an online proof assistant for higher-dimensional rewriting. Log. Methods Comput. Sci. 14 (1) (2018)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting with Frobenius. LICS (2018)
Miriam Backens, Aleks Kissinger
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. QPL (2018)
Aleks Kissinger
Diagram Transformations Give a New Handle on Quantum Circuits and Foundations. ERCIM News 2018 (112) (2018)
Bob Coecke, Aleks Kissinger
Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning. Diagrams (2018)
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
Causal Inference by String Diagram Surgery. CoRR (2018)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Confluence of Graph Rewriting with Interfaces. ESOP (2017)
Aleks Kissinger, Sander Uijlen
A categorical semantics for causal structure. CoRR (2017)
Aleks Kissinger, Sander Uijlen
A categorical semantics for causal structure. LICS (2017)
Bob Coecke, Chris Heunen, Aleks Kissinger
Categories of quantum and classical channels. Quantum Inf. Process. 15 (12) (2016)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting modulo symmetric monoidal structure. CoRR (2016)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting modulo symmetric monoidal structure. LICS (2016)
Aleks Kissinger, David Quick
Tensors, !-graphs, and Non-commutative Quantum Structures. New Gener. Comput. 34 (1-2) (2016)
Aleks Kissinger, Sander Uijlen
Picturing Indefinite Causal Structure. QPL (2016)
Chris Heunen, Aleks Kissinger
Can quantum theory be characterized in information-theoretic terms? CoRR (2016)
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
Globular: An Online Proof Assistant for Higher-Dimensional Rewriting. FSCD (2016)
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
Globular: an online proof assistant for higher-dimensional rewriting. CoRR (2016)
Aleks Kissinger, David Quick
A First-order Logic for String Diagrams. CALCO (2015)
Aleks Kissinger, David Quick
A first-order logic for string diagrams. CoRR (2015)
Aleks Kissinger, Vladimir Zamdzhiev
Quantomatic: A proof assistant for diagrammatic reasoning. CoRR (2015)
Aleks Kissinger, David Quick
Tensors, !-graphs, and non-commutative quantum structures (extended version). CoRR (2015)
Aleks Kissinger, Vladimir Zamdzhiev
Quantomatic: A Proof Assistant for Diagrammatic Reasoning. CADE (2015)
Aleks Kissinger, Vladimir Zamdzhiev
Equational reasoning with context-free families of string diagrams. CoRR (2015)
Aleks Kissinger, Vladimir Zamdzhiev
!-graphs with trivial overlap are context-free. GaM (2015)
Aleks Kissinger, Vladimir Zamdzhiev
Equational Reasoning with Context-Free Families of String Diagrams. ICGT (2015)
Gudmund Grov, Aleks Kissinger, Yuhui Lin
Tinker, tailor, solver, proof. UITP (2014)
Aleks Kissinger, David Quick
Tensors, !-graphs, and non-commutative quantum structures. QPL (2014)
Aleks Kissinger
Abstract Tensor Systems as Monoidal Categories. Categories and Types in Logic, Language, and Physics (2014)
Chris Heunen, Aleks Kissinger, Peter Selinger
Completely positive projections and biproducts. QPL (2013)
Bob Coecke, Chris Heunen, Aleks Kissinger
Compositional Quantum Logic. Computation, Logic, Games, and Quantum Foundations (2013)
Lucas Dixon, Aleks Kissinger
Open-graphs and monoidal theories. Math. Struct. Comput. Sci. 23 (2) (2013)
Gudmund Grov, Aleks Kissinger
A Graphical Language for Proof Strategies CoRR (2013)
Gudmund Grov, Aleks Kissinger, Yuhui Lin
A Graphical Language for Proof Strategies. LPAR (2013)
Aleks Kissinger, Alex Merry, Matvey Soloviev
Pattern Graph Rewrite Systems DCM (2012)
Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang
Strong complementarity and non-locality in categorical quantum mechanics CoRR (2012)
Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang
Strong Complementarity and Non-locality in Categorical Quantum Mechanics. LICS (2012)
Aleks Kissinger
Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing CoRR (2012)
Aleks Kissinger
Synthesising Graphical Theories. ATx/WInG@IJCAR (2012)
Bob Coecke, Chris Heunen, Aleks Kissinger
Categories of Quantum and Classical Channels (extended abstract). QPL (2012)
Aleks Kissinger
Synthesising Graphical Theories CoRR (2012)
Bob Coecke, Aleks Kissinger
The Compositional Structure of Multipartite Quantum Entanglement. ICALP (2) (2010)
Lucas Dixon, Ross Duncan, Aleks Kissinger
Open Graphs and Computational Reasoning DCM (2010)
Bob Coecke, Aleks Kissinger, Alex Merry, Shibdas Roy
The GHZ/W-calculus contains rational arithmetic HPC (2010)
Lucas Dixon, Aleks Kissinger
Open Graphs and Monoidal Theories CoRR (2010)
Aleks Kissinger
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra. Calculemus/MKM (2009)

Aleks Kissinger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aleks Kissinger