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
96 2018 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
84 2012 A simple voting protocol on quantum blockchain X Sun, Q Wang, P Kulicki, M Sopek
International Journal of Theoretical Physics 58, 275-281, 2019
80 2019 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
71 2020 A universal completion of the ZX-calculus KF Ng, Q Wang
arXiv preprint arXiv:1706.09877, 2017
69 2017 Towards quantum-secured permissioned blockchain: Signature, consensus, and logic X Sun, M Sopek, Q Wang, P Kulicki
Entropy 21 (9), 887, 2019
62 2019 Techniques to Reduce N de Beaudrap, X Bian, Q Wang
arXiv preprint arXiv:1911.09039, 2019
48 2019 A simplified stabilizer zx-calculus M Backens, S Perdrix, Q Wang
arXiv preprint arXiv:1602.04744, 2016
43 2016 Generalised compositional theories and diagrammatic reasoning B Coecke, R Duncan, A Kissinger, Q Wang
Quantum Theory: Informational Foundations and Foils, 309-366, 2016
38 2016 ZX-rules for 2-qubit Clifford+ T quantum circuits B Coecke, Q Wang
Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018
33 2018 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
31 2018 A compositional model of consciousness based on consciousness-only CM Signorelli, Q Wang, I Khan
Entropy 23 (3), 308, 2021
30 2021 Qutrit ZX-calculus is complete for Stabilizer Quantum Mechanics Q Wang
arXiv preprint arXiv:1803.00696, 2018
29 2018 Supplementarity is necessary for quantum diagram reasoning S Perdrix, Q Wang
arXiv preprint arXiv:1506.03055, 2015
28 2015 Qufinite ZX-calculus: a unified framework of qudit ZX-calculi Q Wang
arXiv preprint arXiv:2104.06429, 2021
26 2021 Completeness of the ZX-calculus for pure qubit clifford+ t quantum mechanics KF Ng, Q Wang
arXiv preprint arXiv:1801.07993, 2018
25 2018 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
24 2022 Qutrit dichromatic calculus and its universality Q Wang, X Bian
arXiv preprint arXiv:1406.3056, 2014
24 2014 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
23 2023 Interplay of metal-based nanoparticles with plant rhizosphere microenvironment: implications for nanosafety and nano-enabled sustainable agriculture Q Wang, P Zhang, W Zhao, Y Li, Y Jiang, Y Rui, Z Guo, I Lynch
Environmental Science: Nano 10 (2), 372-392, 2023
23 2023 
Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteBestätigte E-Mail-Adresse bei quantinuum.com
