| 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 | 315 | 1996 |
| Orderings for equational proofs L Bachmair Proc. Sympo. on Logic in Computer Science, 346-357, 1986 | 264 | 1986 |
| Refutational theorem proving using term-rewriting systems J Hsiang Artificial Intelligence 25 (3), 255-300, 1985 | 263 | 1985 |
| On word problems in equational theories J Hsiang, M Rusinowitch Automata, Languages and Programming: 14th International Colloquium Karlsruhe …, 1987 | 238 | 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 | 190 | 1991 |
| Patent classification by fine-tuning BERT language model JS Lee, J Hsiang World Patent Information 61, 101965, 2020 | 180 | 2020 |
| Patent claim generation by fine-tuning OpenAI GPT-2 JS Lee, J Hsiang World Patent Information 62, 101983, 2020 | 162 | 2020 |
| 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 | 149 | 2006 |
| Patentbert: Patent classification with fine-tuning a pre-trained bert model JS Lee, J Hsiang arXiv preprint arXiv:1906.02124, 2019 | 142 | 2019 |
| Rewrite methods for clausal and non-clausal theorem proving J Hsiang, N Dershowitz International Colloquium on Automata, Languages, and Programming, 331-346, 1983 | 118 | 1983 |
| Topics in automated theorem proving and program generation J Hsiang University of Illinois at Urbana-Champaign, 1983 | 83 | 1983 |
| An architecture and category knowledge for intelligent information retrieval agents HC Tu, J Hsiang Decision Support Systems 28 (3), 255-268, 2000 | 70 | 2000 |
| Automated proofs of the Moufang identities in alternative rings S Anantharaman, J Hsiang Journal of Automated Reasoning 6 (1), 79-109, 1990 | 65 | 1990 |
| A new method for establishing refutational completeness in theorem proving J Hsiang, M Rusinowitch 8th International Conference on Automated Deduction: Oxford, England, July …, 1986 | 65 | 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 | 63 | 1991 |
| 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 | 60 | 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 | 59 | 2015 |
| Towards a foundation of completion procedures as semidecision procedures MP Bonacina, J Hsiang Theoretical Computer Science 146 (1-2), 199-242, 1995 | 49 | 1995 |
| Parallelization of deduction strategies: an analytical study MP Bonacina, J Hsiang Journal of Automated Reasoning 13 (1), 1-33, 1994 | 48 | 1994 |
| A digital museum of Taiwanese butterflies JS Hong, HY Chen, J Hsiang Proceedings of the fifth ACM conference on Digital libraries, 260-261, 2000 | 47 | 2000 |
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaVerified email at univr.it
