I am studying for a PhD at BASICS, Shanghai Jiao Tong University, supervised by Prof. Yuxi Fu.
Contact
- Email: wbzhang (at) sjtu.edu.cn
- Office: Room 3-327, SEIEE Building
Papers
-
Wenbo Zhang, Qiang Yin, Huan Long, Xian Xu. Bisimulation Equivalence of Pushdown Automata is Ackermann-Complete. In Proceedings of the 47th International Colloquium on Automata, Languages and Programming (ICALP'20), 141:1-14, 2020.
-
Wenbo Zhang, Huan Long, Xian Xu. Uniform Random Process Model Revisited. In Proceedings of the 17th Asian Symposium on Programming Languages and Systems (APLAS'19), 388-404, 2019.
-
Wenbo Zhang, Huan Long. State-of-the-Art Survey on Verification of Vector Addition Systems. (in Chinese) Journal of Software, Vol. 29(6), 1566-1581, 2018.
