Folgen
Aleks Kissinger
Titel
Zitiert von
Zitiert von
Jahr
Picturing quantum processes: A first course in quantum theory and diagrammatic reasoning
B Coecke, A Kissinger
8032017
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
R Duncan, A Kissinger, S Perdrix, J Van De Wetering
Quantum 4, 279, 2020
2662020
Reducing the number of non-Clifford gates in quantum circuits
A Kissinger, J Van De Wetering
Physical Review A 102 (2), 022406, 2020
255*2020
PyZX: Large scale automated diagrammatic reasoning
A Kissinger, J van de Wetering
arXiv preprint arXiv:1904.04735, 2019
2012019
ZH: A complete graphical calculus for quantum computations involving classical non-linearity
M Backens, A Kissinger
arXiv preprint arXiv:1805.02175, 2018
1272018
A categorical semantics for causal structure
A Kissinger, S Uijlen
Logical Methods in Computer Science 15, 2019
1122019
The compositional structure of multipartite quantum entanglement
B Coecke, A Kissinger
International Colloquium on Automata, Languages, and Programming, 297-308, 2010
1112010
Quantomatic: A proof assistant for diagrammatic reasoning
A Kissinger, V Zamdzhiev
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
1102015
CNOT circuit extraction for topologically-constrained quantum memories
A Kissinger, AM de Griend
arXiv preprint arXiv:1904.00633, 2019
932019
Categories of quantum and classical channels
B Coecke, C Heunen, A Kissinger
Quantum Information Processing 15, 5179-5209, 2016
902016
Strong complementarity and non-locality in categorical quantum mechanics
B Coecke, R Duncan, A Kissinger, Q Wang
2012 27th Annual IEEE Symposium on Logic in Computer Science, 245-254, 2012
872012
Globular: an online proof assistant for higher-dimensional rewriting
K Bar, A Kissinger, J Vicary
Logical Methods in Computer Science 14, 2018
832018
Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing
A Kissinger
arXiv preprint arXiv:1203.0202, 2012
802012
Causal inference by string diagram surgery
B Jacobs, A Kissinger, F Zanasi
Foundations of Software Science and Computation Structures: 22nd …, 2019
712019
Rewriting modulo symmetric monoidal structure
F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
712016
Graphical structures for design and verification of quantum error correction
N Chancellor, A Kissinger, S Zohren, J Roffe, D Horsman
Quantum science and technology 8 (4), 045028, 2023
68*2023
Open-graphs and monoidal theories
L Dixon, A Kissinger
Mathematical Structures in Computer Science 23 (2), 308-359, 2013
652013
Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions
A Kissinger, J van de Wetering
Quantum Science and Technology 7 (4), 044001, 2022
592022
String diagram rewrite theory I: rewriting with Frobenius structure
F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi
Journal of the ACM (JACM) 69 (2), 1-58, 2022
572022
Categorical quantum mechanics I: causal quantum processes
B Coecke, A Kissinger
Categories for the Working Philosopher, 286-328, 2015
532015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20