Concepedia

Jieh Hsiang

JH

33

Publications

1.8K

Citations

20

H-Index

1983

Active since

Affiliations

National Taiwan University(Current)

Stony Brook University

University of Iowa

National Chi Nan University

Chaoyang University of Technology

Jieh Hsiang is an author at National Taiwan University specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceVerificationFormal VerificationKnowledge DiscoverySemanticsText MiningProof Complexity

Publications per year

1983–2020

33

Publications

33

Patent classification by fine-tuning BERT language model

Jieh-Sheng Lee, Jieh Hsiang · World Patent Information · 2020 · 211 citations

Natural Language Processing, Engineering, Patent Classification +8

PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems

Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang · Journal of Symbolic Computation · 1996 · 209 citations

Engineering, Automated Reasoning, Propositional Logic +9

Refutational theorem proving using term-rewriting systems

Jieh Hsiang · Artificial Intelligence · 1985 · 199 citations

Engineering, Automated Reasoning, Regulated Rewriting +4

Various criteria in the evaluation of biomedical named entity recognition

Richard Tzong‐Han Tsai, Shih-Hung Wu, Wen‐Chi Chou et al. · BMC Bioinformatics · 2006 · 132 citations · Full text

Orderings for Equational Proofs

Leo Bachmair, Nachum Dershowitz, Jieh Hsiang · Logic in Computer Science · 1986 · 130 citations

Engineering, Automated Reasoning, Formal Methods +4

Rows per page

1–5 of 33