Chris Heunen

Cited by

	All	Since 2020
Citations	2740	1398
h-index	29	17
i10-index	56	32

360

180

270

20082009201020112012201320142015201620172018201920202021202220232024202515 41 62 39 87 86 93 101 138 211 186 243 170 270 259 298 354 46

Public access

View all

33 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Jamie VicaryUniversity of CambridgeVerified email at cl.cam.ac.uk
Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Robin KaarsgaardAssistant Professor at University of Southern DenmarkVerified email at imada.sdu.dk
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Manuel L. ReyesDepartment of Mathematics - University of California, IrvineVerified email at uci.edu
Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteVerified email at quantinuum.com
Frank WoodUniversity of British ColumbiaVerified email at cs.ubc.ca
Sean TullCambridge Quantum ComputingVerified email at cambridgequantum.com
Benno van den BergAssistant professor, University of AmsterdamVerified email at uva.nl
Martti KarvonenUniversity College LondonVerified email at ucl.ac.uk
Adam ŚcibiorUniversity of British ColumbiaVerified email at cs.ubc.ca
Matthijs VákárAssistant Professor, Utrecht UniversityVerified email at uu.nl
Tobias FritzDepartment of Mathematics, University of InnsbruckVerified email at uibk.ac.at
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsVerified email at acm.org
Dominic HorsmanSenior Research Fellow, University of OxfordVerified email at cs.ox.ac.uk
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerified email at uni-tuebingen.de

Chris Heunen

University of Edinburgh

Verified email at ed.ac.uk - Homepage

Category theory Foundations of Quantum Informatics Operator algebra Probabilistic programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Categories for Quantum Theory: an introduction C Heunen, J Vicary Oxford University Press, 2019	285*	2019
A convenient category for higher-order probability theory C Heunen, O Kammar, S Staton, H Yang 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017	211	2017
A topos for algebraic quantum theory C Heunen, NP Landsman, B Spitters Communications in mathematical physics 291 (1), 63-110, 2009	181	2009
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints S Staton, H Yang, F Wood, C Heunen, O Kammar Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016	180	2016
Categories of quantum and classical channels B Coecke, C Heunen, A Kissinger Quantum Information Processing 15, 5179-5209, 2016	93	2016
Denotational validation of higher-order Bayesian inference O Kammar, S Staton, H Yang, Y Cai, K Ostermann, M Vákár, A Ścibior, ... Proceedings of the ACM on Programming Languages 2 (POPL), 2018	88*	2018
Can a quantum state over time resemble a quantum state at a single time? D Horsman, C Heunen, MF Pusey, J Barrett, RW Spekkens Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2017	88	2017
Automated distribution of quantum circuits via hypergraph partitioning P Andres-Martinez, C Heunen Physical Review A 100 (3), 032308, 2019	74	2019
H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics S Abramsky, C Heunen Clifford Lectures, AMS Proceedings of Symposia in Applied Mathematics 71, 1--24, 2012	67	2012
Quantum realization of arbitrary joint measurability structures R Kunjwal, C Heunen, T Fritz Physical Review A 89 (5), 052126, 2014	66	2014
Categorical semantics for arrows B Jacobs, C Heunen, I Hasuo Journal of Functional Programming 19 (3-4), 403-438, 2009	66	2009
Quantum logic in dagger kernel categories C Heunen, B Jacobs Order 27 (2), 177-212, 2010	62	2010
Bohrification of operator algebras and quantum logic C Heunen, NP Landsman, B Spitters Synthese 186 (3), 719-752, 2012	53	2012
Quantum Physics and Linguistics: A Compositional ‚Diagrammatic Discourse E Grefenstette, C Heunen, M Sadrzadeh Oxford University Press, 2013	52	2013
Intuitionistic quantum logic of an n-level system M Caspers, C Heunen, NP Landsman, B Spitters Foundations of Physics 39 (7), 731-759, 2009	49	2009
Categorical quantum models and logics C Heunen Amsterdam University Press, 2009	47	2009
Relative Frobenius algebras are groupoids C Heunen, I Contreras, AS Cattaneo Journal of Pure and Applied Algebra 217, 114-124, 2013	46	2013
Noncommutativity as a colimit B Van Den Berg, C Heunen Applied Categorical Structures, 1-22, 2011	46	2011
Bohrification C Heunen, NP Landsman, B Spitters Deep Beauty: Understanding the Quantum World through Mathematical Innovation …, 2009	45	2009
Arrows, like monads, are monoids C Heunen, B Jacobs Electronic Notes in Theoretical Computer Science 158, 219-236, 2006	45	2006

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