Huiquan Zhu

According to our database, Huiquan Zhu authored at least 6 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Discussion on themedication regularityand mechanismofancient prescriptionin treating hiccup basedon data miningand networkpharmacology.

Huiquan Zhu, Zhaosheng Yan, Hanmo Xu, Leilei Zhu

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2020

Characterization of <i>k</i>-subconnected graphs.

Zongrong Qin, Dingjun Lou, Huiquan Zhu, Jun Liang

Appl. Math. Comput., 2020

2016

From verified model to executable program: the PAT approach.

Huiquan Zhu, Jing Sun, Jin Song Dong, Shang-Wei Lin

Innov. Syst. Softw. Eng., 2016

2013

Generating C# Programs from CSP# Models.

Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, Shang-Wei Lin

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2010

Model Checking C# Code: A Translation Approach.

Huiquan Zhu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

2004

A note on max-leaves spanning tree problem in Halin graphs.

Dingjun Lou, Huiquan Zhu

Australas. J Comb., 2004