Chris Heunen

Citata da

	Tutte	Dal 2020
Citazioni	2723	1380
Indice H	29	17
i10-index	56	32

360

180

270

20082009201020112012201320142015201620172018201920202021202220232024202515 41 62 39 87 86 93 101 138 211 186 243 170 261 259 306 353 29

Accesso pubblico

Visualizza tutto

34 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Hongseok YangProfessor, School of Computing, KAISTEmail verificata su kaist.ac.kr
Ohad KammarUniversity of Edinburgh School of InformaticsEmail verificata su ed.ac.uk
Bas SpittersAssociate Professor, Aarhus UniversityEmail verificata su cs.au.dk
Jamie VicaryUniversity of CambridgeEmail verificata su cl.cam.ac.uk
Aleks KissingerAssociate Professor, University of OxfordEmail verificata su cs.ox.ac.uk
Robin KaarsgaardAssistant Professor at University of Southern DenmarkEmail verificata su imada.sdu.dk
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenEmail verificata su cs.ru.nl
Manuel L. ReyesDepartment of Mathematics - University of California, IrvineEmail verificata su uci.edu
Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteEmail verificata su quantinuum.com
Frank WoodUniversity of British ColumbiaEmail verificata su cs.ubc.ca
Sean TullCambridge Quantum ComputingEmail verificata su cambridgequantum.com
Benno van den BergAssistant professor, University of AmsterdamEmail verificata su uva.nl
Martti KarvonenUniversity College LondonEmail verificata su ucl.ac.uk
Adam ŚcibiorUniversity of British ColumbiaEmail verificata su cs.ubc.ca
Matthijs VákárAssistant Professor, Utrecht UniversityEmail verificata su uu.nl
Tobias FritzDepartment of Mathematics, University of InnsbruckEmail verificata su uibk.ac.at
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsEmail verificata su acm.org
Dominic HorsmanSenior Research Fellow, University of OxfordEmail verificata su cs.ox.ac.uk
Samson AbramskyProfessor of Computer Science, UCLEmail verificata su ucl.ac.uk
Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyEmail verificata su uni-tuebingen.de

Segui

Chris Heunen

University of Edinburgh

Email verificata su ed.ac.uk - Home page

Category theory Foundations of Quantum Informatics Operator algebra Probabilistic programming


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Categories for Quantum Theory: an introduction C Heunen, J Vicary Oxford University Press, 2019	281*	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	210	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	87*	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	86	2017
Automated distribution of quantum circuits via hypergraph partitioning P Andres-Martinez, C Heunen Physical Review A 100 (3), 032308, 2019	72	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	60	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori