Guan-Shieng Huang

According to our database, Guan-Shieng Huang authored at least 12 papers between 1996 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Bit-Parallel Algorithms for Exact Circular String Matching.

Kuei-Hao Chen, Guan-Shieng Huang, Richard Chia-Tung Lee

Comput. J., 2014

2010

A metric for rooted trees with unlabeled vertices based on nested parentheses.

Chan-Shuo Wu, Guan-Shieng Huang

Theor. Comput. Sci., 2010

2009

A Practical Edit-Distance Model for RNA Secondary-Structure Comparison.

Chan-Shuo Wu, Guan-Shieng Huang

Proceedings of the Ninth IEEE International Conference on Bioinformatics and Bioengineering, 2009

2008

Sequence Alignment Algorithms for Run-Length-Encoded Strings.

Guan-Shieng Huang, Jia Jie Liu, Yue-Li Wang

Proceedings of the Computing and Combinatorics, 14th Annual International Conference, 2008

2007

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

2006

Enumeration Problems Related to Ground Horn Theories

Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang

CoRR, 2006

Boolean Rings for Intersection-Based Satisfiability.

Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss

Proceedings of the Logic for Programming, 2006

2005

An efficient convergent lattice algorithm for European Asian options.

Tian-Shyr Dai, Guan-Shieng Huang, Yuh-Dauh Lyuu

Appl. Math. Comput., 2005

Pricing Asian Options with an Efficient Convergent Approximation Algorithm.

Tian-Shyr Dai, Guan-Shieng Huang, Yuh-Dauh Lyuu

Proceedings of the Soft Computing as Transdisciplinary Science and Technology, 2005

2004

Boolean Ring Satisfiability.

Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss

Proceedings of the SAT 2004, 2004

2002

Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison.

Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You

Proceedings of the Advances in Artificial Intelligence, 2002

1996

Some fundamental properties of Boolean ring normal forms.

Jieh Hsiang, Guan-Shieng Huang

Proceedings of the Satisfiability Problem: Theory and Applications, 1996