A Flexible and Robust Tensor Completion Approach for Traffic Data Recovery With Low-Rankness.
IEEE Trans. Intell. Transp. Syst., March, 2024
IG-Net: An Interaction Graph Network Model for Metro Passenger Flow Forecasting.
IEEE Trans. Intell. Transp. Syst., April, 2023
A Parameter-free Nonconvex Low-rank Tensor Completion Model for Spatiotemporal Traffic Data Recovery.
CoRR, 2022
Compiling concurrency correctly : verifying software transactional memory.
PhD thesis, 2013
Compiling Concurrency Correctly: Cutting out the Middle Man.
Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008