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
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
Co-authors
7 total
Yingfei Xiong
Associate Professor, Peking University
Haiyan Zhao
Peking University
Kazutaka Matsuda
Tohoku University
Wei-Ngan Chin
National University of Singapore
Yijun Yu
The Open University
Carlo Ghezzi
Emeritus Professor, Politecnico di Milano
Zhi Jin, Fellow of IEEE and CCF
Professor - Peking University, Hongyi Visiting Professor - Wuhan University
