Litao Zhou

According to our database, Litao Zhou authored at least 7 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

VST-A: A Foundationally Sound Annotation Verifier.

Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao

Proc. ACM Program. Lang., January, 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

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

Full Iso-Recursive Types.

Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2024

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, Peng Liu, Litao Zhou

IEEE Trans. Ind. Electron., August, 2023

Recursive Subtyping for All.

Litao Zhou, Yaoda Zhou, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., January, 2023

2022

Foundationally Sound Annotation Verifier via Control Flow Splitting.

Litao Zhou

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022