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

The method of combinatorial telescoping. - William Y. C. Chen; Qing-Hu Hou; Lisa Hui Sun (J. Comb. Theory A, 2011)

On Spieß's conjecture on harmonic numbers. - Hai-Tao Jin; Lisa Hui Sun (Discret. Appl. Math., 2013)

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

Quadratic forms and congruences for ℓ-regular partitions modulo 3, 5 and 7. - Qing-Hu Hou; Lisa Hui Sun; Li Zhang (Adv. Appl. Math., 2015)

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

Stanley's Lemma and Multiple Theta Functions. - William Y. C. Chen; Lisa Hui Sun (SIAM J. Discret. Math., 2018)

An extension of the Andrews-Warnaar partial theta function identity. - Lisa Hui Sun (Adv. Appl. Math., 2020)

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)

Truncated theta series from the Bailey lattice. - Xiangyu Ding; Lisa Hui Sun (Adv. Appl. Math., 2025)

A conjecture on Boros-Moll polynomials due to Ma, Qi, Yeh and Yeh. - Donna Quanjie Dou; Lisa Hui Sun (Appl. Math. Comput., 2025)

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