Zhenjiang Hu
Scholar

Zhenjiang Hu

Google Scholar ID: MvGKdLoAAAAJ
Professor, School of Computer Science, Peking University
Programming LanguagesSoftware EngineeringParallel Processing
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
Co-author 1
Yingfei Xiong
Yingfei Xiong
Associate Professor, Peking University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Haiyan Zhao
Haiyan Zhao
Peking University
Co-author 7
Co-author 7
Kazutaka Matsuda
Kazutaka Matsuda
Tohoku University