Jieh Hsiang

	2011
63		Jieh Hsiang, Shu-Fen H. Lin: Breathing New Life into Static Materials. HICSS 2011: 1-5
	2010
62		Ruey-Cheng Chen, Chiung-Min Tsai, Jieh Hsiang: Relevance Model Revisited: With Multiple Document Representations. AAIRS 2010: 37-48
61		Hou Ieong Ho, Jieh Hsiang: Effectiveness of Social Networking in a University Library Environment . KMIS 2010: 307-310
	2009
60		Kuang-hua Chen, Jieh Hsiang: The unique approach to institutional repository: Practice of National Taiwan University. The Electronic Library 27(2): 204-221 (2009)
	2007
59		Szu-Pei Chen, Jieh Hsiang, Hsieh-Chang Tu, Micha Wu: On Building a Full-Text Digital Library of Historical Documents. ICADL 2007: 49-60
	2006
58		Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss: Boolean Rings for Intersection-Based Satisfiability. LPAR 2006: 482-496
57		Richard 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)
56		Tzong-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
55		Hou Ieong Ho, Jieh Hsiang: Configurable Meta-search for Integrating Web Public Access Catalogs. ICADL 2005: 317-322
54		Jen-Shin Hong, Martin Doerr, Jieh Hsiang: Editorial. Int. J. on Digital Libraries 5(3): 151-152 (2005)
53		Jen-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
52		Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss: Boolean Ring Satisfiability. SAT 2004
51		Bee-Chung Chen, Jieh Hsiang: A Logical Framework of Knowledge Retrieval with Fuzziness. Web Intelligence 2004: 524-528
50		Jieh Hsiang, D. Frank Hsu, Yuh-Pyng Shieh: On the hardness of counting problems of complete mappings. Discrete Mathematics 277(1-3): 87-100 (2004)
	2002
49		Chao-Chen Chen, Hsueh-hua Chen, Kuang-hua Chen, Jieh Hsiang: The design of metadata for the Digital Museum Initiative in Taiwan. Online Information Review 26(5): 295-306 (2002)
	2001
48		Jen-Shin Hong, Bai-Hsuen Chen, Jieh Hsiang: XSL-based Content Management for Multi-presentation Digital Museum Exhibitions. ECDL 2001: 378-389
47		Jen-Shin Hong, Bai-Hsuen Chen, Jieh Hsiang, Tien-Yu Hsu: Content management for digital museum exhibitions. JCDL 2001: 450
	2000
46		Jen-Shin Hong, Herng-Yow Chen, Jieh Hsiang: A digital museum of Taiwanese butterflies. ACM DL 2000: 260-261
45		Hsieh-Chang Tu, Jieh Hsiang: An architecture and category knowledge for intelligent information retrieval agents. Decision Support Systems 28(3): 255-268 (2000)
	1999
44		Hsieh-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
42		Hsieh-Chang Tu, Jieh Hsiang: An Architecture and Category Knowledge for Intelligent Information Retrieval Agents. HICSS (4) 1998: 405-414
41		Jieh 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
38		Jieh-Sheng Lee, Jieh Hsiang, Po-Hao Tsang: A Generic Virus Detection Agent on the Internet. HICSS (4) 1997: 210-210
	1996
37		Maria 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)
35		Maria 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)
29		Maria 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
26		Maria Paola Bonacina, Jieh Hsiang: Distributed Deduction by Clause-Diffusion: The Aquarius Prover. DISCO 1993: 272-287
25		Maria 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
22		Hong Chen, Jieh Hsiang: Logic Programming with Recurrence Domains. ICALP 1991: 20-34
21		Maria Paola Bonacina, Jieh Hsiang: On Fairness of Completion-Based Theorem Proving Strategies. RTA 1991: 348-360
20		Jieh Hsiang, Michaël Rusinowitch: Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method. J. ACM 38(3): 559-587 (1991)
	1990
19		Jieh 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
13		Siva Anantharaman, Jieh Hsiang, Jalel Mzali: SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. RTA 1989: 533-537
	1987
12		Jieh 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
8		Jieh 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
6		Jieh Hsiang, Mandayam K. Srivas: PROLOG-Based Inductive Theorem Proving. FSTTCS 1985: 129-149
5		Jieh Hsiang: Two Results in Term Rewriting Theorem Proving. RTA 1985: 301-324
4		Jieh 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
2		Jieh 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

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

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page