Statistics
Publications
3
Citations
42
H-Index
3
Active since
2006
Zhi is an author specializing in formal methods, verification, and functional analysis.
Publications per year
2006–2015
3
3
Modeling and verifying Web services driven by requirements： An ontologybased approach
Hou, Lishan, Jin Jin et al. · 中国科学：F辑英文版 · 2006 · 17 citations
Web Service Specification, Engineering, Web Service Modeling +12
Schwarz-Pick Estimates for Bounded Holomorphic Functions in the Unit Ball of Cn
Zhi, Hua Hua, Chen et al. · 数学学报：英文版 · 2010 · 12 citations
Riemann-hilbert Problem, Schwarz-pick Estimates, Functional Analysis +3
1–3 of 3