Edit Profile (opens in new tab) Chen, Liqian Co-Author Distance Author ID: chen.liqian Published as: Chen, Liqian Documents Indexed: 11 Publications since 1998, including 1 Additional arXiv Preprint Co-Authors: 20 Co-Authors with 7 Joint Publications 651 Co-Co-Authors all top 5 Co-Authors 0 single-authored 5 Wang, Ji 3 Cousot, Patrick 3 Miné, Antoine 2 Wu, Xueguang 1 Cai, Yan 1 Chen, Zhenbang 1 Dou, Wensheng 1 Duong, Manh Hong 1 Guo, Jinxian 1 Han, The Anh 1 Huang, Chengchao 1 Jiang, Jiahong 1 Jiang, Jiatong 1 Li, Lian 1 Li, Renjue 1 Liang, Bin 1 Liu, Jiangchao 1 Liu, Shuqi 1 Liu, Zhaoyang 1 Shen, Jie 1 Wang, Qianxiang 1 Wu, Yuan 1 Xiong, Yingfei 1 Xuan, Jifeng 1 Yang, Pengfei 1 Zhang, Chao 1 Zhang, Jian 1 Zhang, Lijun Serials 1 Computer Physics Communications 1 European Journal of Physics 1 International Journal of Plasticity 1 Formal Aspects of Computing 1 Journal of Software all top 5 Fields 8 Computer science (68-XX) 3 Numerical analysis (65-XX) 2 Quantum theory (81-XX) 1 Mathematical logic and foundations (03-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 6 Publications have been cited 13 times in 11 Documents Cited by ▼ Year ▼ Applications of semi-implicit Fourier-spectral method to phase field equations. Zbl 1017.65533 Chen, L. Q.; Shen, Jie 145 1998 Interval polyhedra: an abstract domain to infer interval linear relationships. Zbl 1248.68140 Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 8 2009 Effect of solutes on dislocation motion – a phase-field simulation. Zbl 1254.74002 Hu, S. Y.; Li, Y. L.; Zheng, Y. X.; Chen, L. Q. 6 2004 An abstract domain to discover interval linear equalities. Zbl 1273.68081 Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 3 2010 Linear absolute value relation analysis. Zbl 1326.68086 Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 1 2011 Enhancing robustness verification for deep neural networks via symbolic propagation. Zbl 1519.68228 Yang, Pengfei; Li, Jianlin; Liu, Jiangchao; Huang, Cheng-Chao; Li, Renjue; Chen, Liqian; Huang, Xiaowei; Zhang, Lijun 1 2021 Enhancing robustness verification for deep neural networks via symbolic propagation. Zbl 1519.68228 Yang, Pengfei; Li, Jianlin; Liu, Jiangchao; Huang, Cheng-Chao; Li, Renjue; Chen, Liqian; Huang, Xiaowei; Zhang, Lijun 1 2021 Linear absolute value relation analysis. Zbl 1326.68086 Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 1 2011 An abstract domain to discover interval linear equalities. Zbl 1273.68081 Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 3 2010 Interval polyhedra: an abstract domain to infer interval linear relationships. Zbl 1248.68140 Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 8 2009 Effect of solutes on dislocation motion – a phase-field simulation. Zbl 1254.74002 Hu, S. Y.; Li, Y. L.; Zheng, Y. X.; Chen, L. Q. 6 2004 Applications of semi-implicit Fourier-spectral method to phase field equations. Zbl 1017.65533 Chen, L. Q.; Shen, Jie 145 1998 all cited Publications top 5 cited Publications all top 5 Cited by 35 Authors 3 Chen, Liqian 3 Wang, Ji 2 Wu, Xueguang 1 Balakrishnan, Gogul 1 Benhamou, Frédéric 1 Brain, Martin 1 Chen, Guangke 1 Chen, Taolue 1 Cortesi, Agostino 1 Cousot, Patrick 1 Dang, Thao 1 Dreossi, Tommaso 1 D’silva, Vijay 1 Ghorbal, Khalil 1 Griggio, Alberto 1 Gupta, Aarti 1 Halder, Raju 1 Haller, Leopold 1 Ivančić, Franjo 1 Jiang, Jiahong 1 Kröning, Daniel 1 Liu, Jiaxiang 1 Maeda, Naoto 1 Miné, Antoine 1 Pelleau, Marie 1 Piazza, Carla 1 Reps, Thomas W. 1 Schulze Frielinghaus, Stefan 1 Seidl, Helmut 1 Sharma, Tushar 1 Song, Fu 1 Truchet, Charlotte 1 Vogler, Ralf 1 Zhang, Yedi 1 Zhao, Zhe Cited in 2 Serials 4 Formal Methods in System Design 1 Constraints Cited in 4 Fields 9 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year