Concepedia

Heng Chu

HC

Statistics

Publications

5

Citations

82

H-Index

5

Active since

1994

Affiliations

National Defense Medical Center(Current)

University of North Carolina at Chapel Hill

Tri-Service General Hospital

Heng Chu is an author at National Defense Medical Center specializing in hepatology, medicine, and formal verification.

Top concepts

MedicineHepatologyOncologyPathologySemanticsEngineeringSemantic WebVerificationCancer TherapyFormal Methods

Publications per year

1994–2021

5

Publications

5

Preliminary experience with gemcitabine and cisplatin adjuvant chemotherapy after liver transplantation for hepatocellular carcinoma

C.-B. Hsieh, Shih-Jen Chou, Ming-Liang Shih et al. · European Journal of Surgical Oncology · 2008 · 31 citations

Hepatology, Medicine, Cisplatin Adjuvant Chemotherapy +7

Choledochoduodenal fistula caused by cholangiocarcinoma of the distal common bile duct

C.-T. Lin, Kuo‐Feng Hsu, J.-C. Yu et al. · Endoscopy · 2009 · 15 citations · Full text

Hepatology, Biliary Tree, Biliary Tract +10

CLIN-S - A Semantically Guided First-Order Theorem Prover

Heng Chu, David A. Plaisted · Journal of Automated Reasoning · 1997 · 12 citations

MODEL FINDING IN SEMANTICALLY GUIDED INSTANCE-BASED THEOREM PROVING

Heng Chu, David A. Plaisted · Fundamenta Informaticae · 1994 · 12 citations

Engineering, Ground Clause, Automated Reasoning +15

Targeting USP22 with miR‑30‑5p to inhibit the hypoxia‑induced expression of PD‑L1 in lung adenocarcinoma cells

Xiaoyang Hua, Heng Chu, Chuanxiao Wang et al. · Oncology Reports · 2021 · 12 citations · Full text

1–5 of 5