2008 |
8 | EE | Guan-Shieng Huang,
Jia Jie Liu,
Yue-Li Wang:
Sequence Alignment Algorithms for Run-Length-Encoded Strings.
COCOON 2008: 319-330 |
2007 |
7 | EE | 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 | EE | Nachum Dershowitz,
Jieh Hsiang,
Guan-Shieng Huang,
Daher Kaiss:
Boolean Rings for Intersection-Based Satisfiability.
LPAR 2006: 482-496 |
5 | EE | Nachum Dershowitz,
Mitchell A. Harris,
Guan-Shieng Huang:
Enumeration Problems Related to Ground Horn Theories
CoRR abs/cs/0610054: (2006) |
2005 |
4 | EE | Tian-Shyr Dai,
Guan-Shieng Huang,
Yuh-Dauh Lyuu:
Pricing Asian Options with an Efficient Convergent Approximation Algorithm.
WSTST 2005: 1121-1130 |
3 | EE | 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 | EE | Nachum Dershowitz,
Jieh Hsiang,
Guan-Shieng Huang,
Daher Kaiss:
Boolean Ring Satisfiability.
SAT 2004 |
2002 |
1 | EE | 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 |