Wenbo Zhang

According to our database, Wenbo Zhang authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

DCENet: A Dense Contextual Ensemble Network for Multiclass Ocean Front Detection.

Qi He, Bo Gong, Wei Song, Yanling Du, Danfeng Zhao, Wenbo Zhang

IEEE Geosci. Remote. Sens. Lett., 2024

Analyzing Divergence for Nondeterministic Probabilistic Models.

Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang

CoRR, 2024

The Principle of Staking: Formal Verification of Staking Smart Contract.

Zhongyun Zhang, Kundu Chen, Weiqi Guo, Wenbo Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

2022

Efficient Subjective Video Quality Assessment Based on Active Learning and Clustering.

Xiaochen Liu, Wei Song, Wenbo Zhang, Mario Di Mauro, Antonio Liotta

Proceedings of the Advances in Mobile Computing and Multimedia Intelligence, 2022

2021

On the Interactive Power of Higher-order Processes Extended with Parameterization.

Wenbo Zhang, Xian Xu, Qiang Yin, Huan Long

Formal Aspects Comput., 2021

2020

Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete.

Wenbo Zhang, Qiang Yin, Huan Long, Xian Xu

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

Uniform Random Process Model Revisited.

Wenbo Zhang, Huan Long, Xian Xu

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019