Yingjia Du

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Linear Programming

High Dimensional Data

Top Venues

Publications

Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu
Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. SEKE (2023)