Xiaoning Bian

According to our database, Xiaoning Bian authored at least 9 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop.

Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui

CoRR, 2024

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic.

Xin Sun, Xingchi Su, Xiaoning Bian, Huiwen Wu

CoRR, 2024

2023

Generators and Relations for 3-Qubit Clifford+CS Operators.

Xiaoning Bian, Peter Selinger

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

2022

Generators and Relations for 2-Qubit Clifford+T Operators.

Xiaoning Bian, Peter Selinger

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2021

Generators and relations for U_n(Z[½, i]).

Xiaoning Bian, Peter Selinger

Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

2020

Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities.

Niel de Beaudrap, Xiaoning Bian, Quanlong Wang

Proceedings of the 15th Conference on the Theory of Quantum Computation, 2020

2019

Techniques to Reduce (π/4)-Parity-Phase Circuits, Motivated by the ZX Calculus.

Niel de Beaudrap, Xiaoning Bian, Quanlong Wang

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

2015

Graphical Calculus for Qutrit Systems.

Xiaoning Bian, Quanlong Wang

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

2014

Qutrit Dichromatic Calculus and Its Universality.

Quanlong Wang, Xiaoning Bian

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014