An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. - Hoon Hong (ISSAC, 1990)

RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals. - Hoon Hong (WCLP, 1991)

Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. - George E. Collins; Hoon Hong (J. Symb. Comput., 1991)

Heuristic Search Strategies for Cylindrical Algebraic Decomposion. - Hoon Hong (AISMC, 1992)

Non-linear Real Constraints in Constraint Logic Programming. - Hoon Hong (ALP, 1992)

Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination. - Hoon Hong (ISSAC, 1992)

Programming in PACLIB. - Hoon Hong; Wolfgang Schreiner (SIGSAM Bull., 1992)

Parallelization of Quantifier Elimination on a Workstation Network. - Hoon Hong (AAECC, 1993)

The Design of the PACLIB Kernel for Parallel Algebraic Computation. - Wolfgang Schreiner; Hoon Hong (ACPC, 1993)

Quantifier Elimination for Formulas Constrained by Quadratic Equations. - Hoon Hong (ISSAC, 1993)

A New Library for Parallel Algebraic Computation. - Wolfgang Schreiner; Hoon Hong (PPSC, 1993)

Special Issue Editorial: Computational Quantifier Elimination. - Hoon Hong (Comput. J., 1993)

Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants. - Hoon Hong (Comput. J., 1993)

Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine. - Hoon Hong; Hans-Wolfgang Loidl (CONPAR, 1994)

RISC-CLP(CF) Constraint Logic Programming over Complex Functions. - Hoon Hong (LPAR, 1994)

Safe starting regions by fixed points and tightening. - Hoon Hong; Volker Stahl (Computing, 1994)

Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials. - Hoon Hong (AAECC, 1995)

Bernstein Form is Inclusion Monotone. - Hoon Hong; Volker Stahl (Computing, 1995)

The Design of the SACLIB/PACLIB Kernels. - Hoon Hong; Andreas Neubacher; Wolfgang Schreiner (J. Symb. Comput., 1995)

Groebner Basis Under Composition II. - Hoon Hong (ISSAC, 1996)

The Exact Region of Stability for MacCormack Scheme. - Hoon Hong (Computing, 1996)

Heuristic Search and Pruning in Polynomial Constraints Satisfaction. - Hoon Hong (Ann. Math. Artif. Intell., 1997)

Implicitization of Nested Circular Curves. - Hoon Hong (J. Symb. Comput., 1997)

Subresultants Under Composition. - Hoon Hong (J. Symb. Comput., 1997)

Testing Stability by Quantifier Elimination. - Hoon Hong; Richard Liska; Stanly L. Steinberg (J. Symb. Comput., 1997)

Testing Positiveness of Polynomials. - Hoon Hong; Dalibor Jakus (J. Autom. Reason., 1998)

Bounds for Absolute Positiveness of Multivariate Polynomials. - Hoon Hong (J. Symb. Comput., 1998)

Groebner Basis Under Composition I. - Hoon Hong (J. Symb. Comput., 1998)

Algorithms for Trigonometric Curves (Simplification, Implicitization, Parameterization). - Hoon Hong; Josef Schicho (J. Symb. Comput., 1998)

East Coast Computer Algebra Day '99 (April 24, 1999): abstracts of invited talks and presented posters. - Hoon Hong; Erich L. Kaltofen; Michael F. Singer (SIGSAM Bull., 1999)

Editorial. - Hoon Hong (J. Symb. Comput., 2000)

Ore Principal Subresultant Coefficients in Solutions. - Hoon Hong (Appl. Algebra Eng. Commun. Comput., 2001)

Ore Subresultant Coefficients in Solutions. - Hoon Hong (Appl. Algebra Eng. Commun. Comput., 2001)

Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case. - Hoon Hong; Manfred Minimair (J. Symb. Comput., 2002)

Note on Jacobi's method for approximating dominant roots. - Hoon Hong (J. Symb. Comput., 2004)

Solving Dynamic Geometric Constraints Involving Inequalities. - Hoon Hong; Liyun Li; Tielin Liang; Dongming Wang 001 (AISC, 2006)

Bruno Buchberger - A life devoted to symbolic computation. - Hoon Hong; Deepak Kapur; Peter Paule; Franz Winkler 001 (J. Symb. Comput., 2006)

An elementary proof of Sylvester's double sums for subresultants. - Carlos D'Andrea; Hoon Hong; Teresa Krick; Ágnes Szántó (J. Symb. Comput., 2007)

