Browsing byAuthorBarthe, G
Showing results 1 to 7 of 7
Issue Date | Title | Author(s) |
2021 | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. | Zhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N |
2021-06-29 | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic | Zhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N |
2023-01-09 | CoqQ: Foundational Verification of Quantum Programs | Zhou, L; Barthe, G; Strub, PY; Liu, J; Ying, M |
2022 | CoqQ: Foundational Verification of Quantum Programs. | Zhou, L; Barthe, G; Strub, P-Y; Liu, J; Ying, M |
2022-08-02 | Qantum Weakest Preconditions for Reasoning about Expected Runtimes of Qantum Programs | Liu, J; Zhou, L; Barthe, G; Ying, M |
2022 | Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. | Liu, J; Zhou, L; Barthe, G; Ying, M; Baier, C; Fisman, D |
2020-01-01 | Relational proofs for quantum programs | Barthe, G; Hsu, J; Ying, M; Yu, N; Zhou, L |