Scholar

Xiwei Wu

Google Scholar ID: YDV2bpYAAAAJ

Professor, City of Hope

GenomicsBioinformaticsCancer BiomarkermiRNA

Google Scholar↗

Citations & Impact

All-time

Citations

21,741

H-index

71

i10-index

197

Publications

20

Co-authors

4

list available

Contact

No contact links provided.

Publications

3 items

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications

2026

Cited

0

Stellis: A Strategy Language for Purifying Separation Logic Entailments

2025

Cited

0

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

2025

Cited

0

Resume (English only)

Co-authors

4 total