Yingte Xu

Orcid: 0000-0001-9071-7862

According to our database1, Yingte Xu authored at least 3 papers between 2023 and 2025.

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

Timeline

2023
2024
2025
0
1
2
3
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Automating Equational Proofs in Dirac Notation.
Proc. ACM Program. Lang., 2025

2023
Refinement calculus of quantum programs with projective assertions.
CoRR, 2023

Verification of Nondeterministic Quantum Programs.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023


  Loading...