Foundationally Sound Annotation Verifier via Control Flow Splitting. - Litao Zhou (SPLASH Companion, 2022)

Recursive Subtyping for All. - Litao Zhou; Yaoda Zhou; Bruno C. d. S. Oliveira (Proc. ACM Program. Lang., 2023)

A Battery Capacity Estimation Framework Combining Hybrid Deep Neural Network and Regional Capacity Calculation Based on Real-World Operating Data. - Qiushi Wang; Zhenpo Wang; Lei Zhang 053; Peng Liu 064; Litao Zhou (IEEE Trans. Ind. Electron., 2023)

Full Iso-Recursive Types. - Litao Zhou; Qianyong Wan; Bruno C. d. S. Oliveira (Proc. ACM Program. Lang., 2024)

SAU-Net: A Novel Network for Building Extraction From High-Resolution Remote Sensing Images by Reconstructing Fine-Grained Semantic Features. - Meng Chen; Ting Mao; Jianjun Wu; Ruohua Du; Bingyu Zhao; Litao Zhou (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024)

Exploring Physiological and Nonphysiological Responses of Sun-Induced Chlorophyll Fluorescence to Different Levels of Water Stress in Winter Wheat. - Jingyu Lin; Litao Zhou; Jianjun Wu (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024)

VST-A: A Foundationally Sound Annotation Verifier. - Litao Zhou; Jianxing Qin; Qinshi Wang; Andrew W. Appel; Qinxiang Cao (Proc. ACM Program. Lang., 2024)

Recursive subtyping for all. - Litao Zhou; Yaoda Zhou; Qianyong Wan; Bruno C. d. S. Oliveira (J. Funct. Program., 2025)

QuickSub: Efficient Iso-Recursive Subtyping. - Litao Zhou; Bruno C. d. S. Oliveira (Proc. ACM Program. Lang., 2025)