Huiquan Zhu

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 3

Top Topics

Series Parallel

Graph Theoretical

Complex Structures

Top Venues

Innov. Syst. Softw. Eng.

Appl. Math. Comput.

Publications

Huiquan Zhu, Zhaosheng Yan, Hanmo Xu, Leilei Zhu
Discussion on themedication regularityand mechanismofancient prescriptionin treating hiccup basedon data miningand networkpharmacology. BIBM (2023)
Zongrong Qin, Dingjun Lou, Huiquan Zhu, Jun Liang
-subconnected graphs. Appl. Math. Comput. 364 (2020)
Huiquan Zhu, Jing Sun, Jin Song Dong, Shang-Wei Lin
From verified model to executable program: the PAT approach. Innov. Syst. Softw. Eng. 12 (1) (2016)
Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, Shang-Wei Lin
Generating C# Programs from CSP# Models. ICST Workshops (2013)
Huiquan Zhu
Model Checking C# Code: A Translation Approach. SSIRI (Companion) (2010)
Dingjun Lou, Huiquan Zhu
A note on max-leaves spanning tree problem in Halin graphs. Australas. J Comb. 29 (2004)