| 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 | 7 | 2023 |
| 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 | 6 | 2023 |
| 基于文献时间特征的学科主题演化分析方法研究——以图书情报学领域为例 沈思， 王东波， 张祥， 张文博 图书情报工作 57 (7), 81-88, 2013 | 6 | 2013 |
| Uniform random process model revisited W Zhang, H Long, X Xu Asian Symposium on Programming Languages and Systems, 388-404, 2019 | 5 | 2019 |
| 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 | 4 | 2023 |
| 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 | 4 | 2023 |
| 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 | 2 | 2020 |
| Speech preprocessing and enhancement based on joint time domain and time-frequency domain analysis W Zhang, X Xie, Y Du, D Huang The Journal of the Acoustical Society of America 155 (6), 3580-3588, 2024 | 1 | 2024 |
| 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 | 1 | 2022 |
| The Principle of Staking: Formal Verification of Staking Smart Contract Z Zhang, K Chen, W Guo, W Zhang International Symposium on Dependable Software Engineering: Theories, Tools …, 2024 | | 2024 |
| The Formal Verification of Aptos Coin K Chen, J Luo, Y Lu, Z Zhang, W Zhang, X Wang, P Li, J Zhao International Conference on Information Security, 3-22, 2024 | | 2024 |
| DCENet: A Dense Contextual Ensemble Network for Multi-Class Ocean Front Detection Q He, B Gong, W Song, Y Du, D Zhao, W Zhang IEEE Geoscience and Remote Sensing Letters, 2024 | | 2024 |
| Analyzing Divergence for Nondeterministic Probabilistic Models H Wu, Y Fu, H Long, X Xu, W Zhang arXiv preprint arXiv:2403.00491, 2024 | | 2024 |
| 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 |
| 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, 2018 | | 2018 |
| 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 |