The Impact of Smart City Construction on the Quality of Foreign Direct Investment in China. - Chong Ye; Zhaoyang Zhao; Jinlong Cai (Complex., 2021)

Security challenges of blockchain in Internet of things: Systematic literature review. - Chong Ye; Wenting Cao; Shijun Chen (Trans. Emerg. Telecommun. Technol., 2021)

P4b: A Translator from P4 Programs to Boogie. - Chong Ye; Fei He 001 (ESEC/SIGSOFT FSE, 2023)

P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs. - Delong Zhang; Chong Ye; Fei He 001 (INFOCOM, 2024)

On Temporal Verification of Stateful P4 Programs. - Delong Zhang; Chong Ye; Fei He 001 (NSDI, 2025)