Scholar

Zhiyi Wang

Google Scholar ID: Xbm6BB8AAAAJ

Unknown affiliation

Google Scholar↗

Citations & Impact

All-time

Citations

40

H-index

2

i10-index

1

Publications

2

Co-authors

0

Contact

No contact links provided.

Publications

5 items

Adapting SAM to Nuclei Instance Segmentation and Classification via Cooperative Fine-Grained Refinement

2026

Cited

0

Stellis: A Strategy Language for Purifying Separation Logic Entailments

2025

Cited

0

Object Reconstruction under Occlusion with Generative Priors and Contact-induced Constraints

2025

Cited

0

NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool

2025

Cited

0

C*: Unifying Programming and Verification in C

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)