Xiyue Zhang
发表
Meng Sun,
Ze-Jun Wei,
Xiyue Zhang,
2022,
2206.14621.
Meng Sun,
Ze-Jun Wei,
Xiyue Zhang,
2022,
ArXiv.
Xiyue Zhang,
Xiyue Zhang,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Yang Liu,
Qiang Hu,
Xiaofei Xie,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Xiyue Zhang,
Guiping Chen,
2022,
Wireless Communications and Mobile Computing.
Yi Li,
Meng Sun,
Xiyue Zhang,
2019,
Sci. Comput. Program..
Yi Li,
Meng Sun,
Weijiang Hong,
2019,
Sci. Comput. Program..
Yi Li,
Meng Sun,
Xiyue Zhang,
2017,
SBMF.
Yi Li,
Meng Sun,
Weijiang Hong,
2016,
FACS.
Xiaofei Xie,
Xiaoning Du,
Xiyue Zhang,
2021,
AAAI.
Yi Li,
Meng Sun,
Xiyue Zhang,
2020,
COORDINATION.
Meng Sun,
Xiyue Zhang,
Yihao Zhang,
2023,
ArXiv.
Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks
Meng Sun,
Xiyue Zhang,
Yihao Zhang,
2023,
Journal of Logical and Algebraic Methods in Programming.
M. Kwiatkowska,
Benjie Wang,
Xiyue Zhang,
2023,
ArXiv.
Shurui Zhou,
A. Olechowski,
Kathy Cheng,
2023,
Proc. ACM Hum. Comput. Interact..
Meng Sun,
Weijiang Hong,
Xiyue Zhang,
2019,
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Xiyue Zhang,
Xiyue Zhang,
2018,
ICFEM.
Meng Sun,
Xiyue Zhang,
Meng Sun,
2018,
FORMATS.
Yi Li,
Meng Sun,
Weijiang Hong,
2017,
SEFM Workshops.
M. Kwiatkowska,
Xiyue Zhang,
2023,
2023 18th Conference on Computer Science and Intelligence Systems (FedCSIS).
Lei Ma,
Yang Liu,
Xiaofei Xie,
2019,
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS).