Some applications of formalized consistency proofs G. Kreisel; Hao Wang — 1955 Fundamenta Mathematicae
State classification for a class of interacting superprocesses with location dependent branching. Wang, Hao — 2002 Electronic Communications in Probability [electronic only]
Superprocesses with dependent spatial motion and general branching densities. Dawson, Donald A.; Li, Zenghu; Wang, Hao — 2001 Electronic Journal of Probability [electronic only]