Hoon Hong

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

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

Hoon Hong, Mohab Safey El Din: Variant quantifier elimination. J. Symb. Comput. 47(7): 883-901 (2012)

Jing Yang, Dongming Wang, Hoon Hong: Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. CASC 2012: 349-360

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

Ting Zhao, Dongming Wang, Hoon Hong: Solution formulas for cubic equations without or with constraints. J. Symb. Comput. 46(8): 904-918 (2011)

Hoon Hong, Eunjeong Lee, Hyang-Sook Lee, Cheol-Min Park: Simple and Exact Formula for Minimum Loop Length in Ate_i Pairing based on Brezing-Weng Curves. IACR Cryptology ePrint Archive 2011: 40 (2011)

Hoon Hong: Connectivity in Semi-algebraic Sets. SYNASC 2010: 4-7

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

Yu Liu, Hoon Hong, Alex Q. Huang: Real-Time Calculation of Switching Angles Minimizing THD for Multilevel Inverters With Step Modulation. IEEE Transactions on Industrial Electronics 56(2): 285-293 (2009)

Yu Liu, Hoon Hong, Alex Q. Huang: Real-Time Algorithm for Minimizing THD in Multilevel Inverters With Unequal or Varying Voltage Steps Under Staircase Modulation. IEEE Transactions on Industrial Electronics 56(6): 2249-2258 (2009)

Hoon Hong, Mohab Safey El Din: Variant real quantifier elimination: algorithm and application. ISSAC 2009: 183-190

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

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

Hoon Hong, John Perry: Are Buchberger's criteria necessary for the chain condition? J. Symb. Comput. 42(7): 717-732 (2007)

Chee-Keng Yap, Hoon Hong: Foreword. Mathematics in Computer Science 1(1): 3-7 (2007)

Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler: Bruno Buchberger - A life devoted to symbolic computation. J. Symb. Comput. 41(3-4): 255-258 (2006)

Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang: Solving Dynamic Geometric Constraints Involving Inequalities. AISC 2006: 181-195

Hoon Hong, Dongming Wang (Eds.): Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Lecture Notes in Computer Science 3763, Springer 2006, isbn 3-540-31332-X

Hoon Hong: Note on Jacobi's method for approximating dominant roots. J. Symb. Comput. 37(4): 449-453 (2004)

Hoon Hong, Manfred Minimair: Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case. J. Symb. Comput. 33(4): 447-465 (2002)

Hoon Hong: Ore Principal Subresultant Coefficients in Solutions. Appl. Algebra Eng. Commun. Comput. 11(3): 227-237 (2001)

Hoon Hong: Ore Subresultant Coefficients in Solutions. Appl. Algebra Eng. Commun. Comput. 12(5): 421-428 (2001)

Hoon Hong: Editorial. J. Symb. Comput. 29(1): 3-4 (2000)

Hoon Hong, Dalibor Jakus: Testing Positiveness of Polynomials. J. Autom. Reasoning 21(1): 23-38 (1998)

Hoon Hong: Bounds for Absolute Positiveness of Multivariate Polynomials. J. Symb. Comput. 25(5): 571-585 (1998)

Hoon Hong: Groebner Basis Under Composition I. J. Symb. Comput. 25(5): 643-663 (1998)

Hoon Hong, Josef Schicho: Algorithms for Trigonometric Curves (Simplification, Implicitization, Parameterization). J. Symb. Comput. 26(3): 279-300 (1998)

Hoon Hong: Heuristic Search and Pruning in Polynomial Constraints Satisfaction. Ann. Math. Artif. Intell. 19(3-4): 319-334 (1997)

Hoon Hong: Implicitization of Nested Circular Curves. J. Symb. Comput. 23(2/3): 177-189 (1997)

Hoon Hong: Subresultants Under Composition. J. Symb. Comput. 23(4): 355-365 (1997)

Hoon Hong, Richard Liska, Stanly L. Steinberg: Testing Stability by Quantifier Elimination. J. Symb. Comput. 24(2): 161-187 (1997)

Hoon Hong, Erich Kaltofen, Markus A. Hitz (Eds.): Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA. ACM 1997, isbn 0-89791-951-3

Hoon Hong: The Exact Region of Stability for MacCormack Scheme. Computing 56(4): 371-384 (1996)

Hoon Hong: Groebner Basis Under Composition II. ISSAC 1996: 79-85

Hoon Hong, Volker Stahl: Bernstein Form is Inclusion Monotone. Computing 55(1): 43-54 (1995)

Hoon Hong, Andreas Neubacher, Wolfgang Schreiner: The Design of the SACLIB/PACLIB Kernels. J. Symb. Comput. 19(1-3): 111-132 (1995)

Hoon Hong: Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials. AAECC 1995: 285-296

Hoon Hong, Hans-Wolfgang Loidl: Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine. CONPAR 1994: 325-336

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

Hoon Hong: Special Issue Editorial: Computational Quantifier Elimination. Comput. J. 36(5): 399 (1993)

Hoon Hong: Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants. Comput. J. 36(5): 439-449 (1993)

Hoon Hong: Parallelization of Quantifier Elimination on a Workstation Network. AAECC 1993: 170-179

Wolfgang Schreiner, Hoon Hong: The Design of the PACLIB Kernel for Parallel Algebraic Computation. ACPC 1993: 204-218

Hoon Hong, Andreas Neubacher, Wolfgang Schreiner: The Design of the SACLIB/PACLIB Kernels. DISCO 1993: 288-302

Hoon Hong: Quantifier Elimination for Formulas Constrained by Quadratic Equations. ISSAC 1993: 264-274

Wolfgang Schreiner, Hoon Hong: A New Library for Parallel Algebraic Computation. PPSC 1993: 776-783

Hoon Hong: Heuristic Search Strategies for Cylindrical Algebraic Decomposion. AISMC 1992: 152-165

Hoon Hong: Non-linear Real Constraints in Constraint Logic Programming. ALP 1992: 201-212

Hoon Hong: Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination. ISSAC 1992: 177-188

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