Chris Heunen

Cited by

	All	Since 2018
Citations	2102	1213
h-index	27	17
i10-index	47	35

280

140

210

200820092010201120122013201420152016201720182019202020212022202314 30 71 39 88 86 83 102 136 208 192 228 182 262 249 99

Public access

View all

27 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
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
Sean TullCambridge Quantum ComputingVerified email at cambridgequantum.com
Benno van den BergAssistant professor, University of AmsterdamVerified email at uva.nl
Martti KarvonenUniversity of OttawaVerified email at uottawa.ca
Frank WoodUniversity of British ColumbiaVerified email at cs.ubc.ca
Tobias FritzDepartment of Mathematics, University of InnsbruckVerified email at uibk.ac.at
Matthijs VákárAssistant Professor, Utrecht UniversityVerified email at uu.nl
Robin KaarsgaardAssistant Professor at University of Southern DenmarkVerified email at imada.sdu.dk
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Adam ŚcibiorUniversity of British ColumbiaVerified email at cs.ubc.ca
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsVerified email at acm.org
Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerified email at uni-tuebingen.de
Zoubin GhahramaniProfessor, University of Cambridge, and Distinguished Researcher, GoogleVerified email at eng.cam.ac.uk
Dominic HorsmanOxford Tencent Senior Research Fellow, University of OxfordVerified email at cs.ox.ac.uk

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
A topos for algebraic quantum theory C Heunen, NP Landsman, B Spitters Communications in mathematical physics 291 (1), 63-110, 2009	167	2009
Categories for Quantum Theory: an introduction C Heunen, J Vicary Oxford University Press, 2019	159*	2019
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	147	2016
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	144	2017
Categories of quantum and classical channels B Coecke, C Heunen, A Kissinger Quantum Information Processing 15, 5179-5209, 2016	81	2016
Denotational validation of higher-order Bayesian inference O Kammar, M Vákár, S Staton, H Yang, Y Cai, K Ostermann, S Moss, ... Association for Computing Machinery (ACM), 2018	69*	2018
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	61	2012
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	55	2017
Quantum realization of arbitrary joint measurability structures R Kunjwal, C Heunen, T Fritz Physical Review A 89 (5), 052126, 2014	55	2014
Quantum logic in dagger kernel categories C Heunen, B Jacobs Order 27 (2), 177-212, 2010	52	2010
Bohrification of operator algebras and quantum logic C Heunen, NP Landsman, B Spitters Synthese 186 (3), 719-752, 2012	47	2012
Intuitionistic quantum logic of an n-level system M Caspers, C Heunen, NP Landsman, B Spitters Foundations of Physics 39 (7), 731-759, 2009	47	2009
Bohrification C Heunen, NP Landsman, B Spitters Deep Beauty: Understanding the Quantum World through Mathematical Innovation …, 2009	46	2009
Categorical semantics for arrows B Jacobs, C Heunen, I Hasuo Journal of Functional Programming 19 (3-4), 403-438, 2009	45	2009
Categorical quantum models and logics C Heunen Pallas Publications, 2010	43	2010
Relative Frobenius algebras are groupoids C Heunen, I Contreras, AS Cattaneo Journal of Pure and Applied Algebra 217, 114-124, 2013	42	2013
Arrows, like monads, are monoids C Heunen, B Jacobs Electronic Notes in Theoretical Computer Science 158, 219-236, 2006	42	2006
Noncommutativity as a colimit B Van Den Berg, C Heunen Applied Categorical Structures, 1-22, 2011	40	2011
Active lattices determine AW*-algebras C Heunen, ML Reyes Journal of Mathematical Analysis and Applications 416, 289-313, 2012	38	2012
The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach C Heunen, NP Landsman, B Spitters, S Wolters Journal of the Australian Mathematical Society 90 (01), 39-52, 2011	38	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