Jie Su
Scholar

Jie Su

Google Scholar ID: mBcSVo0AAAAJ
Guangzhou Institute of Technology, Xidian University
Formal Verification，Model Checking，Concurrent Program Verification
Google Scholar↗
Citations & Impact
All-time
Citations
124
 
H-index
4
 
i10-index
2
 
Publications
11
 
Co-authors
0
 
Contact
No contact links provided.
Publications
3 items
A Unified Cortical Circuit Model with Divisive Normalization and Self-Excitation for Robust Representation and Memory Maintenance
2025
Cited
0
Attention in Diffusion Model: A Survey
2025
Cited
0
MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)