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
Publications
9 items
Mechanizing Transactional Anomalous Patterns for Weak Isolation Levels
2026
Cited
0
Distribution-Aware Distributed Database Testing (Extended Version)
2026
Cited
0
Extending Elle for Transaction Workloads with Duplicate Values
2026
Cited
0
Semantic Conformance of Concurrency Control Protocols under Mixed Isolation Levels
2026
Cited
0
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
Load more
Co-authors
15 total
Anqun Pan
Unknown affiliation
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
Weining Cao
Nanjing University
