![]() | ![]() |
| 2000 | ||
|---|---|---|
| 5 | H. Hong, B. Lee, Kwang-Hoon Kim, Su-Ki Paik: A Web-Based Transactional Workflow Monitoring System. WISE 2000: 166-173 | |
| 1995 | ||
| 4 | H. S. Wong, L. Guan, H. Hong: Compression of digital mammogram databases using a near-lossless scheme. ICIP 1995: 2021-2024 | |
| 1994 | ||
| 3 | H. Hong, V. Stahl: Safe starting regions by fixed points and tightening. Computing 53(3-4): 323-335 (1994) | |
| 1991 | ||
| 2 | George E. Collins, H. Hong: Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. J. Symb. Comput. 12(3): 299-328 (1991) | |
| 1990 | ||
| 1 | H. Hong: An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. ISSAC 1990: 261-264 | |
| 1 | George E. Collins | [2] |
| 2 | L. Guan | [4] |
| 3 | Kwang-Hoon Kim | [5] |
| 4 | B. Lee | [5] |
| 5 | Su-Ki Paik | [5] |
| 6 | V. Stahl | [3] |
| 7 | H. S. Wong | [4] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page