Some fundamental properties of Boolean ring normal forms. - Jieh Hsiang; Guan-Shieng Huang (Satisfiability Problem: Theory and Applications, 1996)

Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. - Guan-Shieng Huang; Xiumei Jia; Churn-Jung Liau; Jia-Huai You (AI, 2002)

Boolean Ring Satisfiability. - Nachum Dershowitz; Jieh Hsiang; Guan-Shieng Huang; Daher Kaiss (SAT, 2004)

Pricing Asian Options with an Efficient Convergent Approximation Algorithm. - Tian-Shyr Dai; Guan-Shieng Huang; Yuh-Dauh Lyuu (WSTST, 2005)

An efficient convergent lattice algorithm for European Asian options. - Tian-Shyr Dai; Guan-Shieng Huang; Yuh-Dauh Lyuu (Appl. Math. Comput., 2005)

Boolean Rings for Intersection-Based Satisfiability. - Nachum Dershowitz; Jieh Hsiang; Guan-Shieng Huang; Daher Kaiss (LPAR, 2006)

Enumeration Problems Related to Ground Horn Theories - Nachum Dershowitz; Mitchell A. Harris; Guan-Shieng Huang (CoRR, 2006)

Edit distance for a run-length-encoded string and an uncompressed string. - Jia Jie Liu; Guan-Shieng Huang; Yue-Li Wang; Richard C. T. Lee (Inf. Process. Lett., 2007)

Sequence Alignment Algorithms for Run-Length-Encoded Strings. - Guan-Shieng Huang; Jia Jie Liu; Yue-Li Wang (COCOON, 2008)

A Practical Edit-Distance Model for RNA Secondary-Structure Comparison. - Chan-Shuo Wu; Guan-Shieng Huang (BIBE, 2009)

A metric for rooted trees with unlabeled vertices based on nested parentheses. - Chan-Shuo Wu; Guan-Shieng Huang (Theor. Comput. Sci., 2010)

Bit-Parallel Algorithms for Exact Circular String Matching. - Kuei-Hao Chen; Guan-Shieng Huang; Richard Chia-Tung Lee (Comput. J., 2014)