55
Publications
2.8K
Citations
24
H-Index
1996
Active since
Hongwei Xi is an author at Nanyang Technological University specializing in engineering, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationChemistryProgram AnalysisSoftware AnalysisVerificationNatural Sciences
Publications per year
1996–2024
55
55
Dependent types in practical programming
Hongwei Xi, Frank Pfenning · 1999 · 576 citations · Full text
Guarded recursive datatype constructors
Hongwei Xi, Chiyan Chen, Gang Chen · 2003 · 327 citations
Eliminating array bound checking through dependent types
Hongwei Xi, Frank Pfenning · 1998 · 285 citations
TPS: A theorem-proving system for classical type theory
Peter B. Andrews, Matthew Bishop, Sunil Issar et al. · Journal of Automated Reasoning · 1996 · 109 citations
A dependently typed assembly language
Hongwei Xi, Robert Harper · 2001 · 94 citations
Engineering, Computer Architecture, Software Engineering +18
Rows per page
1–5 of 55