Zhemin Wang

According to our database, Zhemin Wang authored at least 4 papers between 2016 and 2024.

Collaborative distances:

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

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

J. Cloud Comput., December, 2024

Ordered Submodularity-Based Value Maximization of UAV Data Collection in Earthquake Areas.

Jixian Zhang, Zhemin Wang, Hao Wu, Weidong Li

IEEE Trans. Netw. Sci. Eng., 2024

Design and Implementation of an Aspect-Oriented C Programming Language.

Zhe Chen, Yunlong Zhu, Zhemin Wang

Proc. ACM Program. Lang., 2024

2016

Parametric Runtime Verification of C Programs.

Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016