Xingyuan Zhang
Publication Activity (10 Years)
Years Active: 2001-2024
Publications (10 Years): 20
Publications (10 Years): 20
Publications
- Xingyuan Zhang, Fuhai Zhang
- Xingyuan Zhang, Ya-Ping Huang, Yang Mi, Yanting Pei, Qi Zou, Song Wang
- Yanting Pei, Yaping Huang, Xingyuan Zhang
- Rongjun Qin, Songyi Gao, Xingyuan Zhang, Zhen Xu, Shengkai Huang, Zewen Li, Weinan Zhang, Yang Yu
- Xingyuan Zhang, Christian Urban, Chunhan Wu
- Dianzhuan Jiang, Shengsheng Zhang, Yaping Huang, Qi Zou, Xingyuan Zhang, Mengyang Pu, Junbo Liu
- Xingyuan Zhang, Yaping Huang, Qi Zou, Yanting Pei, Runsheng Zhang, Song Wang
- Xingyuan Zhang, Christian Urban
- Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. JoostenUniversal Turing Machine. Arch. Formal Proofs 2019 (2019)
- Yanting Pei, Yaping Huang, Xingyuan Zhang
- Xingyuan Zhang, Yaping Huang, Qi Zou, Qingji Guan, Junbo Liu
- Yanting Pei, Yaping Huang, Qi Zou, Hao Zang, Xingyuan Zhang, Song Wang
- Chunhan Wu, Xingyuan Zhang, Christian Urban
- Jian Xu, Xingyuan Zhang, Christian Urban
- Chunhan Wu, Xingyuan Zhang, Christian Urban
- Xingyuan Zhang, Christian Urban, Chunhan Wu
- Chunhan Wu, Xingyuan Zhang, Christian Urban
- Jinshuang Wang, Huabing Yang, Xingyuan Zhang
- Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang
- Huabing Yang, Xingyuan Zhang, Yuanyuan Wang
- Huabing Yang, Xingyuan Zhang, Yuanyuan Wang
- Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
- Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
- Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
- Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
- Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
- Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
- Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang