公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1996 | Some fundamental properties of Boolean ring normal forms. | Hsiang, Jieh; Huang, Guan-Shieng; JIEH HSIANG | Satisfiability Problem: Theory and Applications, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 11-13, 1996 | | | |
2000 | Special issue on advances in computing science - Asian '98 | Hsiang, J.; Ohori, A.; JIEH HSIANG | International Journal of Foundations of Computer Science | | | |
1999 | Taiwan Austronesian Electronic Cultural Atlas of the Pacific | Blundell, David; Hsiang, Jieh | 1999 EBTI, ECAI, SEER & PNC Joint Meeting | | | |
2001 | Taiwan’s experience of multidisciplinary and international collaboration in digital library development | Chen, Hsueh-hua ; Hsiang, Jieh | Panel—Different Cultures Meet: Lessons Learned in Global Digital Library Development | | | |
1992 | The Term Rewriting Approach to Automated Theorem Proving. | Hsiang, Jieh; Kirchner, Hélène; Lescanne, Pierre; Rusinowitch, Michaël; JIEH HSIANG | J. Log. Program. | | | |
1987 | Term Rewriting Theorem Proving for Equality | JIEH HSIANG | Workshop in Combinatorial Algorithms in Algebraic Structures | | | |
1985 | TeRSe:A Term Rewriting Theorem Prover | Hsiang, Jieh; Josephson, N. A.; JIEH HSIANG | Rewrite Rule Laboratory Workshop | | | |
2009 | The unique approach to institutional repository: Practice of National Taiwan University | JIEH HSIANG ; KUANG-HUA CHEN | Electronic Library | | | |
2005 | Toward an integrated digital museum system - The Chi Nan experiences | Hong, J.-S.; Chen, B.-H.; Hung, S.-H.; JIEH HSIANG | International Journal on Digital Libraries | | | |
2005 | Toward an integrated digital museum system - the Chi Nan experiences | Hong, Jen Shin; Chen, Bai Hsuan; Hung, Sheng Hao; Hsiang, Jieh | International Journal on Digital Libraries | | | |
1994 | Towards a Foundation of Completion Procedures as Semidecision Procedures | Bonacina, M. P.; 項潔; Hsiang, Jieh | Theoretical Computer Science | 27 | 21 | |
2014 | Transliteration Extraction from Classical Chinese Buddhist Literature Using Conditional Random Fields with Language Models | Yu-Chun Wang; Karol Chia-Tien Chang; Richard Tzong-Han Tsai; Jieh Hsiang; JIEH HSIANG | 中文計算語言學期刊 | | | |
2013 | Transliteration pair extraction from classical Chinese buddhist literature using phonetic similarity measurement | Wang, Y.-C.; Wu, C.-K.; Tsai, R.T.-H.; JIEH HSIANG | New Generation Computing | | | |
1990 | Tutorial on Rewrite-Based Theorem Proving. | Hsiang, Jieh; Jouannaud, Jean-Pierre; JIEH HSIANG | 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings | | | |
1985 | Two Results in Term Rewriting Theorem Proving | JIEH HSIANG | Rewriting Techniques and Applications | | | |
1985 | Two Results in Term Rewriting Theorem Proving. | JIEH HSIANG | Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings | | | |
2006 | Various criteria in the evaluation of biomedical named entity recognition | Tsai Richard Tzong-Han; Wu Shih-Hung; Chou Wen-Chi; Lin Yu-Chun; He Ding; Hsiang Jieh ; Sung Ting-Yi; Hsu Wen-Lian | BMC Bioinformatics | | | |
2002 | Web Technology規劃推動小組 | 項潔 | | | | |
2009 | The Web-Scalable Library | Hsiang Jieh | GRL2020, 2009 | | | |
2001 | XSL-based Content Management for Multi-presentation Digital Museum Exhibitions. | Hong, Jen-Shin; Chen, Bai-Hsuen; JIEH HSIANG | Research and Advanced Technology for Digital Libraries, 5th European Conference, ECDL 2001, Darmstadt, Germany, September 4-9, 2001, Proceedings | 8 | 0 | |