Peter Selinger

Dikutip oleh

	Semua	Sejak 2020
Kutipan	6170	2661
indeks-h	31	25
indeks-i10	47	35

640

320

160

480

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202517 19 35 53 70 93 107 138 161 127 151 169 223 246 269 313 359 384 484 424 440 523 560 627 85

Akses publik

Lihat semua

7 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Neil J. RossDalhousie UniversityEmail yang diverifikasi di dal.ca
Benoit ValironAssociate Professor, CentraleSupelec -- LMF, Universite Paris SaclayEmail yang diverifikasi di universite-paris-saclay.fr
Peng FuUniversity of South CarolinaEmail yang diverifikasi di cse.sc.edu
Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm UniversityEmail yang diverifikasi di math.su.se
Kohei KishidaDepartment of Philosophy, University of Illinois at Urbana-ChampaignEmail yang diverifikasi di illinois.edu
Brett GilesPh.D. Alumnus, University of CalgaryEmail yang diverifikasi di ucalgary.ca
Xiaoning BianPostdoc, Zhejiang LabEmail yang diverifikasi di zhejianglab.com
Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaEmail yang diverifikasi di cis.upenn.edu
Scott AlexanderChief Scientist, Perspecta LabsEmail yang diverifikasi di dsalex.org
Michele PaganiProfessor of Computer Science, ENS de LyonEmail yang diverifikasi di ens-lyon.fr
Massimo CaboaraUniversity of PisaEmail yang diverifikasi di dm.unipi.it
Chris HeunenUniversity of EdinburghEmail yang diverifikasi di ed.ac.uk
Aleks KissingerAssociate Professor, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Sarah Meng LiUniversity of AmsterdamEmail yang diverifikasi di uva.nl
Andre KornellPostdoctoral Fellow, New Mexico State UniversityEmail yang diverifikasi di nmsu.edu

Ikuti

Peter Selinger

Professor of Mathematics, Dalhousie University

Email yang diverifikasi di mathstat.dal.ca - Beranda

Semantics of programming languages quantum computation category theory


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
A survey of graphical languages for monoidal categories P Selinger New Structures for Physics, 289-355, 2011	970	2011
Towards a quantum programming language P Selinger Mathematical Structures in Computer Science 14 (4), 527-586, 2004	616	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	563	2013
Dagger compact closed categories and completely positive maps P Selinger Electronic Notes in Theoretical computer science 170, 139-163, 2007	524	2007
Optimal ancilla-free Clifford+ V approximation of z-rotations NJ Ross arXiv preprint arXiv:1409.4355, 2014	342	2014
Quantum circuits of -depth one P Selinger Physical Review A—Atomic, Molecular, and Optical Physics 87 (4), 042302, 2013	262	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	248	2001
A lambda calculus for quantum computation with classical control P Selinger, B Valiron Mathematical Structures in Computer Science 16 (3), 527-552, 2006	216	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	193	2012
Potrace: a polygon-based tracing algorithm P Selinger Potrace (online), http://potrace.sourceforge.net/potrace.pdf (2009-07-01), 2003	171	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	122	2014
Towards a semantics for higher-order quantum computation P Selinger Proceedings of the 2nd International Workshop on Quantum Programming …, 2004	109	2004
Quantum lambda calculus P Selinger, B Valiron Semantic Techniques in Quantum Computation, 135-172, 2009	108	2009
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	88	2005
Finite dimensional Hilbert spaces are complete for dagger compact closed categories P Selinger Logical Methods in Computer Science 8, 2012	83	2012
Idempotents in dagger categories P Selinger Electronic Notes in Theoretical Computer Science 210, 107-122, 2008	78	2008
Generators and relations for n-qubit Clifford operators P Selinger Logical Methods in Computer Science 11, 2015	76	2015

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama