Aleks Kissinger - Google Scholar

Cited by

	All	Since 2015
Citations	1242	1077
h-index	20	18
i10-index	30	25

320

160

240

2010201120122013201420152016201720182019202010 26 46 24 55 98 103 166 230 317 162

Co-authors

Bob CoeckeProfessor of Quantum Foundations, Logics and Structures, University of OxfordVerified email at cs.ox.ac.uk
Ross DuncanLecturer at University of StrathclydeVerified email at strath.ac.uk
Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk
John van de WeteringPhd at Radboud University NijmegenVerified email at cs.ru.nl
Vladimir ZamdzhievUniversité de Lorraine, CNRS, Inria, LORIAVerified email at loria.fr
Fabio ZanasiAssociate Professor at University College LondonVerified email at ucl.ac.uk
Pawel SobocinskiProfessor of Computer Science, Tallinn University of TechnologyVerified email at cs.ioc.ee
Sander UijlenPhD student iCIS, NijmegenVerified email at cs.ru.nl
Fabio GadducciProfessore di scienze informatiche, Università di PisaVerified email at unipi.it
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Jamie VicaryRoyal Society University Research Fellow, University of BirminghamVerified email at cs.ox.ac.uk
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
Yuhui LinUniversity of St AndrewsVerified email at st-andrews.ac.uk
Dominic HorsmanChaire d'Excellence, Université Grenoble AlpesVerified email at univ-grenoble-alpes.fr
Stefan ZohrenOxford UniversityVerified email at physics.ox.ac.uk
Nicholas Chancellorresearch fellow Durham universityVerified email at durham.ac.uk
Peter SelingerProfessor of Mathematics, Dalhousie UniversityVerified email at mathstat.dal.ca
Shibdas RoyUniversity of Technology SydneyVerified email at uts.edu.au
John HaleUniversity of TulsaVerified email at utulsa.edu
Bas WesterbaanPostdoc, University College LondonVerified email at ucl.ac.uk

Aleks Kissinger

Assistant Professor, Radboud Universiteit

Verified email at cs.ru.nl - Homepage

category theory categorical algebra quantum computing quantum mechanics


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	277*	2017
The compositional structure of multipartite quantum entanglement B Coecke, A Kissinger International Colloquium on Automata, Languages, and Programming, 297-308, 2010	73	2010
Quantomatic: A proof assistant for diagrammatic reasoning A Kissinger, V Zamdzhiev International Conference on Automated Deduction, 326-336, 2015	64	2015
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	59	2012
Categories of quantum and classical channels B Coecke, C Heunen, A Kissinger Quantum Information Processing 15 (12), 5179-5209, 2016	58	2016
Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing A Kissinger arXiv preprint arXiv:1203.0202, 2012	54	2012
Open graphs and monoidal theories L Dixon, A Kissinger arXiv preprint arXiv:1011.4114, 2010	43	2010
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	37	2017
Globular: an online proof assistant for higher-dimensional rewriting K Bar, A Kissinger, J Vicary arXiv preprint arXiv:1612.01093, 2016	36	2016
ZH: A complete graphical calculus for quantum computations involving classical non-linearity M Backens, A Kissinger arXiv preprint arXiv:1805.02175, 2018	32	2018
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	31*	2016
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	31	2016
Pattern graph rewrite systems A Kissinger, A Merry, M Soloviev arXiv preprint arXiv:1204.6695, 2012	30	2012
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	29	2011
Reconstructing quantum theory from diagrammatic postulates JH Selby, CM Scandolo, B Coecke arXiv preprint arXiv:1802.00367, 2018	27	2018
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus R Duncan, A Kissinger, S Perdrix, J Van De Wetering Quantum 4, 279, 2020	25	2020
Categorical quantum mechanics I: causal quantum processes B Coecke, A Kissinger Categories for the Working Philosopher, 286-328, 2015	25	2015
Reducing T-count with the ZX-calculus A Kissinger, J van de Wetering arXiv preprint arXiv:1903.10477, 2019	23	2019
A graphical language for proof strategies G Grov, A Kissinger, Y Lin International Conference on Logic for Programming Artificial Intelligence …, 2013	22	2013
Generalised compositional theories and diagrammatic reasoning B Coecke, R Duncan, A Kissinger, Q Wang Quantum Theory: Informational Foundations and Foils, 309-366, 2016	21	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

Upload PDF

Follow this author

Cited by

Co-authors