Yingte Xu

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Provably Correct

Signature Verification

Quantum Computing

Top Venues

Publications

Yuan Feng, Li Zhou, Yingte Xu
Refinement calculus of quantum programs with projective assertions. CoRR (2023)
Yuan Feng, Yingte Xu
Verification of Nondeterministic Quantum Programs. ASPLOS (3) (2023)
Yuan Feng, Yingte Xu
Verification of Nondeterministic Quantum Programs. CoRR (2023)