Please also refer to my Google Scholar profile.

Selected Papers

• The Principle of Staking: Formal Verification of Staking Smart Contract
  Zhongyun Zhang, Kundu Chen, Weiqi Guo and Wenbo Zhang.
  In Proceedings of the 10th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA), 161-179, 2024.
• The Formal Verification of Aptos Coin
  Kundu Chen, Jie Luo, Yi Lu, Zhongyun Zhang, Wenbo Zhang, Xudong Wang, Pan Li, Jun Zhao.
  In Proceedings of the 27th Information Security Conference (ISC), 3-22, 2024.
• Speech preprocessing and enhancement based on joint time domain and time-frequency domain analysis
  Wenbo Zhang, Xuefeng Xie, Yanling Du and Dongmei Huang.
  The Journal of the Acoustical Society of America, 155(6): 2580-2588, 2024.
• The Parametric Complexity of Bisimulation Equivalence of Normed Pushdown Automata
  Wenbo Zhang.
  Frontiers of Computer Science, 16(4): 1-7, 2022.
• On Decidability of the Bisimilarity on Higher-order Processes with Parameterization
  Xian Xu and Wenbo Zhang.
  In Proceedings of Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics (EXPRESS/SOS), EPTCS 339: 76-92, 2021.
• On the Interactive Power of Higher-order Processes Extended with Parameterization
  Wenbo Zhang, Xian Xu, Qiang Yin and Huan Long.
  Formal Aspects of Computing, 33(2): 151-183, 2021.
• Bisimulation Equivalence of Pushdown Automata is Ackermann-Complete
  Wenbo Zhang, Qiang Yin, Huan Long and Xian Xu.
  In Proceedings of the 47th International Colloquium on Automata, Languages and Programming (ICALP), 141:1-14, 2020.
• Uniform Random Process Model Revisited
  Wenbo Zhang, Huan Long and Xian Xu.
  In Proceedings of the 17th Asian Symposium on Programming Languages and Systems (APLAS), 388-404, 2019.
• State-of-the-Art Survey on Verification of Vector Addition Systems
  Wenbo Zhang and Huan Long.
  Journal of Software (in Chinese), Vol. 29(6), 1566-1581, 2018.
• On Bisimilarity Equivalence Checking Problems
  Wenbo Zhang.
  PhD thesis, Shanghai Jiao Tong University, 2020. (in Chinese)