Follow
Wenbo Zhang
Wenbo Zhang
Verified email at shou.edu.cn - Homepage
Title
Cited by
Cited by
Year
基于文献时间特征的学科主题演化分析方法研究——以图书情报学领域为例
沈思, 王东波, 张祥, 张文博
图书情报工作 57 (7), 81-88, 2013
62013
Uniform random process model revisited
W Zhang, H Long, X Xu
Asian Symposium on Programming Languages and Systems, 388-404, 2019
52019
A new multi-level grid multiple-relaxation-time lattice Boltzmann method with spatial interpolation
Z Liu, S Li, J Ruan, W Zhang, L Zhou, D Huang, J Xu
Mathematics 11 (5), 1089, 2023
42023
Evaluating airfoil mesh quality with transformer
Z Liu, H Liu, Y Chen, W Zhang, W Song, L Zhou, Q Wei, J Xu
Aerospace 10 (2), 110, 2023
22023
Bisimulation equivalence of pushdown automata is Ackermann-complete
W Zhang, Q Yin, H Long, X Xu
47th International Colloquium on Automata, Languages, and Programming (ICALP …, 2020
22020
Visibility graph analysis of the sea surface temperature irreversibility during El Niņo events
D Zhao, X Yang, W Song, W Zhang, D Huang
Nonlinear Dynamics 111 (18), 17393-17409, 2023
12023
Analyzing Divergence for Nondeterministic Probabilistic Models
H Wu, Y Fu, H Long, X Xu, W Zhang
arXiv preprint arXiv:2403.00491, 2024
2024
A Hard-Constraint Wide-Body Physics-Informed Neural Network Model for Solving Multiple Cases in Forward Problems for Partial Differential Equations
S Chen, Z Liu, W Zhang, J Yang
Applied Sciences 14 (1), 189, 2023
2023
Correction to: Visibility graph analysis of the sea surface temperature irreversibility during El Niņo events
D Zhao, X Yang, W Song, W Zhang, D Huang
Nonlinear Dynamics 111 (18), 17411-17411, 2023
2023
Efficient Subjective Video Quality Assessment Based on Active Learning and Clustering
X Liu, W Song, W Zhang, M Di Mauro, A Liotta
International Conference on Advances in Mobile Computing and Multimedia …, 2022
2022
The parametric complexity of bisimulation equivalence of normed pushdown automata
W Zhang
Frontiers of Computer Science 16 (4), 164405, 2022
2022
基于形式化方法的智能合约验证研究综述
张文博, 陈思敏, 魏立斐, 宋巍, 黄冬梅
网络与信息安全学报 8 (4), 12-28, 2022
2022
On Decidability of the Bisimilarity on Higher-order Processes with Parameterization
X Xu, W Zhang
arXiv preprint arXiv:2108.10494, 2021
2021
On the interactive power of higher-order processes extended with parameterization
W Zhang, X Xu, Q Yin, H Long
Formal Aspects of Computing 33 (2), 151-183, 2021
2021
向量加法系统验证问题研究综述
张文博, 龙环
软件学报 29 (6), 1566-1581, 2017
2017
Access Control Models for Information Retrieval in Social Network
W ZHANG, X ZHANG, Y QIAN, C XING, P WANG
Journal of Computational Information Systems 9 (16), 6511-6518, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–16