Statistics
Publications
3
Citations
41
H-Index
3
Active since
2012
Affiliations
Nanjing University(Current)
Hengfeng Wei is an author at Nanjing University specializing in computing, computer engineering, and context-aware computing.
Publications per year
2012–2024
3
3
Efficient Black-Box Checking of Snapshot Isolation in Databases
Kaile Huang, Si Liu, Zhenge Chen et al. · Proceedings of the VLDB Endowment · 2023 · 17 citations
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
Guangyuan Wu, Yuan Yao, Hengfeng Wei et al. · 2024 · 12 citations
1–3 of 3