| iRegNet3D: three-dimensional integrated regulatory network for the genomic analysis of coding and non-coding disease mutations S Liang, ND Tippens, Y Zhou, M Mort, PD Stenson, DN Cooper, H Yu Genome biology 18, 1-16, 2017 | 10 | 2017 |
| Revisiting Iso-Recursive Subtyping Y Zhou, J Zhao, BCS Oliveira ACM Transactions on Programming Languages and Systems (TOPLAS), 2022 | 8 | 2022 |
| Recursive Subtyping for All L Zhou, Y Zhou, BCS Oliveira Proceedings of the ACM on Programming Languages 7 (POPL), 1396-1425, 2023 | 5 | 2023 |
| A Calculus with Recursive Types, Record Concatenation and Subtyping Y Zhou, BCS Oliveira, A Fan Programming Languages and Systems: 20th Asian Symposium, APLAS 2022 …, 2022 | 1 | 2022 |
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
