​
Login / Signup
Chong Ye
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 5
Top Topics
Moment Invariants
Literature Review
Smart City
Security Concerns
Top Venues
Comput. Intell. Neurosci.
ESEC/SIGSOFT FSE
INFOCOM
Complex.
</>
Publications
</>
Delong Zhang
,
Chong Ye
,
Fei He
P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs.
INFOCOM
(2024)
Chong Ye
,
Fei He
P4b: A Translator from P4 Programs to Boogie.
ESEC/SIGSOFT FSE
(2023)
Chong Ye
,
Zhaoyang Zhao
,
Jinlong Cai
The Impact of Smart City Construction on the Quality of Foreign Direct Investment in China.
Complex.
2021 (2021)
Chong Ye
,
Wenting Cao
,
Shijun Chen
Security challenges of blockchain in Internet of things: Systematic literature review.
Trans. Emerg. Telecommun. Technol.
32 (8) (2021)
Shijun Chen
,
Xiaoli Han
,
Yunbin Shen
,
Chong Ye
Application of Improved LSTM Algorithm in Macroeconomic Forecasting.
Comput. Intell. Neurosci.
2021 (2021)