21
Publications
770
Citations
16
H-Index
2004
Active since
Shan Huang is an author at Georgia Institute of Technology specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationSoftware EngineeringAutomated ReasoningManagementSoftware Design
Publications per year
2004–2021
21
21
Datalog and emerging applications
Shan Huang, Todd Jeffrey Green, Boon Thau Loo · 2011 · 113 citations
Rows per page
1–5 of 21