Guan-Shieng Huang

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