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
-
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.
