| 2012 | CIKM | Information preservation in static index pruning. | Ruey-Cheng Chen, Chia-Jung Lee, Chiung-Min Tsai, Jieh Hsiang |
| 2010 | IC3K | Effectiveness of Social Networking in a University Library Environment . | Hou Ieong Ho, Jieh Hsiang |
| 2006 | DC | Implementing an institutional repository for digital archive communities: Experiences from National Taiwan University. | Chiung-min Tsai, Jieh Hsiang, Hsueh-hua Chen |
| 2006 | LPAR | Boolean Rings for Intersection-Based Satisfiability. | Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss |
| 2004 | SAT | Boolean Ring Satisfiability. | Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss |
| 1998 | PRICAI | Personalized Web Retrieval: Three Agents for Retrieving Web Information. | Jieh Hsiang, Hsieh-Chang Tu |
| 1996 | PRICAI | On Semantic Resolution with Lemmaizing and Contraction. | Maria Paola Bonacina, Jieh Hsiang |
| 1993 | STACS | On Fairness in Distributed Automated Deduction. | Maria Paola Bonacina, Jieh Hsiang |
| 1991 | ICALP | Logic Programming with Recurrence Domains. | Hong Chen, Jieh Hsiang |
| 1990 | CADE | Tutorial on Rewrite-Based Theorem Proving. | Jieh Hsiang, Jean-Pierre Jouannaud |
| 1987 | ICALP | On Word Problems in Equational Theories. | Jieh Hsiang, Michal Rusinowitch |
| 1987 | IJCAI | Complete Inference Rules for the Cancellation Laws. | Jieh Hsiang, Michal Rusinowitch, K Sakai |
| 1986 | CADE | A New Method for Establishing Refutational Completeness in Theorem Proving. | Jieh Hsiang, Michal Rusinowitch |
| 1986 | LICS | Orderings for Equational Proofs | Leo Bachmair, Nachum Dershowitz, Jieh Hsiang |
| 1983 | ICALP | Rewrite Methods for Clausal and Non-Clausal Theorem Proving. | Jieh Hsiang, Nachum Dershowitz |
| 1983 | IJCAI | Associative-Commutative Rewriting. | Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted |