dblp.uni-trier.dewww.uni-trier.de

Jieh Hsiang Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
59EEKuang-hua Chen, Jieh Hsiang: The unique approach to institutional repository: Practice of National Taiwan University. The Electronic Library 27(2): 204-221 (2009)
2007
58EESzu-Pei Chen, Jieh Hsiang, Hsieh-Chang Tu, Micha Wu: On Building a Full-Text Digital Library of Historical Documents. ICADL 2007: 49-60
2006
57EENachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss: Boolean Rings for Intersection-Based Satisfiability. LPAR 2006: 482-496
56EERichard Tzong-Han Tsai, Shih-Hung Wu, Wen-Chi Chou, Yu-Chun Lin, Ding He, Jieh Hsiang, Ting-Yi Sung, Wen-Lian Hsu: Various criteria in the evaluation of biomedical named entity recognition. BMC Bioinformatics 7: 92 (2006)
55EETzong-Han Tsai, Wen-Chi Chou, Shih-Hung Wu, Ting-Yi Sung, Jieh Hsiang, Wen-Lian Hsu: Integrating linguistic knowledge into a conditional random fieldframework to identify biomedical named entities. Expert Syst. Appl. 30(1): 117-128 (2006)
2005
54EEHou Ieong Ho, Jieh Hsiang: Configurable Meta-search for Integrating Web Public Access Catalogs. ICADL 2005: 317-322
53EEJen-Shin Hong, Martin Doerr, Jieh Hsiang: Editorial. Int. J. on Digital Libraries 5(3): 151-152 (2005)
52EEJen-Shin Hong, Bai-Hsuan Chen, Sheng-Hao Hung, Jieh Hsiang: Toward an integrated digital museum system - the Chi Nan experiences. Int. J. on Digital Libraries 5(3): 231-251 (2005)
2004
51EENachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss: Boolean Ring Satisfiability. SAT 2004
50EEBee-Chung Chen, Jieh Hsiang: A Logical Framework of Knowledge Retrieval with Fuzziness. Web Intelligence 2004: 524-528
49EEJieh Hsiang, D. Frank Hsu, Yuh-Pyng Shieh: On the hardness of counting problems of complete mappings. Discrete Mathematics 277(1-3): 87-100 (2004)
2001
48EEJen-Shin Hong, Bai-Hsuen Chen, Jieh Hsiang: XSL-based Content Management for Multi-presentation Digital Museum Exhibitions. ECDL 2001: 378-389
47EEJen-Shin Hong, Bai-Hsuen Chen, Jieh Hsiang, Tien-Yu Hsu: Content management for digital museum exhibitions. JCDL 2001: 450
2000
46EEJen-Shin Hong, Herng-Yow Chen, Jieh Hsiang: A digital museum of Taiwanese butterflies. ACM DL 2000: 260-261
45EEHsieh-Chang Tu, Jieh Hsiang: An architecture and category knowledge for intelligent information retrieval agents. Decision Support Systems 28(3): 255-268 (2000)
1999
44EEHsieh-Chang Tu, Michael L. Lyu, Jieh Hsiang: Agent Technology for Website Browsing and Navigation. HICSS 1999
1998
43 Jieh Hsiang, Atsushi Ohori: Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings Springer 1998
42EEHsieh-Chang Tu, Jieh Hsiang: An Architecture and Category Knowledge for Intelligent Information Retrieval Agents. HICSS (4) 1998: 405-414
41EEJieh Hsiang, Hsieh-Chang Tu: Personalized Web Retrieval: Three Agents for Retrieving Web Information. PRIMA 1998: 118-132
40 Maria Paola Bonacina, Jieh Hsiang: On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis. Inf. Comput. 147(2): 171-208 (1998)
39 Maria Paola Bonacina, Jieh Hsiang: On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching. New Generation Comput. 16(2): 163-200 (1998)
1997
38EEJieh-Sheng Lee, Jieh Hsiang, Po-Hao Tsang: A Generic Virus Detection Agent on the Internet. HICSS (4) 1997: 210-210
1996
37EEMaria Paola Bonacina, Jieh Hsiang: On Semantic Resolution with Lemmaizing and Contraction. PRICAI 1996: 372-386
36 Jieh Hsiang, Anita Wasilewska: Automating Algebraic Proofs in Algebraic Logic. Fundam. Inform. 28(1-2): 129-140 (1996)
35EEMaria Paola Bonacina, Jieh Hsiang: A Category-Theoretic Treatment of Automated Theorem Proving. J. Inf. Sci. Eng. 12(1): 101-125 (1996)
34 Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang: PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. J. Symb. Comput. 21(4): 543-560 (1996)
1995
33 Jieh Hsiang: Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings Springer 1995
32 Maria Paola Bonacina, Jieh Hsiang: The Clause-Diffusion Methodology for Distributed Deduction. Fundam. Inform. 24(1/2): 177-207 (1995)
31 Hong Chen, Jieh Hsiang: Recurrence Domains: Their Unification and Application to Logic Programming Inf. Comput. 122(1): 45-69 (1995)
30 Maria Paola Bonacina, Jieh Hsiang: Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover. J. Symb. Comput. 19(1-3): 245-267 (1995)
29EEMaria Paola Bonacina, Jieh Hsiang: Towards a Foundation of Completion Procedures as Semidecision Procedures. Theor. Comput. Sci. 146(1&2): 199-242 (1995)
1994
28 Edmund K. Burke, Jieh Hsiang: On Subsumption in Distributed Derivations. J. Autom. Reasoning 12(2): 225-240 (1994)
27 Maria Paola Bonacina, Jieh Hsiang: Parallelization of Deduction Strategies: An Analytical Study. J. Autom. Reasoning 13(1): 1-33 (1994)
1993
26EEMaria Paola Bonacina, Jieh Hsiang: Distributed Deduction by Clause-Diffusion: The Aquarius Prover. DISCO 1993: 272-287
25EEMaria Paola Bonacina, Jieh Hsiang: On Fairness in Distributed Automated Deduction. STACS 1993: 141-152
1992
24 Maria Paola Bonacina, Jieh Hsiang: On Rewrite Programs: Semantics and Relationship with Prolog. J. Log. Program. 14(1&2): 155-180 (1992)
23 Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch: The Term Rewriting Approach to Automated Theorem Proving. J. Log. Program. 14(1&2): 71-99 (1992)
1991
22EEHong Chen, Jieh Hsiang: Logic Programming with Recurrence Domains. ICALP 1991: 20-34
21EEMaria Paola Bonacina, Jieh Hsiang: On Fairness of Completion-Based Theorem Proving Strategies. RTA 1991: 348-360
20EEJieh Hsiang, Michaël Rusinowitch: Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method. J. ACM 38(3): 559-587 (1991)
1990
19EEJieh Hsiang, Jean-Pierre Jouannaud: Tutorial on Rewrite-Based Theorem Proving. CADE 1990: 684
18 Hong Chen, Jieh Hsiang, Hwa-Chung Kong: On Finite Representations of Infinite Sequences of Terms. CTRS 1990: 100-114
17 Maria Paola Bonacina, Jieh Hsiang: Completion Procedures as Semidecision Procedures. CTRS 1990: 206-232
16 Maria Paola Bonacina, Jieh Hsiang: A System for Distributed Simplification-Based Theorem Proving. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 370
15 Maria Paola Bonacina, Jieh Hsiang: Operational and Denotational Semantics of Rewrite Programs. NACLP 1990: 449-464
14 Siva Anantharaman, Jieh Hsiang: Automated Proofs of the Moufang Identities in Alternative Rings. J. Autom. Reasoning 6(1): 79-109 (1990)
1989
13EESiva Anantharaman, Jieh Hsiang, Jalel Mzali: SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. RTA 1989: 533-537
1987
12EEJieh Hsiang, Michaël Rusinowitch: On Word Problems in Equational Theories. ICALP 1987: 54-71
11 Jieh Hsiang, Michaël Rusinowitch, Kô Sakai: Complete Inference Rules for the Cancellation Laws. IJCAI 1987: 990-992
10 Jieh Hsiang: Rewrite Method for Theorem Proving in First Order Theory with Equality. J. Symb. Comput. 3(1/2): 133-151 (1987)
9 Jieh Hsiang, Mandayam K. Srivas: Automatic Inductive Theorem Proving Using Prolog. Theor. Comput. Sci. 54: 3-28 (1987)
1986
8EEJieh Hsiang, Michaël Rusinowitch: A New Method for Establishing Refutational Completeness in Theorem Proving. CADE 1986: 141-152
7 Leo Bachmair, Nachum Dershowitz, Jieh Hsiang: Orderings for Equational Proofs LICS 1986: 346-357
1985
6EEJieh Hsiang, Mandayam K. Srivas: PROLOG-Based Inductive Theorem Proving. FSTTCS 1985: 129-149
5EEJieh Hsiang: Two Results in Term Rewriting Theorem Proving. RTA 1985: 301-324
4EEJieh Hsiang, Mandayam K. Srivas: A PROLOG Environment for Developing and Reasoning about Data Types. TAPSOFT, Vol.2 1985: 276-293
3 Jieh Hsiang: Refutational Theorem Proving Using Term-Rewriting Systems. Artif. Intell. 25(3): 255-300 (1985)
1983
2EEJieh Hsiang, Nachum Dershowitz: Rewrite Methods for Clausal and Non-Clausal Theorem Proving. ICALP 1983: 331-346
1 Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted: Associative-Commutative Rewriting. IJCAI 1983: 940-944

