Guan-Shieng Huang

Publication Activity (10 Years)

Years Active: 1996-2014
Publications (10 Years): 0

Top Topics

Parallel Algorithm

Top Venues

Publications

Kuei-Hao Chen, Guan-Shieng Huang, Richard Chia-Tung Lee
Bit-Parallel Algorithms for Exact Circular String Matching. Comput. J. 57 (5) (2014)
Chan-Shuo Wu, Guan-Shieng Huang
A metric for rooted trees with unlabeled vertices based on nested parentheses. Theor. Comput. Sci. 411 (44-46) (2010)
Chan-Shuo Wu, Guan-Shieng Huang
A Practical Edit-Distance Model for RNA Secondary-Structure Comparison. BIBE (2009)
Guan-Shieng Huang, Jia Jie Liu, Yue-Li Wang
Sequence Alignment Algorithms for Run-Length-Encoded Strings. COCOON (2008)
Jia Jie Liu, Guan-Shieng Huang, Yue-Li Wang, Richard C. T. Lee
Edit distance for a run-length-encoded string and an uncompressed string. Inf. Process. Lett. 105 (1) (2007)
Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang
Enumeration Problems Related to Ground Horn Theories CoRR (2006)
Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss
Boolean Rings for Intersection-Based Satisfiability. LPAR (2006)
Tian-Shyr Dai, Guan-Shieng Huang, Yuh-Dauh Lyuu
Pricing Asian Options with an Efficient Convergent Approximation Algorithm. WSTST (2005)
Tian-Shyr Dai, Guan-Shieng Huang, Yuh-Dauh Lyuu
An efficient convergent lattice algorithm for European Asian options. Appl. Math. Comput. 169 (2) (2005)
Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss
Boolean Ring Satisfiability. SAT (2004)
Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You
Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. Canadian Conference on AI (2002)
Jieh Hsiang, Guan-Shieng Huang
Some fundamental properties of Boolean ring normal forms. Satisfiability Problem: Theory and Applications (1996)