Statistics
Publications
4
Citations
203
H-Index
4
Active since
2012
Guanhua He is an author at National University of Singapore specializing in plant sciences, plant gene expression, and computing.
Publications per year
2012–2020
4
4
Loop invariant synthesis in a combined abstract domain
Shengchao Qin, Guanhua He, Chenguang Luo et al. · Journal of Symbolic Computation · 2012 · 13 citations
1–4 of 4