| Paramodulation-based theorem proving J Hsiang, C Lynch, M Rusinowitch Handbook of automated reasoning 1, 371, 2001 | 488 | 2001 |
| PSATO: a distributed propositional prover and its application to quasigroup problems H Zhang, MP Bonacina, J Hsiang Journal of Symbolic Computation 21 (4-6), 543-560, 1996 | 303 | 1996 |
| Refutational theorem proving using term-rewriting systems J Hsiang Artificial Intelligence 25 (3), 255-300, 1985 | 267 | 1985 |
| Orderings for equational proofs L Bachmair Proc. Sympo. on Logic in Computer Science, 346-357, 1986 | 259 | 1986 |
| On word problems in equational theories J Hsiang, M Rusinowitch Automata, Languages and Programming: 14th International Colloquium Karlsruhe …, 1987 | 231 | 1987 |
| Proving refutational completeness of theorem-proving strategies: The transfinite semantic tree method J Hsiang, M Rusinowitch Journal of the ACM (JACM) 38 (3), 558-586, 1991 | 184 | 1991 |
| Various criteria in the evaluation of biomedical named entity recognition RTH Tsai, SH Wu, WC Chou, YC Lin, D He, J Hsiang, TY Sung, WL Hsu BMC bioinformatics 7, 1-8, 2006 | 123 | 2006 |
| Rewrite methods for clausal and non-clausal theorem proving J Hsiang, N Dershowitz Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983 | 122 | 1983 |
| Associative-Commutative Rewriting. N Dershowitz, J Hsiang, NA Josephson, DA Plaisted IJCAI, 940-944, 1983 | 89 | 1983 |
| Topics in automated theorem proving and program generation J Hsiang University of Illinois at Urbana-Champaign, 1983 | 88 | 1983 |
| Patent claim generation by fine-tuning OpenAI GPT-2 JS Lee, J Hsiang World Patent Information 62, 101983, 2020 | 85 | 2020 |
| Patentbert: Patent classification with fine-tuning a pre-trained bert model JS Lee, J Hsiang arXiv preprint arXiv:1906.02124, 2019 | 82 | 2019 |
| Patent classification by fine-tuning BERT language model JS Lee, J Hsiang World Patent Information 61, 101965, 2020 | 75 | 2020 |
| An architecture and category knowledge for intelligent information retrieval agents HC Tu, J Hsiang Decision Support Systems 28 (3), 255-268, 2000 | 68 | 2000 |
| A new method for establishing refutational completeness in theorem proving J Hsiang, M Rusinowitch 8th International Conference on Automated Deduction: Oxford, England, July …, 1986 | 63 | 1986 |
| On finite representations of infinite sequences of terms H Chen, J Hsiang, HC Kong Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop …, 1991 | 61 | 1991 |
| Automated proofs of the Moufang identities in alternative rings S Anantharaman, J Hsiang Journal of Automated Reasoning 6 (1), 79-109, 1990 | 61 | 1990 |
| Integrating linguistic knowledge into a conditional random fieldframework to identify biomedical named entities T Tsai, WC Chou, SH Wu, TY Sung, J Hsiang, WL Hsu Expert Systems with Applications 30 (1), 117-128, 2006 | 57 | 2006 |
| Exploring alternative metrics of scholarly performance in the social sciences and humanities in Taiwan K Chen, M Tang, C Wang, J Hsiang Scientometrics 102, 97-112, 2015 | 52 | 2015 |
| Towards a foundation of completion procedures as semidecision procedures MP Bonacina, J Hsiang Theoretical Computer Science 146 (1-2), 199-242, 1995 | 47 | 1995 |
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaZweryfikowany adres z univr.it
