Wenbo Zhang 张文博

I am a lecturer in College of Information Technology at Shanghai Ocean University. I obtained a PhD degree from Shanghai Jiao Tong University in 2020, supervised by Prof. Yuxi Fu.

Reseach Interests

• Formal Verification
• Process Algebra

Contact

• Email: wbzhang (at) shou.edu.cn
  
• Postal Address:
  College of Information Technology
  Shanghai Ocean University
  No. 999, Hucheng Ring Road, Shanghai
  

Papers

• The Parametric Complexity of Bisimulation Equivalence of Normed Pushdown Automata
  Wenbo Zhang.
  Frontiers of Computer Science, accepted.
• On the Interactive Power of Higher-order Processes Extended with Parameterization
  Wenbo Zhang, Xian Xu, Qiang Yin and Huan Long.
  Formal Aspects of Computing, accepted.
• 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'20), 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'19), 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.