The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jieh Hsiang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  56. On Building a Full-Text Digital Library of Historical Documents. [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002