Scholar
Hengfeng Wei
Google Scholar ID: HK9-98EAAAAJ
Hunan University
Distributed Computing
Formal Method
Databases
Follow
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
5 items
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs
2026
Cited
0
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
Unknown affiliation
Co-author 2
Yu Huang
Nanjing University
Xiaoxing Ma
Professor of Computer Science and Technology, Nanjing University
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Yuxing Chen
Tencent
Jiannong Cao
IEEE Fellow; Chair Professor, Hong Kong Polytechnic University
Taolue Chen
School of Computing and Mathematical Sciences, Birkbeck, University of London
