4 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.PL2025
D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
Yingte Xu, Li Zhou, Gilles Barthe
Labelled Dirac notation is a formalism commonly used by physicists to represent many-body quantum systems and by computer scientists to assert properties of quantum programs. It is…
cs.PL2024★ 4 cited
Automating Equational Proofs in Dirac Notation
Yingte Xu, Gilles Barthe, Li Zhou
Dirac notation is widely used in quantum physics and quantum programming languages to define, compute and reason about quantum states. This paper considers Dirac notation from the…
cs.LO2023★ 1 cited
Refinement calculus of quantum programs with projective assertions
Yuan Feng, Li Zhou, Yingte Xu
Refinement calculus provides a structured framework for the progressive and modular development of programs, ensuring their correctness throughout the refinement process. This pape…