 | 2010 |
|---|
| 10 |       | Chan-Shuo Wu,
Guan-Shieng Huang:
A metric for rooted trees with unlabeled vertices based on nested parentheses.
Theor. Comput. Sci. 411(44-46): 3923-3931 (2010) |
| 2009 |
|---|
| 9 | | Chan-Shuo Wu,
Guan-Shieng Huang:
A Practical Edit-Distance Model for RNA Secondary-Structure Comparison.
BIBE 2009: 176-183 |
| 2008 |
|---|
| 8 | | Guan-Shieng Huang,
Jia Jie Liu,
Yue-Li Wang:
Sequence Alignment Algorithms for Run-Length-Encoded Strings.
COCOON 2008: 319-330 |
| 2007 |
|---|
| 7 | | 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): 12-16 (2007) |
| 2006 |
|---|
| 6 | | Nachum Dershowitz,
Jieh Hsiang,
Guan-Shieng Huang,
Daher Kaiss:
Boolean Rings for Intersection-Based Satisfiability.
LPAR 2006: 482-496 |
| 5 | | Nachum Dershowitz,
Mitchell A. Harris,
Guan-Shieng Huang:
Enumeration Problems Related to Ground Horn Theories
CoRR abs/cs/0610054: (2006) |
| 2005 |
|---|
| 4 | | Tian-Shyr Dai,
Guan-Shieng Huang,
Yuh-Dauh Lyuu:
Pricing Asian Options with an Efficient Convergent Approximation Algorithm.
WSTST 2005: 1121-1130 |
| 3 | | Tian-Shyr Dai,
Guan-Shieng Huang,
Yuh-Dauh Lyuu:
An efficient convergent lattice algorithm for European Asian options.
Applied Mathematics and Computation 169(2): 1458-1471 (2005) |
| 2004 |
|---|
| 2 | | Nachum Dershowitz,
Jieh Hsiang,
Guan-Shieng Huang,
Daher Kaiss:
Boolean Ring Satisfiability.
SAT 2004 |
| 2002 |
|---|
| 1 | | 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: 119-131 |
Data released under the ODC-BY 1.0 license — See also our legal information page