Scholar
Zhenjiang Hu
Google Scholar ID: MvGKdLoAAAAJ
Professor, School of Computer Science, Peking University
Programming Languages
Software Engineering
Parallel Processing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
6,189
H-index
42
i10-index
130
Publications
20
Co-authors
46
list available
Contact
No contact links provided.
Publications
4 items
Stellis: A Strategy Language for Purifying Separation Logic Entailments
2025
Cited
0
NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool
2025
Cited
0
C*: Unifying Programming and Verification in C
2025
Cited
0
Cross-Layer Feature Pyramid Transformer for Small Object Detection in Aerial Images
IEEE Transactions on Geoscience and Remote Sensing · 2024
Cited
2
Resume (English only)
Co-authors
46 total
Co-author 1
Yingfei Xiong
Associate Professor, Peking University
Co-author 3
Co-author 4
Co-author 5
Haiyan Zhao
Peking University
Co-author 7
Kazutaka Matsuda
Tohoku University
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up