Concepedia

Ming-Hsien Tsai

MT

Statistics

Publications

17

Citations

540

H-Index

14

Active since

2001

Affiliations

National Taiwan University(Current)

National Taiwan University Hospital

Academia Sinica

Shenzhen University

Institute of Nuclear Energy Research

Ming-Hsien Tsai is an author at National Taiwan University specializing in computer science, computing, and formal methods.

Publications per year

2001–2022

17

Publications

17

Targeting Colorectal Cancer Stem-Like Cells with Anti-CD133 Antibody-Conjugated SN-38 Nanoparticles

Sin-Tzu Ning, Shin‐Yu Lee, Ming‐Feng Wei et al. · ACS Applied Materials & Interfaces · 2016 · 111 citations

Pharmacy, Oncology, Pharmacology +17

Automatic numeric abstractions for heap-manipulating programs

S. Magill, Ming-Hsien Tsai, Peter Lee et al. · 2010 · 79 citations

Computing, Computer Science, Data Structures +16

Palbociclib enhances radiosensitivity of hepatocellular carcinoma and cholangiocarcinoma via inhibiting ataxia telangiectasia–mutated kinase–mediated DNA damage response

Chao‐Yuan Huang, Feng‐Shu Hsieh, Cheng‐Yi Wang et al. · European Journal of Cancer · 2018 · 75 citations

Medicine, Oncology, Pharmacology +17

Verifying Curve25519 Software

Yu‐Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin et al. · 2014 · 47 citations · Full text

Computing, Computer Engineering, Computer Science +15

Advanced automata-based algorithms for program termination checking

Yu‐Fang Chen, Matthias Heizmann, Ondřej Lengál et al. · 2018 · 27 citations

Computing, Computer Science, Algorithms +11

1–5 of 17