Concepedia

Hongwei Xi

HX

4

Publications

208

Citations

4

H-Index

2003

Active since

Affiliations

Boston University(Current)

Hongwei Xi is an author at Boston University specializing in formal methods, formal verification, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisVerificationSoftware DesignSoftware Engineering

Publications per year

2003–2007

4

Publications

4

Combining programming with theorem proving

Chiyan Chen, Hongwei Xi · 2005 · 113 citations

Mathematical Programming, Engineering, Type Theory +16

Meta-programming through typeful code representation

Chiyan Chen, Hongwei Xi · 2003 · 56 citations

Engineering, Generic Programming, Automated Reasoning +13

Meta-programming through typeful code representation

Chiyan Chen, Hongwei Xi · Journal of Functional Programming · 2005 · 21 citations · Full text

Engineering, Generic Programming, Automated Reasoning +13

A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F

K. Donnelly, Hongwei Xi · Electronic Notes in Theoretical Computer Science · 2007 · 18 citations · Full text

Engineering, Type Theory, Verification +16

Rows per page

1–4 of 4