Jiangnan University — China
Computer Science · Physical Sciences
46h-index10.4kcitations956works2.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(143), Software Testing and Debugging Techniques(131), Adversarial Robustness in Machine Learning(68), Software Reliability and Analysis Research(67), Software Engineering Research(63)
Publications952 total
Transportation Research Part E Logistics and Transportation Review·2025
arXiv (Cornell University)·2025Open Access
Electronics·2025Open Access
arXiv (Cornell University)·2025Open Access
Materials Science and Engineering A·2025
IEEE Transactions on Software Engineering·2025
Proceedings of the ACM on Programming Languages·2025· 2 citedOpen Access
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
arXiv (Cornell University)·2025Open Access
Precision medicine and engineering.·2025Open Access
arXiv (Cornell University)·2025Open Access
IEEE Transactions on Dependable and Secure Computing·2025· 3 cited
IEEE Transactions on Power Electronics·2025
arXiv (Cornell University)·2025Open Access
Frontiers in Nutrition·2025· 3 citedOpen Access
Results in Engineering·2025· 1 citedOpen Access
page 1 of 48Next →
Frequent Co-authors
Yang Liu(14), Jin Song Dong(12), Xin Peng(5), Tao Xie(4), Yun Lin(4), Yinxing Xue(4), Xiang Zhou(3), Christopher M. Poskitt(3), Long Hoang Pham(3), Jingyi Wang(3), Chao Ji(2), Yuqi Chen(2), Tai D. Nguyen(2), Qilin Xiang(2), Persi Diaconis(2), Wenyun Zhao(2), Kazuhiro Yamashita(2), Ence Zhou(2), Bingfeng Pi(2), Peixin Zhang(2)