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

6 items

Divisive Normalization Shapes Low-Rank Slow Manifolds for Continuous Working Memory

2026

Cited

0

CockpitHAT: Dependency-Graph-Driven Hierarchical Attribution for Embodied Multi-Agent Cockpits

2026

Cited

0

Self-organized MT Direction Maps Emerge from Spatiotemporal Contrastive Optimization

2026

Cited

0

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)