Scholar
Han Xu
Google Scholar ID: tvMu6QcAAAAJ
Princeton University
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
17
H-index
2
i10-index
0
Publications
5
Co-authors
0
Contact
No contact links provided.
Publications
3 items
Network Analysis with Parametric NetKAT
2026
Cited
0
Kleene Algebra with Transitive Commutativity Conditions
2026
Cited
0
Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
