| 2026 | ISSAC | An Algorithm for Diagonalizing Matrices of Formal Power Series. | Zihao Dai, Hao Liang, Jingyu Lu, Lihong Zhi |
| 2025 | ISSAC | A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games. | Tianshi Yu, Lihong Zhi |
| 2024 | ISSAC | Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets. | Zihao Dai, Zijia Li, Zhi-Hong Yang, Lihong Zhi |
| 2024 | ISSAC | Unlabeled Sensing Using Rank-One Moment Matrix Completion. | Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi |
| 2023 | COCOON | Lower Bounds of Functions on Finite Abelian Groups. | Jianting Yang, Ke Ye, Lihong Zhi |
| 2023 | ISSAC | A Characterization of Perfect Strategies for Mirror Games. | Sizhuo Yan, Jianting Yang, Tianshi Yu, Lihong Zhi |
| 2018 | ISSAC | On the Complexity of Computing Real Radicals of Polynomial Systems. | Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi |
| 2017 | CASC | Computing Multiple Zeros of Polynomial Systems: Case of Breadth One (Invited Talk). | Lihong Zhi |
| 2017 | ISSAC | Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. | Jean-Guillaume Dumas, Erich L. Kaltofen, Gilles Villard, Lihong Zhi |
| 2016 | ISSAC | Numerical Sparsity Determination and Early Termination. | Zhiwei Hao, Erich L. Kaltofen, Lihong Zhi |
| 2015 | ISSAC | Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety. | Feng Guo, Mohab Safey El Din, Chu Wang, Lihong Zhi |
| 2015 | ISSAC | Optimization Problems over Noncompact Semialgebraic Sets. | Lihong Zhi |
| 2014 | ISSAC | Symbolic-numeric algorithms for computing validated results. | Lihong Zhi |
| 2013 | ISSAC | Computing rational solutions of linear matrix inequalities. | Qingdong Guo, Mohab Safey El Din, Lihong Zhi |
| 2013 | ISSAC | Verified error bounds for real solutions of positive-dimensional polynomial systems. | Zhengfeng Yang, Lihong Zhi, Yijun Zhu |
| 2012 | ISSAC | Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions. | Feng Guo, Erich L. Kaltofen, Lihong Zhi |
| 2012 | ISSAC | Computing real solutions of polynomial systems via low-rank moment matrix completion. | Yue Ma, Lihong Zhi |
| 2011 | ISSAC | The minimum-rank gram matrix completion via modified fixed point continuation method. | Yue Ma, Lihong Zhi |
| 2010 | ISSAC | Global optimization of polynomials using generalized critical values and sums of squares. | Feng Guo, Mohab Safey El Din, Lihong Zhi |
| 2010 | ISSAC | Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method. | Sharon Hutton, Erich L. Kaltofen, Lihong Zhi |
| 2010 | ISSAC | Blind image deconvolution via fast approximate GCD. | Zijia Li, Zhengfeng Yang, Lihong Zhi |
| 2008 | ISSAC | Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. | Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi |
| 2008 | ISSAC | Computing the multiplicity structure from geometric involutive form. | Xiaoli Wu, Lihong Zhi |
| 2007 | ISSAC | Lower bounds for approximate factorizations via semidefinite programming: (extended abstract). | Erich L. Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi |
| 2007 | ISSAC | On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. | Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi |
| 2007 | ISSAC | Approximate GCDs of polynomials and SOS relaxation. | Bin Li, Jiawang Nie, Lihong Zhi |
| 2007 | ISSAC | Numerical optimization in hybrid symbolic-numeric computation. | Lihong Zhi |
| 2006 | ISSAC | Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials. | Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi |
| 2006 | ISSAC | Hybrid symbolic-numeric computation. | Erich L. Kaltofen, Lihong Zhi |
| 2004 | ISSAC | Approximate factorization of multivariate polynomials via differential equations. | Shuhong Gao, Erich L. Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi |
| 2003 | ISSAC | A complete symbolic-numeric linear method for camera pose determination. | Gregory J. Reid, Jianliang Tang, Lihong Zhi |
| 2000 | ISSAC | Pseudofactors of multivariate polynomials. | Yuzhen Huang, Wenda Wu, Hans J. Stetter, Lihong Zhi |