Are Buchberger's criteria necessary for the chain condition? - Hoon Hong; John Perry 001 (J. Symb. Comput., 2007)

Foreword. - Chee-Keng Yap; Hoon Hong (Math. Comput. Sci., 2007)

Connectivity in semialgebraic sets (abstract only). - Robert Quinn; Hoon Hong (ACM Commun. Comput. Algebra, 2008)

Corrigendum to "Are Buchberger's criteria necessary for the chain condition?" [J. Symbolic Comput. 42(2007) 717-732]. - Hoon Hong; John Perry 001 (J. Symb. Comput., 2008)

Variant real quantifier elimination: algorithm and application. - Hoon Hong; Mohab Safey El Din (ISSAC, 2009)

Sylvester's double sums: The general case. - Carlos D'Andrea; Hoon Hong; Teresa Krick; Ágnes Szántó (J. Symb. Comput., 2009)

Real-Time Calculation of Switching Angles Minimizing THD for Multilevel Inverters With Step Modulation. - Yu Liu; Hoon Hong; Alex Q. Huang (IEEE Trans. Ind. Electron., 2009)

Real-Time Algorithm for Minimizing THD in Multilevel Inverters With Unequal or Varying Voltage Steps Under Staircase Modulation. - Yu Liu; Hoon Hong; Alex Q. Huang (IEEE Trans. Ind. Electron., 2009)

Connectivity in Semi-algebraic Sets. - Hoon Hong (SYNASC, 2010)

Simple and Exact Formula for Minimum Loop Length in Atei Pairing based on Brezing-Weng Curves. - Hoon Hong; Eunjeong Lee; Hyang-Sook Lee; Cheol-Min Park (IACR Cryptol. ePrint Arch., 2011)

Solution formulas for cubic equations without or with constraints. - Ting Zhao; Dongming Wang 001; Hoon Hong (J. Symb. Comput., 2011)

Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization. - Jing Yang 039; Dongming Wang 001; Hoon Hong (Automated Deduction in Geometry, 2012)

ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves. - Jing Yang 039; Dongming Wang 001; Hoon Hong (ASCM, 2012)

Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. - Jing Yang 039; Dongming Wang 001; Hoon Hong (CASC, 2012)

Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints. - Ting Zhao; Hoon Hong; Dongming Wang 001; Philippe Aubry (SAC, 2012)

Variant quantifier elimination. - Hoon Hong; Mohab Safey El Din (J. Symb. Comput., 2012)

Pairing Inversion via Non-degenerate Auxiliary Pairings. - Seunghwan Chang; Hoon Hong; Eunjeong Lee; Hyang-Sook Lee (Pairing, 2013)

Improving angular speed uniformity by reparameterization. - Jing Yang 039; Dongming Wang 001; Hoon Hong (Comput. Aided Geom. Des., 2013)

A framework for improving uniformity of parameterizations of curves. - Hoon Hong; Dongming Wang 001; Jing Yang 039 (Sci. China Inf. Sci., 2013)

Object-Image Correspondence for Algebraic Curves under Projections - Joseph M. Burdis; Irina A. Kogan; Hoon Hong (CoRR, 2013)

Simple and exact formula for minimum loop length in Ate i pairing based on Brezing-Weng curves. - Hoon Hong; Eunjeong Lee; Hyang-Sook Lee; Cheol-Min Park (Des. Codes Cryptogr., 2013)

Reducing Pairing Inversion to Exponentiation Inversion using Non-degenerate Auxiliary Pairing. - Seunghwan Chang; Hoon Hong; Eunjeong Lee; Hyang-Sook Lee (IACR Cryptol. ePrint Arch., 2013)

The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation. - Madalina Erascu; Hoon Hong (Reliab. Comput., 2013)

Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). - Madalina Erascu; Hoon Hong (ISSAC, 2014)

The Secant-Newton Map is Optimal Among Contracting $n^{th}$ Degree Maps for $n^{th}$ Root Computation. - Kayla Bishop; Hoon Hong (CoRR, 2014)

Explicit formula for optimal ate pairing over cyclotomic family of elliptic curves. - Hoon Hong; Eunjeong Lee; Hyang-Sook Lee (Finite Fields Their Appl., 2015)

An algebraic method for constructing stable and consistent autoregressive filters. - John Harlim; Hoon Hong; Jacob L. Robbins (J. Comput. Phys., 2015)

Special algorithm for stability analysis of multistable biological regulatory systems. - Hoon Hong; Xiaoxian Tang; Bican Xia (J. Symb. Comput., 2015)

Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). - Madalina Erascu; Hoon Hong (J. Symb. Comput., 2016)

Quality of positive root bounds. - Aaron Herman; Hoon Hong (J. Symb. Comput., 2016)

On using Lazard's projection in CAD construction. - Scott McCallum; Hoon Hong (J. Symb. Comput., 2016)

Algorithm for computing semi-Fourier sequences of expressions involving exponentiations and integrations. - Hoon Hong; Adam W. Strzebonski (CoRR, 2017)

Open weak CAD and its applications. - Jingjun Han; Liyun Dai; Hoon Hong; Bican Xia (J. Symb. Comput., 2017)

Algorithm for computing μ-bases of univariate polynomials. - Hoon Hong; Zachary Hough; Irina A. Kogan (J. Symb. Comput., 2017)

Resultants over commutative idempotent semirings I: Algebraic aspect. - Hoon Hong; Yonggu Kim; Georgy Scholten; J. Rafael Sendra (J. Symb. Comput., 2017)

Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. - Hoon Hong; Thomas Sturm 001 (CASC, 2018)

Improving root separation bounds. - Aaron Herman; Hoon Hong; Elias P. Tsigaridas (J. Symb. Comput., 2018)

Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling. - Owen Coss; Jonathan D. Hauenstein; Hoon Hong; Daniel K. Molzahn (SIAM J. Appl. Algebra Geom., 2018)

SIAN: software for structural identifiability analysis of ODE models. - Hoon Hong; Alexey Ovchinnikov; Gleb Pogudin; Chee Yap (Bioinform., 2019)

SIAN: a tool for assessing structural identifiability of parametric ODEs. - Hoon Hong; Alexey Ovchinnikov; Gleb Pogudin; Chee Yap (ACM Commun. Comput. Algebra, 2019)

Connectivity in Semi-Algebraic Sets I. - Hoon Hong; James Rohal; Mohab Safey El Din; Éric Schost (CoRR, 2020)

Subresultant of several univariate polynomials. - Hoon Hong; Jing Yang 039 (CoRR, 2021)

A condition for multiplicity structure of univariate polynomials. - Hoon Hong; Jing Yang 039 (J. Symb. Comput., 2021)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials. - Hoon Hong; Jing Yang 039 (CoRR, 2023)

Symbolic-Numeric Parameter Estimation Software Package in Julia. - Soo Go; Hoon Hong; Ilia Ilmer; Alexey Ovchinnikov; Pedro Soto 001; Chee Yap (CoRR, 2023)

Improving Angular Speed Uniformity by Piecewise Radical Reparameterization. - Hoon Hong; Dongming Wang 001; Jing Yang 039 (ADG, 2023)

Conditions for eigenvalue configurations of two real symmetric matrices: a symmetric function approach. - Hoon Hong; Daniel Profili; J. Rafael Sendra (CoRR, 2024)

Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials. - Hoon Hong; Jing Yang 039 (CoRR, 2024)

Conditions for eigenvalue configurations of two real symmetric matrices: a signature approach. - Hoon Hong; Daniel Profili; J. Rafael Sendra (CoRR, 2024)

A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials. - Hoon Hong; Jiaqi Meng; Jing Yang 039 (CoRR, 2024)

Conditions for Eigenvalue Configurations of Two Real Symmetric Matrices. - Hoon Hong; Daniel Profili; J. Rafael Sendra (ACM Commun. Comput. Algebra, 2024)

Computational Algebra and Geometry: A special issue in memory and honor of Agnes Szanto. - Carlos D'Andrea; Hoon Hong; Evelyne Hubert; Teresa Krick (J. Symb. Comput., 2025)

Geometry of Continuous Adjoint Newton's Method for Bivariate Quadratics. - Jonathan D. Hauenstein; Caroline Hills; Hoon Hong; Francisco Ponce Carrión (Maple Trans., 2025)

Robust parameter estimation for rational ordinary differential equations. - Oren Bassik; Yosef Berman; Soo Go; Hoon Hong; Ilia Ilmer; Alexey Ovchinnikov; Chris Rackauckas; Pedro Soto 001; Chee Yap (Appl. Math. Comput., 2026)