Coauthor Index

1Siva Anantharaman [13] [14]
2Leo Bachmair [7]
3Maria Paola Bonacina [15] [16] [17] [21] [24] [25] [26] [27] [29] [30] [32] [34] [35] [37] [39] [40]
4Edmund K. Burke [28]
5Bai-Hsuan Chen (Bai-Hsuen Chen) [47] [48] [52]
6Bee-Chung Chen [50]
7Herng-Yow Chen [46]
8Hong Chen [18] [22] [31]
9Kuang-hua Chen [59]
10Szu-Pei Chen [58]
11Wen-Chi Chou [55] [56]
12Nachum Dershowitz [1] [2] [7] [51] [57]
13Martin Doerr [53]
14Ding He [56]
15Hou Ieong Ho [54]
16Jen-Shin Hong [46] [47] [48] [52] [53]
17D. Frank Hsu [49]
18Tien-Yu Hsu [47]
19Wen-Lian Hsu [55] [56]
20Guan-Shieng Huang [51] [57]
21Sheng-Hao Hung [52]
22N. Alan Josephson [1]
23Jean-Pierre Jouannaud [19]
24Daher Kaiss [51] [57]
25Hélène Kirchner [23]
26Hwa-Chung Kong [18]
27Jieh-Sheng Lee [38]
28Pierre Lescanne [23]
29Yu-Chun Lin [56]
30Michael L. Lyu [44]
31Jalel Mzali [13]
32Atsushi Ohori [43]
33David A. Plaisted [1]
34Michaël Rusinowitch [8] [11] [12] [20] [23]
35Kô Sakai [11]
36Yuh-Pyng Shieh [49]
37Mandayam K. Srivas [4] [6] [9]
38Ting-Yi Sung [55] [56]
39Richard Tzong-Han Tsai (Tzong-Han Tsai) [55] [56]
40Po-Hao Tsang [38]
41Hsieh-Chang Tu [41] [42] [44] [45] [58]
42Anita Wasilewska [36]
43Micha Wu [58]
44Shih-Hung Wu [55] [56]
45Hantao Zhang [34]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)