Chris Heunen

Cited by

	All	Since 2019
Citations	2632	1535
h-index	28	19
i10-index	56	42

320

160

240

2008200920102011201220132014201520162017201820192020202120222023202415 41 62 39 87 86 93 101 138 210 186 242 171 261 261 310 288

Public access

View all

32 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
Martti KarvonenUniversity College LondonVerified email at ucl.ac.uk
Benno van den BergAssistant professor, University of AmsterdamVerified email at uva.nl
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	265*	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	199	2017
A topos for algebraic quantum theory C Heunen, NP Landsman, B Spitters Communications in mathematical physics 291 (1), 63-110, 2009	178	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	174	2016
Categories of quantum and classical channels B Coecke, C Heunen, A Kissinger Quantum Information Processing 15, 5179-5209, 2016	94	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	84*	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	81	2017
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	66	2012
Quantum realization of arbitrary joint measurability structures R Kunjwal, C Heunen, T Fritz Physical Review A 89 (5), 052126, 2014	65	2014
Categorical semantics for arrows B Jacobs, C Heunen, I Hasuo Journal of Functional Programming 19 (3-4), 403-438, 2009	64	2009
Automated distribution of quantum circuits via hypergraph partitioning P Andres-Martinez, C Heunen Physical Review A 100 (3), 032308, 2019	63	2019
Quantum logic in dagger kernel categories C Heunen, B Jacobs Order 27 (2), 177-212, 2010	59	2010
Bohrification of operator algebras and quantum logic C Heunen, NP Landsman, B Spitters Synthese 186 (3), 719-752, 2012	52	2012
Quantum Physics and Linguistics: A Compositional ‚Diagrammatic Discourse E Grefenstette, C Heunen, M Sadrzadeh Oxford University Press, 2013	50	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	48	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	45	2013
Bohrification C Heunen, NP Landsman, B Spitters Deep Beauty: Understanding the Quantum World through Mathematical Innovation …, 2009	44	2009
Arrows, like monads, are monoids C Heunen, B Jacobs Electronic Notes in Theoretical Computer Science 158, 219-236, 2006	44	2006
Pictures of complete positivity in arbitrary dimension B Coecke, C Heunen Electronic Proceedings in Theoretical Computer Science 95, 27-35, 2011	42*	2011

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