Xiaoning Bian

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 7

Top Topics

Database Query Languages

Probabilistic Knowledge

Totally Ordered

Binary Relations

Top Venues

IEICE Trans. Fundam. Electron. Commun. Comput. Sci.

Publications

Xin Sun, Xingchi Su, Xiaoning Bian, Huiwen Wu
On the Relative Completeness of Satisfaction-based Quantum Hoare Logic. CoRR (2024)
Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui
On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop. CoRR (2024)
Xiaoning Bian, Peter Selinger
Generators and Relations for 3-Qubit Clifford+CS Operators. QPL (2023)
Xiaoning Bian, Peter Selinger
Generators and Relations for 2-Qubit Clifford+T Operators. QPL (2022)
Xiaoning Bian, Peter Selinger
(Z[½, i]). QPL (2021)
Niel de Beaudrap, Xiaoning Bian, Quanlong Wang
Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities. TQC (2020)
Niel de Beaudrap, Xiaoning Bian, Quanlong Wang
Techniques to Reduce (π/4)-Parity-Phase Circuits, Motivated by the ZX Calculus. QPL (2019)
Xiaoning Bian, Quanlong Wang
Graphical Calculus for Qutrit Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2015)
Quanlong Wang, Xiaoning Bian
Qutrit Dichromatic Calculus and Its Universality. QPL (2014)