Xiaoning Bian

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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

2023
Generators and Relations for 3-Qubit Clifford+CS Operators.
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

2022
Generators and Relations for 2-Qubit Clifford+T Operators.
Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2021
Generators and relations for U<sub>n</sub>(Z[½, i]).
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.
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.
Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

2015
Graphical Calculus for Qutrit Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

2014
Qutrit Dichromatic Calculus and Its Universality.
Proceedings of the 11th workshop on Quantum Physics and Logic, 2014


  Loading...