| Partial cylindrical algebraic decomposition for quantifier elimination GE Collins, H Hong Journal of Symbolic Computation 12 (3), 299-328, 1991 | 795 | 1991 |
| Real-time calculation of switching angles minimizing THD for multilevel inverters with step modulation Y Liu, H Hong, AQ Huang IEEE Transactions on Industrial Electronics 56 (2), 285-293, 2008 | 308 | 2008 |
| An improvement of the projection operator in cylindrical algebraic decomposition H Hong Proceedings of the international symposium on Symbolic and algebraic …, 1990 | 191 | 1990 |
| Testing stability by quantifier elimination H Hong, R Liska, S Steinberg Journal of Symbolic Computation 24 (2), 161-187, 1997 | 134 | 1997 |
| Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination H Hong Papers from the international symposium on Symbolic and algebraic …, 1992 | 132 | 1992 |
| An efficient method for analyzing the topology of plane real algebraic curves H Hong Mathematics and Computers in Simulation 42 (4-6), 571-582, 1996 | 130 | 1996 |
| Real-time algorithm for minimizing THD in multilevel inverters with unequal or varying voltage steps under staircase modulation Y Liu, H Hong, AQ Huang IEEE Transactions on Industrial Electronics 56 (6), 2249-2258, 2009 | 123 | 2009 |
| Improvements in CAD-based quantifier elimination H Hong The Ohio State University, 1990 | 116 | 1990 |
| Safe starting regions by fixed points and tightening H Hong, V Stahl Computing (Wien. Print) 53 (3-4), 323-335, 1994 | 95 | 1994 |
| Testing positiveness of polynomials H Hong, D Jakuš Journal of Automated Reasoning 21, 23-38, 1998 | 83 | 1998 |
| Global identifiability of differential models H Hong, A Ovchinnikov, G Pogudin, C Yap Communications on Pure and Applied Mathematics 73 (9), 1831-1879, 2020 | 73 | 2020 |
| SIAN: software for structural identifiability analysis of ODE models H Hong, A Ovchinnikov, G Pogudin, C Yap Bioinformatics 35 (16), 2873-2874, 2019 | 73 | 2019 |
| Variant quantifier elimination H Hong, MS El Din Journal of Symbolic Computation 47 (7), 883-901, 2012 | 67 | 2012 |
| Comparison of several decision algorithms for the existential theory of the reals H Hong RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ., 1991 | 64 | 1991 |
| Groebner basis under composition I H Hong Journal of Symbolic Computation 25 (5), 643-663, 1998 | 57 | 1998 |
| Bounds for absolute positiveness of multivariate polynomials H Hong Journal of symbolic Computation 25 (5), 571-585, 1998 | 57 | 1998 |
| Speeding-up quantifier elimination by Gröbner bases B Buchberger, H Hong RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ., 1991 | 48 | 1991 |
| Quantifier elimination for formulas constrained by quadratic equations via slope resultants H Hong The Computer Journal 36 (5), 439-449, 1993 | 42 | 1993 |
| Saclib 1.1 user's guide B Buchberger, GE Collins, MJ Encarnacion, H Hong, JR Johnson, ... Universität Linz. Research Institute for Symbolic Computation [RISC], 1993 | 40 | 1993 |
| Quantifier elimination for formulas constrained by quadratic equations H Hong Proceedings of the 1993 international symposium on Symbolic and algebraic …, 1993 | 39 | 1993 |
