A Coq-Based Infrastructure for Quantum Programming, Verification and Simulation. - Wenxuan Tao; Gang Chen (TAMC, 2024)

Federated DDQN-Based Frequency Hopping Strategy for FANETs in Complex Jamming Environments. - Wenxuan Tao; Ningbo Zhang; Teng Sun; Guangqian Peng; Hao Chen (VTC Fall, 2024)