A universal completion of the ZX-calculus. - Kang Feng Ng; Quanlong Wang (CoRR, 2017)

Two complete axiomatisations of pure-state qubit quantum computing. - Amar Hadzihasanovic; Kang Feng Ng; Quanlong Wang (LICS, 2018)

A Diagrammatic Axiomatisation of Fermionic Quantum Circuits. - Amar Hadzihasanovic; Giovanni de Felice; Kang Feng Ng (FSCD, 2018)

Completeness of the ZW and ZX calculi. - Kang Feng Ng (2018)

A diagrammatic calculus of fermionic quantum circuits. - Giovanni de Felice; Amar Hadzihasanovic; Kang Feng Ng (Log. Methods Comput. Sci., 2019)