Issue Date | Title | Author(s) |
2017-05-09 | Correction: LGR5 regulates pro-survival MEK/ERK and proliferative Wnt/β-catenin signalling in neuroblastoma. | Vieira, GC; Chockalingam, S; Melegh, Z; Greenhough, A; Malik, S; Szemes, M; Park, JH; Kaidi, A; Zhou, L; Catchpoole, D; Morgan, R; Bates, DO; Gabb, PJ; Malik, K |
2021-07-01 | When is the chernoff exponent for quantum operations finite? | Yu, N; Zhou, L |
2020-02 | Pineoblastoma segregates into molecular sub-groups with distinct clinico-pathologic features: a Rare Brain Tumor Consortium registry study. | Li, BK; Vasiljevic, A; Dufour, C; Yao, F; Ho, BLB; Lu, M; Hwang, EI; Gururangan, S; Hansford, JR; Fouladi, M; Nobusawa, S; Laquerriere, A; Delisle, M-B; Fangusaro, J; Forest, F; Toledano, H; Solano-Paez, P; Leary, S; Birks, D; Hoffman, LM; Szathmari, A; Faure-Conter, C; Fan, X; Catchpoole, D; Zhou, L; Schultz, KAP; Ichimura, K; Gauchotte, G; Jabado, N; Jones, C; Loussouarn, D; Mokhtari, K; Rousseau, A; Ziegler, DS; Tanaka, S; Pomeroy, SL; Gajjar, A; Ramaswamy, V; Hawkins, C; Grundy, RG; Hill, DA; Bouffet, E; Huang, A; Jouvet, A |
2022 | CoqQ: Foundational Verification of Quantum Programs. | Zhou, L; Barthe, G; Strub, P-Y; Liu, J; 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 |
2023-01-09 | CoqQ: Foundational Verification of Quantum Programs | Zhou, L; Barthe, G; Strub, PY; Liu, J; Ying, M |