Peter Selinger

Cited by

	All	Since 2019
Citations	6083	3048
h-index	31	25
i10-index	47	36

580

290

145

435

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 19 37 55 66 93 109 138 161 122 154 162 226 239 266 319 363 387 479 429 458 533 566 580

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Neil J. RossDalhousie UniversityVerified email at dal.ca
Benoit ValironAssociate Professor, CentraleSupelec -- LMF, Universite Paris SaclayVerified email at universite-paris-saclay.fr
Peng FuUniversity of South CarolinaVerified email at cse.sc.edu
Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm UniversityVerified email at math.su.se
Kohei KishidaDepartment of Philosophy, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Brett GilesPh.D. Alumnus, University of CalgaryVerified email at ucalgary.ca
Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Xiaoning BianPostdoc, Zhejiang LabVerified email at zhejianglab.com
Scott AlexanderChief Scientist, Perspecta LabsVerified email at dsalex.org
Michele PaganiProfessor of Computer Science, ENS de LyonVerified email at ens-lyon.fr
Massimo CaboaraUniversity of PisaVerified email at dm.unipi.it
Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk
Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Sarah Meng LiUniversity of AmsterdamVerified email at uva.nl
Andre KornellPostdoctoral Fellow, New Mexico State UniversityVerified email at nmsu.edu

Peter Selinger

Professor of Mathematics, Dalhousie University

Verified email at mathstat.dal.ca - Homepage

Semantics of programming languages quantum computation category theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A survey of graphical languages for monoidal categories P Selinger New Structures for Physics, 289-355, 2011	953	2011
Towards a quantum programming language P Selinger Mathematical Structures in Computer Science 14 (4), 527-586, 2004	606	2004
Quipper: a scalable quantum programming language AS Green, PLF Lumsdaine, NJ Ross, P Selinger, B Valiron Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013	561	2013
Dagger compact closed categories and completely positive maps P Selinger Electronic Notes in Theoretical computer science 170, 139-163, 2007	517	2007
Optimal ancilla-free Clifford+ T approximation of z-rotations. NJ Ross, P Selinger Quantum Inf. Comput. 16 (11&12), 901-953, 2016	328	2016
Quantum circuits of -depth one P Selinger Physical Review A—Atomic, Molecular, and Optical Physics 87 (4), 042302, 2013	246	2013
Control categories and duality: on the categorical semantics of the lambda-mu calculus P Selinger Mathematical structures in computer science 11 (2), 207-260, 2001	244	2001
A lambda calculus for quantum computation with classical control P Selinger, B Valiron Mathematical Structures in Computer Science 16 (3), 527-552, 2006	212	2006
Exact synthesis of multi-qubit Clifford+T circuits B Giles, P Selinger arXiv preprint arXiv:1212.0506, 2012	211	2012
Efficient Clifford+T approximation of single-qubit operators P Selinger arXiv preprint arXiv:1212.6253, 2012	189	2012
Potrace: a polygon-based tracing algorithm P Selinger Potrace (online), http://potrace.sourceforge.net/potrace.pdf (2009-07-01), 2003	167	2003
A brief survey of quantum programming languages P Selinger Functional and Logic Programming, 61-69, 2004	132	2004
Applying quantitative semantics to higher-order quantum computing M Pagani, P Selinger, B Valiron Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014	118	2014
Quantum lambda calculus P Selinger, B Valiron Semantic Techniques in Quantum Computation, 135-172, 2009	107	2009
Towards a semantics for higher-order quantum computation P Selinger Proceedings of the 2nd International Workshop on Quantum Programming …, 2004	107	2004
An introduction to quantum programming in Quipper AS Green, PLF Lumsdaine, NJ Ross, P Selinger, B Valiron International Conference on Reversible Computation, 110-124, 2013	104	2013
A lambda calculus for quantum computation with classical control P Selinger, B Valiron International Conference on Typed Lambda Calculi and Applications, 354-368, 2005	89	2005
A categorical model for a quantum circuit description language F Rios, P Selinger arXiv preprint arXiv:1706.02630, 2017	80	2017
Finite dimensional Hilbert spaces are complete for dagger compact closed categories P Selinger Logical Methods in Computer Science 8, 2012	80	2012
Generators and relations for n-qubit Clifford operators P Selinger Logical Methods in Computer Science 11, 2015	77	2015

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