Kang Feng Ng

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 5

Top Topics

Logic Synthesis

Diagrammatic Reasoning

Cardinal Directions

Quantum Computing

Top Venues

Log. Methods Comput. Sci.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Giovanni de Felice, Amar Hadzihasanovic, Kang Feng Ng
A diagrammatic calculus of fermionic quantum circuits. Log. Methods Comput. Sci. 15 (3) (2019)
Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng
A Diagrammatic Axiomatisation of Fermionic Quantum Circuits. FSCD (2018)
Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng
A diagrammatic axiomatisation of fermionic quantum circuits. CoRR (2018)
Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang
Two complete axiomatisations of pure-state qubit quantum computing. LICS (2018)
Kang Feng Ng, Quanlong Wang
A universal completion of the ZX-calculus. CoRR (2017)