The Impact of Corporate ESG Ratings on Green Innovation Development. - Hanxiao Li; Xuankai Zhang (DSIT, 2024)

A Binary Level Verification Framework for Real-Time Performance of PLC Program in Backhaul/Fronthaul Networks. - Xuankai Zhang; Jun Wu 001; Jianhua Li 001; Ali Kashif Bashir; Chao Sang; Bei Pei; Marwan Omar (ICC, 2024)

Binary-Level Formal Verification Based Automatic Security Ensurement for PLC in Industrial IoT. - Xuankai Zhang; Jianhua Li 001; Jun Wu 001; Guoxing Chen; Yan Meng 001; Haojin Zhu; Xiaosong Zhang 001 (IEEE Trans. Dependable Secur. Comput., 2025)