Browsing byAuthorHsu, J
Showing results 1 to 5 of 5
| 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-02 | Intentions and willingness to engage in risky driving behaviour among high school adolescents: evaluating the bstreetsmart road safety programme. | Sharwood, LN; Martiniuk, A; Sarrami Foroushani, P; Seggie, J; Wilson, S; Hsu, J; Burns, B; Logan, DB |
| 2020-01-01 | Relational proofs for quantum programs | Barthe, G; Hsu, J; Ying, M; Yu, N; Zhou, L |
| 2018-05-01 | Simulation-based multidisciplinary team training decreases time to critical operations for trauma patients | Murphy, M; Curtis, K; Lam, MK; Palmer, CS; Hsu, J; McCloughen, A |
