East China Jiaotong University — China
Computer Science · Physical Sciences
33h-index5.1kcitations322works1.92yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(36), Advanced Data Storage Technologies(23), Parallel Computing and Optimization Techniques(21), Caching and Content Delivery(20), Embedded Systems Design Techniques(19)
Publications321 total
IEEE Transactions on Computers·2025
Formal Methods in System Design·2025
Proceedings of the Institution of Mechanical Engineers Part D Journal of Automobile Engineering·2025
Elsevier eBooks·2025
International Journal of Automotive Technology·2025· 2 cited
Communications in computer and information science·2025
Lecture notes in computer science·2024
Lecture notes in computer science·2024
Proceedings of the Institution of Mechanical Engineers Part D Journal of Automobile Engineering·2024· 2 cited
International Journal of Advanced Robotic Systems·2024· 2 citedOpen Access
arXiv (Cornell University)·2024Open Access
IEEE Transactions on Mobile Computing·2024
Sensors·2024· 8 citedOpen Access
IEEE Transactions on Systems Man and Cybernetics Systems·2024· 15 cited
International Journal of Software and Informatics·2024Open Access
arXiv (Cornell University)·2023Open Access
page 1 of 17Next →
Frequent Co-authors
Lifeng Wu(13), Zili Shao(8), Zhen Peng(5), Duo Liu(5), Houbing Song(5), Guohui Wang(5), Zhiwei Qin(4), Yi Wang(4), Jindong Tan(4), Rui Wang(4), Yu Jiang(4), Xiaojuan Li(4), Beibei Yao(3), Guoqing Kang(3), Hongxing Wei(3), Ran Zhang(2), Zhen Peng(2), Nannan Zhang(2), Zhenzhou Shao(2), Renhai Chen(2)