Hengfeng Wei
Scholar

Hengfeng Wei

Google Scholar ID: HK9-98EAAAAJ
Hunan University
Distributed ComputingFormal MethodDatabases
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
217
 
H-index
10
 
i10-index
11
 
Publications
20
 
Co-authors
17
list available
Contact
No contact links provided.
Publications
4 items
Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
2026
Cited
0
Fast Verification of Strong Database Isolation (Extended Version)
2025
Cited
0
Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
2025
Cited
0
Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version)
2025
Cited
0
Resume (English only)
Co-authors
17 total
Anqun Pan
Anqun Pan
Unknown affiliation
Co-author 2
Co-author 2
Yu Huang
Yu Huang
Nanjing University
Xiaoxing Ma
Xiaoxing Ma
Professor of Computer Science and Technology, Nanjing University
David Basin
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Yuxing Chen
Yuxing Chen
Tencent
Jiannong Cao
Jiannong Cao
IEEE Fellow; Chair Professor, Hong Kong Polytechnic University
Taolue Chen
Taolue Chen
School of Computing and Mathematical Sciences, Birkbeck, University of London