Please also refer to my Google Scholar profile.

Selected Papers

• 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.
• The Parametric Complexity of Bisimulation Equivalence of Normed Pushdown Automata
  Wenbo Zhang.
  Frontiers of Computer Science, 16(4): 1-7, 2022.
• 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)