Xingyuan Zhang

发表

Yanting Pei, Yaping Huang, Xingyuan Zhang, 2019, ArXiv.

Yuanyuan Wang, Xingyuan Zhang, Chunhan Wu, 2008, 2008 International Conference on Computer Science and Software Engineering.

Christian Urban, Xingyuan Zhang, Chunhan Wu, 2019, Journal of Automated Reasoning.

Yuanyuan Wang, Xingyuan Zhang, Huabing Yang, 2006, MSN.

Qi Zou, Yanting Pei, Xingyuan Zhang, 2019, IEEE Transactions on Pattern Analysis and Machine Intelligence.

Jian Xu, Christian Urban, Sebastiaan J. C. Joosten, 2019 .

Mark Harman, Malcolm Munro, Lin Hu, 2002, Inf. Softw. Technol..

Jian Xu, Christian Urban, Xingyuan Zhang, 2013, ITP.

Xingyuan Zhang, Ximin Yuan, Fuchang Tian, 2020, Journal of Flood Risk Management.

Mark Harman, Malcolm Munro, Lin Hu, 2003, International Conference on Communication Technology Proceedings, 2003. ICCT 2003..

Song Wang, Xingyuan Zhang, Yang Mi, 2020, IEEE Transactions on Image Processing.

Mark Harman, Malcolm Munro, Lin Hu, 2002, Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation.

Christian Urban, Xingyuan Zhang, Chunhan Wu, 2013, CPP.

Mark Harman, Malcolm Munro, Lin Hu, 2002, TPHOLs.

Qi Zou, Song Wang, Yanting Pei, 2020, Pattern Recognit. Lett..

Christian Urban, Xingyuan Zhang, Chunhan Wu, 2012, Journal of Automated Reasoning.

Xingyuan Zhang, Huabing Yang, 2006 .

Yuanyuan Wang, Xingyuan Zhang, Huabing Yang, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

Wei Long, Xingyuan Zhang, Liang Luo, 2015, 2015 IEEE International Conference on Mechatronics and Automation (ICMA).

Mark Harman, José Javier Dolado, Robert M. Hierons, 2002, International Conference on Software Maintenance, 2002. Proceedings..

Mark Harman, Malcolm Munro, Lahcen Ouarbya, 2002, Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation.

Dong Lin, Xingyuan Zhang, Hui Jiang, 2008, Journal of Computer Science and Technology.

Jian Xu, Christian Urban, Sebastiaan J. C. Joosten, 2019, Arch. Formal Proofs.

Mark Harman, Malcolm Munro, Lin Hu, 2001, Proceedings 9th International Workshop on Program Comprehension. IWPC 2001.

Xingyuan Zhang, Huabing Yang, Jinshuang Wang, 2009, TPHOLs.

Lin Hu, Xingyuan Zhang, Malcolm Munro, 2001, Proceedings Eighth Working Conference on Reverse Engineering.

Christian Urban, Xingyuan Zhang, 2015, Lecture Notes in Computer Science.

Mark Harman, David W. Binkley, Malcolm Munro, 2004, Automated Software Engineering.

Song Wang, Qi Zou, Yanting Pei, 2020, Appl. Intell..

Qi Zou, Yaping Huang, Xingyuan Zhang, 2020, IET Comput. Vis..

Qi Zou, Junbo Liu, Xingyuan Zhang, 2018, J. Electronic Imaging.

Christian Urban, Xingyuan Zhang, 2019, Journal of Automated Reasoning.

Christian Urban, Xingyuan Zhang, Chunhan Wu, 2013, Journal of Automated Reasoning.

Yanting Pei, Yaping Huang, Xingyuan Zhang, 2021, IEEE Transactions on Circuits and Systems for Video Technology.

Hisashi Tanizaki, Xingyuan Zhang, Hisashi Tanizaki, 2001 .

Running Gao, Xingyuan Zhang, Xiufang Wang, 2013, Proceedings of 2013 2nd International Conference on Measurement, Information and Control.

Xingyuan Zhang, Xingyuan Zhang, K. Shinjo, 2003 .