Sign in
Zhemin Wang
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 2
Top Topics
Multi Unit
Sealed Bid Auctions
Symbolic Execution
Resource Allocation
Top Venues
J. Cloud Comput.
TACAS
</>
Publications
</>
Jixian Zhang
,
Zhemin Wang
,
Athanasios V. Vasilakos
,
Weidong Li
A resource competition-based truthful mechanism for IoV edge computing resource allocation with a lowest revenue limit.
J. Cloud Comput.
13 (1) (2024)
Zhe Chen
,
Zhemin Wang
,
Yunlong Zhu
,
Hongwei Xi
,
Zhibin Yang
Parametric Runtime Verification of C Programs.
TACAS
(2016)