Aleks Kissinger

Available identifiers

zbMath Open kissinger.aleksMaRDI QIDQ513860

List of research outcomes

Publication	Date of Publication	Type
Graphical CSS Code Transformation Using ZX Calculus	2024-03-22	Paper
Global Synthesis of CNOT Circuits with Holes	2024-03-22	Paper
On the Pre- and Promonoidal Structure of Spacetime	2024-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q6193831	2024-02-13	Paper
The ZX-calculus as a language for topological quantum computation	2023-10-23	Paper
Completeness of the ZH-calculus	2023-10-11	Paper
Outcome determinism in measurement-based quantum computation with qudits	2023-03-02	Paper
String diagram rewrite theory III: Confluence with and without Frobenius	2023-02-28	Paper
String diagram rewrite theory II: Rewriting with symmetric monoidal structure	2022-12-20	Paper
Categorical Quantum Mechanics I: Causal Quantum Processes	2022-10-11	Paper
The CBH characterisation theorem beyond algebraic quantum theory	2022-06-08	Paper
Quantum Supermaps are Characterized by Locality	2022-05-19	Paper
Causal inference via string diagram surgery	2022-05-17	Paper
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure	2022-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5020643	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q3385624	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5014784	2021-12-08	Paper
Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}	2021-12-01	Paper
Tensors, !-graphs, and non-commutative quantum structures	2021-06-29	Paper
Completely positive projections and biproducts	2021-06-29	Paper
Categories of Quantum and Classical Channels (extended abstract)	2021-06-23	Paper
Pattern graph rewrite systems	2021-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q5151029	2021-02-16	Paper
Rewriting with Frobenius	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5144641	2021-01-19	Paper
Causal inference by string diagram surgery	2020-01-28	Paper
A categorical semantics for causal structure	2019-08-13	Paper
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus	2019-02-08	Paper
Causal Inference by String Diagram Surgery	2018-11-20	Paper
Tensors, !-graphs, and non-commutative quantum structures	2018-09-05	Paper
Rewriting modulo symmetric monoidal structure	2018-04-23	Paper
Globular: an online proof assistant for higher-dimensional rewriting	2018-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q5369499	2017-10-17	Paper
A first-order logic for string diagrams	2017-07-11	Paper
Confluence of Graph Rewriting with Interfaces	2017-05-19	Paper
Strong Complementarity and Non-locality in Categorical Quantum Mechanics	2017-05-16	Paper
Picturing Quantum Processes	2017-03-27	Paper
Categories of quantum and classical channels	2017-03-08	Paper
Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem	2017-01-30	Paper
Categorical quantum mechanics II: Classical-quantum interaction	2016-11-09	Paper
Quantomatic: A Proof Assistant for Diagrammatic Reasoning	2015-12-02	Paper
Equational Reasoning with Context-Free Families of String Diagrams	2015-09-22	Paper
Tensors, !-graphs, and non-commutative quantum structures (extended version)	2015-03-04	Paper
!-Graphs with Trivial Overlap are Context-Free	2015-01-24	Paper
Finite matrices are complete for (dagger-)hypergraph categories	2014-06-23	Paper
Abstract Tensor Systems as Monoidal Categories	2014-05-08	Paper
A Graphical Language for Proof Strategies	2014-01-17	Paper
Compositional Quantum Logic	2013-05-28	Paper
Open-graphs and monoidal theories	2013-04-29	Paper
Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing	2012-03-01	Paper
Synthesising Graphical Theories	2012-02-27	Paper
The Compositional Structure of Multipartite Quantum Entanglement	2010-09-07	Paper
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra	2009-07-09	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Aleks Kissinger