1
Publications
31
Citations
1
H-Index
2002
Active since
Affiliations
National University of Singapore(Current)
Zhenjiang Hu is an author at National University of Singapore specializing in formal verification, engineering, and parallel programming.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisCluster ComputingSoftware AnalysisParallel ComputingFormal VerificationComputer EngineeringParallel Programming
Publications per year
2002–2002
1
1
Parallelization via context preservation
Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu · 2002 · 31 citations
Rows per page
1–1 of 1