Two complete axiomatisations of pure-state qubit quantum computing A Hadzihasanovic, KF Ng, Q Wang
Proceedings of the 33rd annual ACM/IEEE symposium on logic in computer …, 2018
101 2018 A simple voting protocol on quantum blockchain X Sun, Q Wang, P Kulicki, M Sopek
International Journal of Theoretical Physics 58, 275-281, 2019
87 2019 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 Fast and effective techniques for T-count reduction via spider nest identities N de Beaudrap, X Bian, Q Wang
arXiv preprint arXiv:2004.05164, 2020
77 2020 A universal completion of the ZX-calculus KF Ng, Q Wang
arXiv preprint arXiv:1706.09877, 2017
74 2017 Towards quantum-secured permissioned blockchain: Signature, consensus, and logic X Sun, M Sopek, Q Wang, P Kulicki
Entropy 21 (9), 887, 2019
73 2019 Techniques to Reduce N De Beaudrap, X Bian, Q Wang
arXiv preprint arXiv:1911.09039, 2019
51 2019 A simplified stabilizer ZX-calculus M Backens, S Perdrix, Q Wang
arXiv preprint arXiv:1602.04744, 2016
44 2016 Generalised compositional theories and diagrammatic reasoning B Coecke, R Duncan, A Kissinger, Q Wang
Quantum Theory: Informational Foundations and Foils, 309-366, 2015
39 2015 A compositional model of consciousness based on consciousness-only CM Signorelli, Q Wang, I Khan
Entropy 23 (3), 308, 2021
35 2021 Quantum technique for access control in cloud computing II: Encryption and key distribution L Zhou, Q Wang, X Sun, P Kulicki, A Castiglione
Journal of Network and Computer Applications 103, 178-184, 2018
33 2018 ZX-rules for 2-qubit Clifford+ T quantum circuits B Coecke, Q Wang
Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018
33 2018 Qutrit ZX-calculus is complete for Stabilizer Quantum Mechanics Q Wang
arXiv preprint arXiv:1803.00696, 2018
32 2018 Supplementarity is necessary for quantum diagram reasoning S Perdrix, Q Wang
arXiv preprint arXiv:1506.03055, 2015
29 2015 Kindergarden quantum mechanics graduates... or how I learned to stop gluing LEGO together and love the ZX-calculus B Coecke, D Horsman, A Kissinger, Q Wang
Theoretical Computer Science 897, 1-22, 2022
27 2022 Qufinite ZX-calculus: a unified framework of qudit ZX-calculi Q Wang
arXiv preprint arXiv:2104.06429, 2021
27 2021 Reasoning about conscious experience with axiomatic and graphical mathematics CM Signorelli, Q Wang, B Coecke
Consciousness and Cognition 95, 103168, 2021
26 2021 Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus B Poór, Q Wang, RA Shaikh, L Yeh, R Yeung, B Coecke
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023
25 2023 Completeness of the zx-calculus for pure qubit clifford+ t quantum mechanics KF Ng, Q Wang
arXiv preprint arXiv:1801.07993, 2018
25 2018 Qutrit dichromatic calculus and its universality Q Wang, X Bian
arXiv preprint arXiv:1406.3056, 2014
25 2014 
Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteEmail được xác minh tại quantinuum.com
