Liqian Chen
发表
Xiaoguang Mao,
Ziying Dai,
Liqian Chen,
2014
.
Liqian Chen,
Dengping Wei,
Banghu Yin,
2022,
Science of Computer Programming.
Liqian Chen,
Tun Li,
Dan Luo,
2022,
Integr..
D. Lo,
Xiaoguang Mao,
Liqian Chen,
2022,
ASE.
Xiaoguang Mao,
Liqian Chen,
Tao Ji,
2018,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Ming Wen,
Xiaoguang Mao,
Liqian Chen,
2019,
2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM).
Liqian Chen,
Jiangchao Liu,
Renjue Li,
2021,
Formal Aspects of Computing.
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
pdf
Liqian Chen,
Xiaowei Huang,
Jianlin Li,
2019,
SAS.
Xiaoguang Mao,
Liqian Chen,
Xin Yi,
2016,
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).
Xiaoguang Mao,
Liqian Chen,
Xin Yi,
2019,
PACMPL.
Xiaoguang Mao,
Liqian Chen,
Xin Yi,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
Patrick Cousot,
Liqian Chen,
Antoine Miné,
2008,
APLAS.
Liqian Chen,
Jiangchao Liu,
Ji Wang,
2020,
IEEE Transactions on Reliability.
Ji Wang,
Liqian Chen,
Dengping Wei,
2011,
Comput. Sci. Inf. Syst..
Xavier Rival,
Liqian Chen,
Jiangchao Liu,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Deepak Kapur,
Liqian Chen,
Antoine Miné,
2014,
SAS.
Liqian Chen,
Yingfei Xiong,
Tao Xie,
2020,
ESEC/SIGSOFT FSE.
Ji Wang,
Liqian Chen,
Jiangchao Liu,
2012,
2012 IEEE International Conference on Information Science and Technology.
Liqian Chen,
Ji Wang,
Xueguang Wu,
2014,
Sci. Comput. Program..
Guoqiang Li,
Hongming Liu,
Liqian Chen,
2023,
ArXiv.
Patrick Cousot,
Liqian Chen,
Ji Wang,
2019,
SAS.
Liqian Chen,
Banghu Yin,
Ji Wang,
2021,
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Liqian Chen,
Ji Wang,
Tengbin Wang,
2021,
CP.
Liqian Chen,
Jiangchao Liu,
Ji Wang,
2020,
ArXiv.
Liqian Chen,
Jianhui Mao,
Liqian Chen,
2012,
2012 Second International Conference on Intelligent System Design and Engineering Application.
Ji Wang,
Wei Dong,
Liqian Chen,
2014,
J. Appl. Math..
Liqian Chen,
Jiangchao Liu,
Banghu Yin,
2022,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Ji Wang,
Wei Dong,
Liqian Chen,
2013,
2013 IEEE Seventh International Conference on Software Security and Reliability Companion.