Jiangchao Liu
发表
Jiangchao Liu,
2018
.
Xavier Rival,
Jiangchao Liu,
Xavier Rival,
2017,
Comput. Lang. Syst. Struct..
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
pdf
Liqian Chen,
Xiaowei Huang,
Jianlin Li,
2019,
SAS.
Bor-Yuh Evan Chang,
Xavier Rival,
Matthieu Lemerre,
2016
.
Xavier Rival,
Jiangchao Liu,
2015,
VMCAI.
Xavier Rival,
Liqian Chen,
Jiangchao Liu,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Liqian Chen,
Jiangchao Liu,
Ji Wang,
2020,
IEEE Transactions on Reliability.
Liqian Chen,
Jiangchao Liu,
Longming Dong,
2012,
2012 IEEE International Conference on Information Science and Technology.
Xavier Rival,
Jiangchao Liu,
2015,
APLAS.
Ji Wang,
Liqian Chen,
Jiangchao Liu,
2012,
2012 IEEE International Conference on Information Science and Technology.
Liqian Chen,
Jiangchao Liu,
Ji Wang,
2020,
ArXiv.
Patrick Cousot,
Liqian Chen,
Ji Wang,
2019,
SAS.
Deepak Kapur,
Liqian Chen,
Antoine Miné,
2014,
SAS.
Liqian Chen,
Jiangchao Liu,
Renjue Li,
2021,
Formal Aspects of Computing.