Aleks Kissinger

Cited by

	All	Since 2018
Citations	2882	2351
h-index	26	23
i10-index	48	41

580

290

145

435

201120122013201420152016201720182019202020212022202325 41 25 48 91 86 155 210 311 285 410 576 556

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteVerified email at quantinuum.com
John van de WeteringAssistant professor at University of AmsterdamVerified email at uva.nl
Fabio ZanasiProfessor of Computer ScienceVerified email at ucl.ac.uk
Ross DuncanLecturer at University of StrathclydeVerified email at strath.ac.uk
Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Pawel SobocinskiTallinn University of TechnologyVerified email at cs.ioc.ee
Lucas DixonPAIR, Google ResearchVerified email at google.com
Vladimir ZamdzhievInriaVerified email at inria.fr
Quanlong WangCambridge Quantum ComputingVerified email at quantinuum.com
Dominic HorsmanOxford Tencent Senior Research Fellow, University of OxfordVerified email at cs.ox.ac.uk
Simon PerdrixSenior Researcher, Inria-Mocqua, LORIAVerified email at loria.fr
Alex MerryVerified email at alexmerry.me.uk
Arianne Meijer - van de GriendUniversity of Helsinki, FinlandVerified email at helsinki.fi
Miriam BackensUniversity of BirminghamVerified email at bham.ac.uk
Stefan ZohrenUniversity of OxfordVerified email at eng.ox.ac.uk
Nicholas ChancellorDurham universityVerified email at durham.ac.uk
Joschka RoffeFreie Universität BerlinVerified email at fu-berlin.de
Sander UijlenPhD student iCIS, NijmegenVerified email at cs.ru.nl

Aleks Kissinger

Associate Professor, University of Oxford

Verified email at cs.ox.ac.uk - Homepage

quantum computing quantum software foundations of physics category theory computer science logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Picturing quantum processes: A first course in quantum theory and diagrammatic reasoning B Coecke, A Kissinger	622	2017
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus R Duncan, A Kissinger, S Perdrix, J Van De Wetering Quantum 4, 279, 2020	183	2020
Reducing the number of non-Clifford gates in quantum circuits A Kissinger, J van de Wetering Physical Review A 102 (2), 022406, 2020	176*	2020
Pyzx: Large scale automated diagrammatic reasoning A Kissinger, J van de Wetering arXiv preprint arXiv:1904.04735, 2019	132	2019
ZH: A complete graphical calculus for quantum computations involving classical non-linearity M Backens, A Kissinger arXiv preprint arXiv:1805.02175, 2018	104	2018
The compositional structure of multipartite quantum entanglement B Coecke, A Kissinger International Colloquium on Automata, Languages, and Programming, 297-308, 2010	104	2010
Quantomatic: A proof assistant for diagrammatic reasoning A Kissinger, V Zamdzhiev Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015	100	2015
A categorical semantics for causal structure A Kissinger, S Uijlen Logical Methods in Computer Science 15, 2019	90	2019
Categories of quantum and classical channels B Coecke, C Heunen, A Kissinger Quantum Information Processing 15, 5179-5209, 2016	84	2016
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	80	2012
Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing A Kissinger arXiv preprint arXiv:1203.0202, 2012	75	2012
Globular: an online proof assistant for higher-dimensional rewriting K Bar, A Kissinger, J Vicary Logical Methods in Computer Science 14, 2018	71	2018
CNOT circuit extraction for topologically-constrained quantum memories A Kissinger, AM de Griend arXiv preprint arXiv:1904.00633, 2019	70	2019
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	62	2016
Open-graphs and monoidal theories L Dixon, A Kissinger Mathematical Structures in Computer Science 23 (2), 308-359, 2013	61	2013
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	54*	2016
Causal inference by string diagram surgery B Jacobs, A Kissinger, F Zanasi Foundations of Software Science and Computation Structures: 22nd …, 2019	51	2019
Categorical quantum mechanics I: causal quantum processes B Coecke, A Kissinger Categories for the Working Philosopher, 286-328, 2015	43	2015
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	40	2022
Generalised compositional theories and diagrammatic reasoning B Coecke, R Duncan, A Kissinger, Q Wang Quantum Theory: Informational Foundations and Foils, 309-366, 2016	39	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors