Skip to content
cs-conference-ranking.org

Hoon Hong

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

7

Active years

1990–2018

Best venue rank

B

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2018CASCPositive Solutions of Systems of Signed Parametric Polynomial Inequalities.Hoon Hong, Thomas Sturm
2014ISSACSynthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation).Madalina Erascu, Hoon Hong
2013PairingPairing Inversion via Non-degenerate Auxiliary Pairings.Seunghwan Chang, Hoon Hong, Eunjeong Lee, Hyang-Sook Lee
2012CASCImproving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization.Jing Yang, Dongming Wang, Hoon Hong
2012SACReal solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints.Ting Zhao, Hoon Hong, Dongming Wang, Philippe Aubry
2010SYNASCConnectivity in Semi-algebraic Sets.Hoon Hong
2009ISSACVariant real quantifier elimination: algorithm and application.Hoon Hong, Mohab Safey El Din
2006AISCSolving Dynamic Geometric Constraints Involving Inequalities.Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang
1996ISSACGroebner Basis Under Composition II.Hoon Hong
1994LPARRISC-CLP(CF) Constraint Logic Programming over Complex Functions.Hoon Hong
1993ISSACQuantifier Elimination for Formulas Constrained by Quadratic Equations.Hoon Hong
1992AISCHeuristic Search Strategies for Cylindrical Algebraic Decomposion.Hoon Hong
1992ISSACSimple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination.Hoon Hong
1990ISSACAn Improvement of the Projection Operator in Cylindrical Algebraic Decomposition.Hoon Hong