Uniform Random Process Model Revisited. - Wenbo Zhang 004; Huan Long; Xian Xu 001 (APLAS, 2019)

Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete. - Wenbo Zhang 004; Qiang Yin 002; Huan Long; Xian Xu 001 (ICALP, 2020)

On the Interactive Power of Higher-order Processes Extended with Parameterization. - Wenbo Zhang 004; Xian Xu 001; Qiang Yin 002; Huan Long (Formal Aspects Comput., 2021)

Efficient Subjective Video Quality Assessment Based on Active Learning and Clustering. - Xiaochen Liu; Wei Song 007; Wenbo Zhang 004; Mario Di Mauro; Antonio Liotta (MoMM, 2022)

The Principle of Staking: Formal Verification of Staking Smart Contract. - Zhongyun Zhang; Kundu Chen; Weiqi Guo; Wenbo Zhang 004 (SETTA, 2024)

Analyzing Divergence for Nondeterministic Probabilistic Models. - Hao Wu; Yuxi Fu; Huan Long; Xian Xu 001; Wenbo Zhang 004 (CoRR, 2024)

DCENet: A Dense Contextual Ensemble Network for Multiclass Ocean Front Detection. - Qi He 003; Bo Gong; Wei Song 007; Yanling Du; Danfeng Zhao; Wenbo Zhang 004 (IEEE Geosci. Remote. Sens. Lett., 2024)

MSPT: A Transformer-Based Model Using Multiscale Periodic Information for 10-30 d Subseasonal Daily Sea Surface Temperature Forecasting. - Qi He 003; Zhenfeng Lan; Wei Song 007; Wenbo Zhang 004; Yanling Du; Wei Zhao (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2025)