Zhe Dang
Author
Alternate names Z. Dang, Zhe Dang, Zhuofan Dang
Institution Xi'an University of Technology
Past institutions Washington State University, Xi'an University of Technology, Anhui University of Technology, University of North Carolina at Charlotte, University of California, Santa Barbara +2 more
ORCID: Yes
H-index: 18
I10-index: 32
Works count: 111
Citations count: 997
Binary Reachability Analysis of Discrete Pushdown Timed Automata
2000 · Zhe Dang, Óscar H. Ibarra, et al. · Lecture notes in computer science
Pushdown timed automata: a binary reachability characterization and safety verification
2003 · Zhe Dang · Theoretical Computer Science
Catalytic P systems, semilinear sets, and vector addition systems
2003 · Óscar H. Ibarra, Zhe Dang, et al. · Theoretical Computer Science