Aleks Kissinger

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3769	2693
indeks-h	29	25
indeks-i10	54	43

720

360

180

540

20112012201320142015201620172018201920202021202220232024202526 42 34 40 89 98 153 210 324 288 414 592 597 701 98

Akses publik

Lihat semua

18 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteEmail yang diverifikasi di quantinuum.com
John van de WeteringAssistant professor at University of AmsterdamEmail yang diverifikasi di uva.nl
Fabio ZanasiProfessor of Computer Science, University College LondonEmail yang diverifikasi di ucl.ac.uk
Ross DuncanLecturer at University of StrathclydeEmail yang diverifikasi di strath.ac.uk
Chris HeunenUniversity of EdinburghEmail yang diverifikasi di ed.ac.uk
Fabio GadducciProfessore di Informatica, Università di PisaEmail yang diverifikasi di unipi.it
Filippo BonchiCNRS ENS-LyonEmail yang diverifikasi di ens-lyon.fr
Pawel SobocinskiTallinn University of TechnologyEmail yang diverifikasi di cs.ioc.ee
Lucas DixonPAIR, Google DeepMindEmail yang diverifikasi di google.com
Miriam BackensInriaEmail yang diverifikasi di inria.fr
Quanlong WangQuantinuumEmail yang diverifikasi di quantinuum.com
Vladimir ZamdzhievInriaEmail yang diverifikasi di inria.fr
Simon PerdrixSenior Researcher, Inria-Mocqua, LORIAEmail yang diverifikasi di loria.fr
Dominic HorsmanSenior Research Fellow, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Alex MerryEmail yang diverifikasi di alexmerry.me.uk
Arianne Meijer - van de GriendUniversity of Helsinki, FinlandEmail yang diverifikasi di helsinki.fi
Stefan ZohrenUniversity of OxfordEmail yang diverifikasi di eng.ox.ac.uk
Nicholas ChancellorDurham universityEmail yang diverifikasi di durham.ac.uk
Sander UijlenPhD student iCIS, NijmegenEmail yang diverifikasi di cs.ru.nl
Jamie VicaryUniversity of CambridgeEmail yang diverifikasi di cl.cam.ac.uk

Ikuti

Aleks Kissinger

Associate Professor, University of Oxford

Email yang diverifikasi di cs.ox.ac.uk - Beranda

quantum computing quantum software foundations of physics category theory computer science logic


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Picturing quantum processes: A first course in quantum theory and diagrammatic reasoning B Coecke, A Kissinger	796	2017
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus R Duncan, A Kissinger, S Perdrix, J Van De Wetering Quantum 4, 279, 2020	263	2020
Reducing the number of non-Clifford gates in quantum circuits A Kissinger, J Van De Wetering Physical Review A 102 (2), 022406, 2020	252*	2020
PyZX: Large scale automated diagrammatic reasoning A Kissinger, J van de Wetering arXiv preprint arXiv:1904.04735, 2019	199	2019
ZH: A complete graphical calculus for quantum computations involving classical non-linearity M Backens, A Kissinger arXiv preprint arXiv:1805.02175, 2018	126	2018
The compositional structure of multipartite quantum entanglement B Coecke, A Kissinger International Colloquium on Automata, Languages, and Programming, 297-308, 2010	111	2010
A categorical semantics for causal structure A Kissinger, S Uijlen Logical Methods in Computer Science 15, 2019	110	2019
Quantomatic: A proof assistant for diagrammatic reasoning A Kissinger, V Zamdzhiev Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015	110	2015
CNOT circuit extraction for topologically-constrained quantum memories A Kissinger, AM de Griend arXiv preprint arXiv:1904.00633, 2019	92	2019
Categories of quantum and classical channels B Coecke, C Heunen, A Kissinger Quantum Information Processing 15, 5179-5209, 2016	90	2016
Strong complementarity and non-locality in categorical quantum mechanics B Coecke, R Duncan, A Kissinger, Q Wang 2012 27th Annual IEEE Symposium on Logic in Computer Science, 245-254, 2012	87	2012
Globular: an online proof assistant for higher-dimensional rewriting K Bar, A Kissinger, J Vicary Logical Methods in Computer Science 14, 2018	83	2018
Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing A Kissinger arXiv preprint arXiv:1203.0202, 2012	80	2012
Causal inference by string diagram surgery B Jacobs, A Kissinger, F Zanasi Foundations of Software Science and Computation Structures: 22nd …, 2019	71	2019
Rewriting modulo symmetric monoidal structure F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016	71	2016
Graphical structures for design and verification of quantum error correction N Chancellor, A Kissinger, S Zohren, J Roffe, D Horsman Quantum science and technology 8 (4), 045028, 2023	67*	2023
Open-graphs and monoidal theories L Dixon, A Kissinger Mathematical Structures in Computer Science 23 (2), 308-359, 2013	65	2013
Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions A Kissinger, J van de Wetering Quantum Science and Technology 7 (4), 044001, 2022	58	2022
String diagram rewrite theory I: rewriting with Frobenius structure F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi Journal of the ACM (JACM) 69 (2), 1-58, 2022	57	2022
Categorical quantum mechanics I: causal quantum processes B Coecke, A Kissinger Categories for the Working Philosopher, 286-328, 2015	53	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