( en | de | ru )

 

Disambiguation of "Zhong, Hao"

Author of the publication

copydeleteadd this publication to your clipboard
The role of model checking in software engineering.

, , , , and . Frontiers Comput. Sci., 12 (4): 642-668 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xiaofei Hao

Wenjin Hao

Lianmin Zhong

Gang Zhong

Weimin Zhong

 

Other publications of authors with the same name

Periodic sequence in netflow recognizing algorithm., and . WCNIS, page 573-576. IEEE, (2010)Adaptive Pairwise Preference Learning for Collaborative Recommendation with Implicit Feedbacks., , , , and . CIKM, page 1999-2002. ACM, (2014)Towards green rural energy in Yunnan, China, , , , and . Renewable Energy, 30 (2): 99--108 (February 2005)Network Embedding Based On Structural Information Entropy: Network embedding., , , , , , and . BSCI, page 198-203. ACM, (2020)Exploring the Social Learning of Taxi Drivers in Latent Vehicle-to-Vehicle Networks., , , , and . IEEE Trans. Mob. Comput., 19 (8): 1804-1817 (2020)How do programmers fix bugs as workarounds? An empirical study on Apache projects., , , and . Empir. Softw. Eng., 28 (4): 96 (July 2023)Decision aggregation with reliability propagation., , , and . Decis. Support Syst., (March 2024)SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code., , , , , and . IEICE Trans. Inf. Syst., 100-D (3): 473-482 (2017)The application of machine learning algorithms in predicting the length of stay following femoral neck fracture., , , , , , , , , and 3 other author(s). Int. J. Medical Informatics, (2021)Migrating Client Code without Change Examples., and . CoRR, (2021)