Aleks Kissinger

Cited by

	All	Since 2020
Citations	3801	2725
h-index	29	25
i10-index	54	43

720

360

180

540

20112012201320142015201620172018201920202021202220232024202526 42 34 40 89 98 153 210 324 288 414 592 594 702 132

Public access

View all

18 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 Science, University College LondonVerified 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 DeepMindVerified email at google.com
Miriam BackensInriaVerified email at inria.fr
Quanlong WangQuantinuumVerified email at quantinuum.com
Vladimir ZamdzhievInriaVerified email at inria.fr
Simon PerdrixSenior Researcher, Inria-Mocqua, LORIAVerified email at loria.fr
Dominic HorsmanSenior Research Fellow, University of OxfordVerified email at cs.ox.ac.uk
Alex MerryVerified email at alexmerry.me.uk
Arianne Meijer - van de GriendUniversity of Helsinki, FinlandVerified email at helsinki.fi
Stefan ZohrenUniversity of OxfordVerified email at eng.ox.ac.uk
Nicholas ChancellorDurham universityVerified email at durham.ac.uk
Sander UijlenPhD student iCIS, NijmegenVerified email at cs.ru.nl
Jamie VicaryUniversity of CambridgeVerified email at cl.cam.ac.uk

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	804	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	266	2020
Reducing the number of non-Clifford gates in quantum circuits A Kissinger, J Van De Wetering Physical Review A 102 (2), 022406, 2020	256*	2020
PyZX: Large scale automated diagrammatic reasoning A Kissinger, J van de Wetering arXiv preprint arXiv:1904.04735, 2019	201	2019
ZH: A complete graphical calculus for quantum computations involving classical non-linearity M Backens, A Kissinger arXiv preprint arXiv:1805.02175, 2018	127	2018
A categorical semantics for causal structure A Kissinger, S Uijlen Logical Methods in Computer Science 15, 2019	112	2019
The compositional structure of multipartite quantum entanglement B Coecke, A Kissinger International Colloquium on Automata, Languages, and Programming, 297-308, 2010	111	2010
Quantomatic: A proof assistant for diagrammatic reasoning A Kissinger, V Zamdzhiev Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015	110	2015
CNOT circuit extraction for topologically-constrained quantum memories A Kissinger, AM de Griend arXiv preprint arXiv:1904.00633, 2019	93	2019
Categories of quantum and classical channels B Coecke, C Heunen, A Kissinger Quantum Information Processing 15, 5179-5209, 2016	90	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	87	2012
Globular: an online proof assistant for higher-dimensional rewriting K Bar, A Kissinger, J Vicary Logical Methods in Computer Science 14, 2018	83	2018
Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing A Kissinger arXiv preprint arXiv:1203.0202, 2012	80	2012
Causal inference by string diagram surgery B Jacobs, A Kissinger, F Zanasi Foundations of Software Science and Computation Structures: 22nd …, 2019	71	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	71	2016
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	65	2013
Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions A Kissinger, J van de Wetering Quantum Science and Technology 7 (4), 044001, 2022	59	2022
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	57	2022
Categorical quantum mechanics I: causal quantum processes B Coecke, A Kissinger Categories for the Working Philosopher, 286-328, 2015	53	2015

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