Ming-Hsien Tsai

21 papers and 253 indexed citations i.

About

Ming-Hsien Tsai has authored 21 papers that have received a total of 253 indexed citations. This includes 11 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 4 papers in Oncology. The topics of these papers are Formal Methods in Verification (6 papers), Logic, programming, and type systems (5 papers) and Nanoparticle-Based Drug Delivery (4 papers). Ming-Hsien Tsai is often cited by papers focused on Formal Methods in Verification (6 papers), Logic, programming, and type systems (5 papers) and Nanoparticle-Based Drug Delivery (4 papers) and collaborates with scholars based in Taiwan, China and United States. Ming-Hsien Tsai's co-authors include Ming‐Jium Shieh, Bow-Yaw Wang, Bo‐Yin Yang, Shin‐Yu Lee and Cheng‐Liang Peng and has published in prestigious journals such as ACS Applied Materials & Interfaces, European Journal of Cancer and RSC Advances

In The Last Decade

Rankless by CCL
2025