Chris Heunen

Cited by

	All	Since 2018
Citations	2281	1390
h-index	27	18
i10-index	49	38

300

150

225

200820092010201120122013201420152016201720182019202020212022202314 40 59 39 89 88 84 107 135 204 184 233 175 257 248 292

Public access

View all

30 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
Jamie VicaryUniversity of CambridgeVerified email at cl.cam.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
Robin KaarsgaardAssistant Professor at University of Southern DenmarkVerified email at imada.sdu.dk
Martti KarvonenUniversity College LondonVerified email at ucl.ac.uk
Frank WoodUniversity of British ColumbiaVerified email at cs.ubc.ca
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
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsVerified email at acm.org
Dominic HorsmanOxford Tencent Senior Research Fellow, University of OxfordVerified email at cs.ox.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	196*	2019
A topos for algebraic quantum theory C Heunen, NP Landsman, B Spitters Communications in mathematical physics 291 (1), 63-110, 2009	174	2009
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	162	2017
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	157	2016
Categories of quantum and classical channels B Coecke, C Heunen, A Kissinger Quantum Information Processing 15, 5179-5209, 2016	85	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	76*	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	69	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	65	2012
Quantum realization of arbitrary joint measurability structures R Kunjwal, C Heunen, T Fritz Physical Review A 89 (5), 052126, 2014	59	2014
Quantum logic in dagger kernel categories C Heunen, B Jacobs Order 27 (2), 177-212, 2010	57	2010
Categorical semantics for arrows B Jacobs, C Heunen, I Hasuo Journal of Functional Programming 19 (3-4), 403-438, 2009	52	2009
Bohrification of operator algebras and quantum logic C Heunen, NP Landsman, B Spitters Synthese 186 (3), 719-752, 2012	49	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	45	2009
Relative Frobenius algebras are groupoids C Heunen, I Contreras, AS Cattaneo Journal of Pure and Applied Algebra 217, 114-124, 2013	43	2013
Categorical quantum models and logics C Heunen Amsterdam University Press, 2009	43	2009
Automated distribution of quantum circuits via hypergraph partitioning P Andres-Martinez, C Heunen Physical Review A 100 (3), 032308, 2019	41	2019
Arrows, like monads, are monoids C Heunen, B Jacobs Electronic Notes in Theoretical Computer Science 158, 219-236, 2006	41	2006
Active lattices determine AW*-algebras C Heunen, ML Reyes Journal of Mathematical Analysis and Applications 416, 289-313, 2012	40	2012
Noncommutativity as a colimit B Van Den Berg, C Heunen Applied Categorical Structures, 1-22, 2011	40	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