Parametric Runtime Verification of C Programs. - Zhe Chen 011; Zhemin Wang; Yunlong Zhu; Hongwei Xi 001; Zhibin Yang (TACAS, 2016)

Design and Implementation of an Aspect-Oriented C Programming Language. - Zhe Chen 011; Yunlong Zhu; Zhemin Wang (Proc. ACM Program. Lang., 2024)

Ordered Submodularity-Based Value Maximization of UAV Data Collection in Earthquake Areas. - Jixian Zhang; Zhemin Wang; Hao Wu 010; Weidong Li 002 (IEEE Trans. Netw. Sci. Eng., 2024)

A Novel Clinching Auction Mechanism for Edge Computing Resource Allocation With Budget Limits. - Jixian Zhang; Hao Sun; Zhemin Wang; Qian Su; Weidong Li 002 (Trans. Emerg. Telecommun. Technol., 2024)

A resource competition-based truthful mechanism for IoV edge computing resource allocation with a lowest revenue limit. - Jixian Zhang; Zhemin Wang; Athanasios V. Vasilakos; Weidong Li 002 (J. Cloud Comput., 2024)