A note on max-leaves spanning tree problem in Halin graphs. - Dingjun Lou; Huiquan Zhu (Australas. J Comb., 2004)

Model Checking C# Code: A Translation Approach. - Huiquan Zhu (SSIRI (Companion), 2010)

Generating C# Programs from CSP# Models. - Huiquan Zhu; Jin Song Dong; Bimlesh Wadhwa; Shang-Wei Lin 001 (ICST Workshops, 2013)

From verified model to executable program: the PAT approach. - Huiquan Zhu; Jing Sun 002; Jin Song Dong; Shang-Wei Lin 001 (Innov. Syst. Softw. Eng., 2016)

Characterization of k-subconnected graphs. - Zongrong Qin; Dingjun Lou; Huiquan Zhu; Jun Liang 002 (Appl. Math. Comput., 2020)

Discussion on themedication regularityand mechanismofancient prescriptionin treating hiccup basedon data miningand networkpharmacology. - Huiquan Zhu; Zhaosheng Yan; Hanmo Xu; Leilei Zhu (BIBM, 2023)