Wenbo Zhang

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Video Quality Assessment

Workflow Technology

Top Venues

Formal Aspects Comput.

Publications

Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang
Analyzing Divergence for Nondeterministic Probabilistic Models. CoRR (2024)
Xiaochen Liu, Wei Song, Wenbo Zhang, Mario Di Mauro, Antonio Liotta
Efficient Subjective Video Quality Assessment Based on Active Learning and Clustering. MoMM (2022)
Wenbo Zhang, Xian Xu, Qiang Yin, Huan Long
On the Interactive Power of Higher-order Processes Extended with Parameterization. Formal Aspects Comput. 33 (2) (2021)
Wenbo Zhang, Qiang Yin, Huan Long, Xian Xu
Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete. ICALP (2020)
Wenbo Zhang, Huan Long, Xian Xu
Uniform Random Process Model Revisited. APLAS (2019)