Publications
[NCNU]
- C.S. Wu, and G.S. Huang, "A
metric for rooted trees with unlabeled vertices based on nested parentheses."
Theoretical Computer Science, Vol. 411 (44-46), pp. 3923-3931, 2010.
(SCI)
- J.J. Liu,
G.S. Huang, and Y.L.
Wang, "A Fast Algorithm for Finding the Positions of All Squares in a
Run-Length Encoded String." Theoretical Computer Science, Vol. 410
(38-40), pp. 3942-3948, 2009. (SCI)
- C.S. Wu, and G.S. Huang, "A Practical Edit-Distance Model for RNA
Secondary-Structure Comparison," in the 9th IEEE International Conference on BioInformatics and BioEngineering, IEEE, Taichung, Taiwan, 2009. (EI)
- G. S. Huang,
J. J. Liu,
Y. L. Wang,
"Sequence Alignment Algorithms for Run-Length-Encoded Strings,"
in the 14th Annual International Computing and Combinatorics Conference (COCOON 2008), LNCS
5092, pp. 319--330, 2008.
(EI) (Slides)
-
J. J. Liu,
Y. L. Wang, G. S.
Huang, Solving Some Sequence Problems on Run-Length-Encoded Strings, VDM
Verlag, 2008.
- J. J. Liu, G. S. Huang,
Y. L. Wang,
R. C. T. Lee, "Edit
Distance for a Run-Length-Encoded String and an Uncompressed String," Information Processing Letters, Vol. 105 (1), pp. 12--16, 2007. (SCI Expanded,
EI)
- N. Dershowitz,
J. Hsiang, G.
S. Huang, D. Kaiss, "Boolean
Rings for Intersection-Based Satisfiability," in the 13th International
Conference on Logic for Programming, Artificial Intelligence, and Reasoning
(LPAR), LNCS 4246, pp. 482--496, 2006. (EI)
- P.-Y. Yin, S.-J. Shyu, G. S. Huang, S.-T. Liao, "A Bayesian Framework
for Improving Clustering Accuracy of Protein Sequences Based on Association
Rules," Chapter 12, Advanced Data Mining Technologies in Bioinformatis, Idea
Group Publishing, 2006.
-
T.-S. Dai, G. S. Huang, and
Y.-D. Lyuu,
"An Efficient Convergent Lattice Algorithm for European
Asian Options," Applied Mathematics and
Computation, Vol. 169 (2), pp. 1458-1471, 2005.
(SCI Expanded,
EI, SSCI)
- T.-S. Dai, G.-S. Huang, and Y.-D. Lyuu, "Pricing
Asian Options with an Efficient Convergent Approximation Algorithm,"
Soft Computing as Transdisciplinary Science and Technology, 2005, pp.
1121-1130.
- 吳展碩, 黃光璿, "A Space-Efficient Algorithm for
Representing Suffix Tree",
第二十二屆組合數學與計算理論研討會,
台南, 台灣, pp. 89-96, 2005.
-
謝育平,項潔,黃光璿,許德標,
"24 皇后問題共有227,514,171,973,736個解",
第二十一屆組合數學與計算理論研討會, 台中,
台灣, pp. 171-176,
2004.
- N.
Dershowitz, J.
Hsiang, G. S. Huang,
and D.
Kaiss,
"Boolean Ring Satisfiability,"
Proceedings of the Seventh International Conference on Theory and Applications
of Satisfiability Testing (SAT 2004), Vancouver, BC, Canada, pp. 281-286,
2004.
-
T.-S. Dai, G. S. Huang, and
Y.-D. Lyuu,
"Extremely Accurate and Efficient Algorithms for
Asian Options with Error Bounds,"
Quantitative Methods in Finance 2002 Conference, Cairns, Australia,
Dec. 2002.
[Sinica]
- G. S. Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You,
"Two-Literal Logic Programs and Satisfiability Representation of
Stable Models: A Comparison," in The Fifteenth Canadian Conference
on Artificial Intelligence, LNAI 2338. pp. 119--131, 2002.
[NTU]
- J. Hsiang, G. S. Huang, "Compact representation of
Boolean formulas" (invited paper), Chinese Journal of Advanced
Software Research, Vol. 6, No. 2, pp. 178-187, 1999. (EI)
- G. S. Huang, J. Hsiang, "Symmetry Elimination in Exhaustive
Search," 17th Workshop on Combinatorial Mathematics and
Computation Theory, Taipei, Taiwan, 2000.
- J. Hsiang, G. S. Huang, "Some Fundamental
Properties of Boolean Ring Normal Forms,"
DIMACS series in discrete mathematics and theoretical computer science, Vol.
35, pp. 587-602, 1996.
[Pending]
- N.
Dershowitz, G. S. Huang, and M.
A. Harris, "Enumeration Problems Related to Ground
Horn Theories", 2005.
- G. S. Huang,
Kuo-Ching Huang,
Ko-Wei Lih, "Periods and Orbits of Fibonacci
Sequence Modulo m," 2000.
- G. S. Huang, J. Hsiang, "Automated
First-order Proof Reconstruction," 2000.
- G. S. Huang, J. Hsiang, "Symmetry Elimination in Exhaustive Search," 2001.
On-Line Encyclopedia of Integer Sequences
1.
A102894 by N. Dershowitz, G. S. Huang and M.
Harris
2.
A102895 by N. Dershowitz, G. S. Huang and M.
Harris
3.
A102896 by N. Dershowitz, G. S. Huang and M.
Harris
4.
A102897 by N. Dershowitz, G. S. Huang and M.
Harris
Data
DBLP
JCR (SCI,
SSCI,
Web of Science)
EI
oDOBS