Proving hypergeometric identities by numerical verifications. - Qiang-Hui Guo; Qing-Hu Hou; Lisa Hui Sun (J. Symb. Comput., 2008)

Zigzag Stacks and m-Regular Linear Stacks. - William Y. C. Chen; Qiang-Hui Guo; Lisa Hui Sun; Jian Wang 092 (J. Comput. Biol., 2014)

Enumeration of Extended m-Regular Linear Stacks. - Qiang-Hui Guo; Lisa Hui Sun; Jian Wang 092 (J. Comput. Biol., 2016)

Approximation Algorithms for Protein Folding in the Hydrophobic-Polar Model on 3D Hexagonal Prism Lattice. - Qiang-Hui Guo; Jian Wang 092; Zhao Xu (J. Comput. Biol., 2018)

On the Number of Saturated and Optimal Extended 2-Regular Simple Stacks in the Nussinov-Jacobson Energy Model. - Qiang-Hui Guo; Yinglie Jin; Mengqin Li; Lisa Hui Sun; Yanyan Xu (J. Comput. Biol., 2022)

A semi-bijective algorithm for saturated extended 2-regular simple stacks. - Qiang-Hui Guo; Yinglie Jin; Lisa Hui Sun; Mingxing Weng (Adv. Appl. Math., 2023)

Bijective enumeration of general stacks. - Qianghui Guo; Yinglie Jin; Lisa Hui Sun; Shina Xu (Adv. Appl. Math., 2024)

Cooperative Motion Planning for Persistent 3D Visual Coverage With Multiple Quadrotor UAVs. - Hongpeng Wang; Shangyuan Song; Qianghui Guo; Dian Xu; Xiaoyang Zhang; Peizhao Wang (IEEE Trans Autom. Sci. Eng., 2024)

Explicit enumeration formulas for m-regular simple stacks. - Qianghui Guo; Yinglie Jin; Lisa Hui Sun; Hang Yang; Jie Yang (Discret. Math., 2025)