Xin Chen
Scholar

Xin Chen

Google Scholar ID: fDvCpnEAAAAJ
University of New Mexico
Autonomous SystemsVerificationSecurityFormal MethodsInterval Analysis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,872
 
H-index
24
 
i10-index
38
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
1 items
Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
2026
Cited
0
Resume (English only)
Co-authors
11 total
Sriram Sankaranarayanan
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Wenchao Li
Wenchao Li
Associate Professor, Boston University
Qi Zhu
Qi Zhu
Professor of Computer Engineering
Fanxin Kong
Fanxin Kong
University of Notre Dame
Matthias Althoff
Matthias Althoff
Associate Professor in Computer Science, Technische Universität München
Co-author 6
Co-author 6
Alvaro A. Cardenas
Alvaro A. Cardenas
Professor of Computer Science and Engineering. University of California, Santa Cruz
Co-author 8
Co-author 8