Towards a Verified STM. - Liyang Hu; Graham Hutton (Trends in Functional Programming, 2008)

Compiling Concurrency Correctly: Cutting out the Middle Man. - Liyang Hu; Graham Hutton (Trends in Functional Programming, 2009)

Compiling concurrency correctly : verifying software transactional memory. - Liyang Hu (2013)

A Parameter-free Nonconvex Low-rank Tensor Completion Model for Spatiotemporal Traffic Data Recovery. - Yang He; Yuheng Jia; Liyang Hu; Chengchuan An; Zhenbo Lu; Jingxin Xia (CoRR, 2022)

IG-Net: An Interaction Graph Network Model for Metro Passenger Flow Forecasting. - Pei Li; Sheng Wang; Hantao Zhao; Jia Yu; Liyang Hu; Haodong Yin; Zhiyuan Liu 002 (IEEE Trans. Intell. Transp. Syst., 2023)

A Flexible and Robust Tensor Completion Approach for Traffic Data Recovery With Low-Rankness. - Liyang Hu; Yuheng Jia; Weijie Chen; Longhui Wen; Zhirui Ye (IEEE Trans. Intell. Transp. Syst., 2024)

Soft Actor-Critic Deep Reinforcement Learning for Train Timetable Collaborative Optimization of Large-Scale Urban Rail Transit Network Under Dynamic Demand. - Longhui Wen; Liyang Hu; Wei Zhou; Gang Ren 005; Ning Zhang (IEEE Trans. Intell. Transp. Syst., 2025)