The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Hoon Hong: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hoon Hong
    Parallelization of Quantifier Elimination on a Workstation Network. [Citation Graph (0, 0)][DBLP]
    AAECC, 1993, pp:170-179 [Conf]
  2. Hoon Hong
    Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials. [Citation Graph (0, 0)][DBLP]
    AAECC, 1995, pp:285-296 [Conf]
  3. Wolfgang Schreiner, Hoon Hong
    The Design of the PACLIB Kernel for Parallel Algebraic Computation. [Citation Graph (0, 0)][DBLP]
    ACPC, 1993, pp:204-218 [Conf]
  4. Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang
    Solving Dynamic Geometric Constraints Involving Inequalities. [Citation Graph (0, 0)][DBLP]
    AISC, 2006, pp:181-195 [Conf]
  5. Hoon Hong
    Heuristic Search Strategies for Cylindrical Algebraic Decomposion. [Citation Graph (0, 0)][DBLP]
    AISMC, 1992, pp:152-165 [Conf]
  6. Hoon Hong
    Non-linear Real Constraints in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:201-212 [Conf]
  7. Hoon Hong, Hans-Wolfgang Loidl
    Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1994, pp:325-336 [Conf]
  8. Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
    The Design of the SACLIB/PACLIB Kernels. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:288-302 [Conf]
  9. Hoon Hong
    Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:177-188 [Conf]
  10. Hoon Hong
    Quantifier Elimination for Formulas Constrained by Quadratic Equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:264-274 [Conf]
  11. Hoon Hong
    Groebner Basis Under Composition II. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1996, pp:79-85 [Conf]
  12. Hoon Hong
    RISC-CLP(CF) Constraint Logic Programming over Complex Functions. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:99-113 [Conf]
  13. Wolfgang Schreiner, Hoon Hong
    A New Library for Parallel Algebraic Computation. [Citation Graph (0, 0)][DBLP]
    PPSC, 1993, pp:776-783 [Conf]
  14. Hoon Hong
    RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:133-159 [Conf]
  15. Hoon Hong
    Ore Principal Subresultant Coefficients in Solutions. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2001, v:11, n:3, pp:227-237 [Journal]
  16. Hoon Hong
    Ore Subresultant Coefficients in Solutions. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2001, v:12, n:5, pp:421-428 [Journal]
  17. Hoon Hong
    Heuristic Search and Pruning in Polynomial Constraints Satisfaction. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:19, n:3-4, pp:319-334 [Journal]
  18. Hoon Hong
    Special Issue Editorial: Computational Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:5, pp:399- [Journal]
  19. Hoon Hong
    Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:5, pp:439-449 [Journal]
  20. Hoon Hong
    The Exact Region of Stability for MacCormack Scheme. [Citation Graph (0, 0)][DBLP]
    Computing, 1996, v:56, n:4, pp:371-384 [Journal]
  21. Hoon Hong, Volker Stahl
    Bernstein Form is Inclusion Monotone. [Citation Graph (0, 0)][DBLP]
    Computing, 1995, v:55, n:1, pp:43-54 [Journal]
  22. Hoon Hong, Dalibor Jakus
    Testing Positiveness of Polynomials. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:21, n:1, pp:23-38 [Journal]
  23. Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler, Faculty of RISC-Linz
    Bruno Buchberger - A life devoted to symbolic computation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:3-4, pp:255-258 [Journal]
  24. Hoon Hong, Richard Liska, Stanly Steinberg
    Testing Stability by Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1997, v:24, n:2, pp:161-187 [Journal]
  25. Hoon Hong, Manfred Minimair
    Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2002, v:33, n:4, pp:447-465 [Journal]
  26. Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
    The Design of the SACLIB/PACLIB Kernels. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:111-132 [Journal]
  27. Hoon Hong, Josef Schicho
    Algorithms for Trigonometric Curves (Simplification, Implicitization, Parameterization). [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1998, v:26, n:3, pp:279-300 [Journal]
  28. Hoon Hong
    Groebner Basis Under Composition I. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1998, v:25, n:5, pp:643-663 [Journal]
  29. Hoon Hong
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:29, n:1, pp:3-4 [Journal]
  30. Hoon Hong
    Note on Jacobi's method for approximating dominant roots. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2004, v:37, n:4, pp:449-453 [Journal]
  31. Hoon Hong
    Implicitization of Nested Circular Curves. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1997, v:23, n:2/3, pp:177-189 [Journal]
  32. Hoon Hong
    Subresultants Under Composition. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1997, v:23, n:4, pp:355-365 [Journal]
  33. Hoon Hong
    Bounds for Absolute Positiveness of Multivariate Polynomials. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1998, v:25, n:5, pp:571-585 [Journal]
  34. Carlos D'Andrea, Hoon Hong, Teresa Krick, Ágnes Szántó
    An elementary proof of Sylvester's double sums for subresultants. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2007, v:42, n:3, pp:290-297 [Journal]
  35. Hoon Hong, John Perry
    Are Buchberger's criteria necessary for the chain condition? [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2007, v:42, n:7, pp:717-732 [Journal]

  36. Variant real quantifier elimination: algorithm and application. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002