Aleks Kissinger
Aleks Kissinger
Assistant Professor, Radboud Universiteit
Verified email at cs.ru.nl - Homepage
TitleCited byYear
Picturing quantum processes: A first course in quantum theory and diagrammatic reasoning
B Coecke, A Kissinger
202*2017
The compositional structure of multipartite quantum entanglement
B Coecke, A Kissinger
International Colloquium on Automata, Languages, and Programming, 297-308, 2010
592010
Strong complementarity and non-locality in categorical quantum mechanics
B Coecke, R Duncan, A Kissinger, Q Wang
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computerá…, 2012
542012
Quantomatic: A proof assistant for diagrammatic reasoning
A Kissinger, V Zamdzhiev
International Conference on Automated Deduction, 326-336, 2015
522015
Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing
A Kissinger
arXiv preprint arXiv:1203.0202, 2012
512012
Categories of quantum and classical channels
B Coecke, C Heunen, A Kissinger
Quantum Information Processing 15 (12), 5179-5209, 2016
482016
Open-graphs and monoidal theories
L Dixon, A Kissinger
Mathematical Structures in Computer Science 23 (2), 308-359, 2013
392013
Globular: an online proof assistant for higher-dimensional rewriting
K Bar, A Kissinger, J Vicary
arXiv preprint arXiv:1612.01093, 2016
302016
Rewriting modulo symmetric monoidal structure
F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
272016
Pattern graph rewrite systems
A Kissinger, A Merry, M Soloviev
arXiv preprint arXiv:1204.6695, 2012
272012
Quantomatic
A Kissinger, A Merry, L Dixon, R Duncan, M Soloviev, B Frot, D Quick, ...
Software available on-line at http://sites. google. com/site/quantomatic, 2011
262011
Graphical structures for design and verification of quantum error correction
N Chancellor, A Kissinger, J Roffe, S Zohren, D Horsman
arXiv preprint arXiv:1611.08012, 2016
22*2016
Categorical quantum mechanics I: causal quantum processes
B Coecke, A Kissinger
Categories for the Working Philosopher, 2015
222015
A categorical semantics for causal structure
A Kissinger, S Uijlen
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
202017
Generalised compositional theories and diagrammatic reasoning
B Coecke, R Duncan, A Kissinger, Q Wang
Quantum Theory: Informational Foundations and Foils, 309-366, 2016
202016
A graphical language for proof strategies
G Grov, A Kissinger, Y Lin
International Conference on Logic for Programming Artificial Intelligenceá…, 2013
202013
Completely positive projections and biproducts
C Heunen, A Kissinger, P Selinger
arXiv preprint arXiv:1308.4557, 2013
172013
Open graphs and computational reasoning
L Dixon, R Duncan, A Kissinger
arXiv preprint arXiv:1007.3794, 2010
162010
ZH: A complete graphical calculus for quantum computations involving classical non-linearity
M Backens, A Kissinger
arXiv preprint arXiv:1805.02175, 2018
142018
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
R Duncan, A Kissinger, S Pedrix, J van de Wetering
arXiv preprint arXiv:1902.03178, 2019
122019
The system can't perform the operation now. Try again later.
Articles 1–20