Jianlin Li

Cited by

	All	Since 2019
Citations	187	183
h-index	5	5
i10-index	5	5

2020202120222023202415 25 65 57 21

Public access

View all

6 articles

1 article

available

not available

Based on funding mandates

Co-authors

Pengfei YangInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Cheng-Chao HuangInstitute of Software, Chinese Academy of SciencesVerified email at nj.iscas.ac.cn
Jiangchao LiuByteDanceVerified email at bytedance.com
Liqian ChenAssociate Professor, National University of Defense Technology, ChinaVerified email at nudt.edu.cn
Bai XueFull Professor, State Key Laboratory of Computer Science,Institute of Software, CASVerified email at ios.ac.cn
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Jingyi WangAssistant Professor, Zhejiang UniversityVerified email at zju.edu.cn
Hasan Ferit EniserMPI-SWSVerified email at mpi-sws.org
Valentin WüstholzConsenSysVerified email at consensys.net
Maria ChristakisProfessor @ TU Wien InformaticsVerified email at tuwien.ac.at
Jorge A NavasCertoraVerified email at certora.com
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Verified email at cs.uni-saarland.de
Hongfei FuShanghai Jiao Tong UniversityVerified email at cs.sjtu.edu.cn
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn

Jianlin Li

University of Waterloo

Verified email at uwaterloo.ca

Computer Science Logic Programming Languages Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Analyzing deep neural networks with symbolic propagation: Towards higher precision and faster verification J Li, J Liu, P Yang, L Chen, X Huang, L Zhang Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019	90	2019
Improving neural network verification through spurious region guided refinement P Yang, R Li, J Li, CC Huang, J Wang, J Sun, B Xue, L Zhang International Conference on Tools and Algorithms for the Construction and …, 2021	42	2021
Prodeep: a platform for robustness verification of deep neural networks R Li, J Li, CC Huang, P Yang, X Huang, L Zhang, B Xue, H Hermanns Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020	25	2020
Enhancing robustness verification for deep neural networks via symbolic propagation P Yang, J Li, J Liu, CC Huang, R Li, L Chen, X Huang, L Zhang Formal Aspects of Computing 33 (3), 407-435, 2021	18	2021
Automated safety verification of programs invoking neural networks M Christakis, HF Eniser, H Hermanns, J Hoffmann, Y Kothari, J Li, ... Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021	10	2021
Type-preserving, dependence-aware guide generation for sound, effective amortized probabilistic inference J Li, L Ven, P Shi, Y Zhang Proceedings of the ACM on Programming Languages 7 (POPL), 1454-1482, 2023	2	2023
Verifying probabilistic timed automata against omega-regular dense-time properties H Fu, Y Li, J Li Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018		2018

The system can't perform the operation now. Try again later.

Articles 1–7

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors