公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2008 | Self-assembled star-shaped chlorin-core poly(ε-caprolactone)–poly(ethylene glycol) diblock copolymer micelles for dual chemo-photodynamic therapies | Peng, Cheng-Liang; Shieh, Ming-Jium; Tsai, Ming-Hsien; Chang, Cheng-Chung; Lai, Ping-Shan | Biomaterials | | | |
2019 | Synthesize Models for Quantitative Analysis Using Automata Learning. | Chen, Yu-Fang; Chung, Hsiao-chen; Hung, Wen-Chi; Tsai, Ming-Hsien; Wang, Bow-Yaw; FARN WANG | Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers | | | |
2014 | Verifying Recursive Programs Using Intraprocedural Analyzers. | Chen, Yu-Fang; Hsieh, Chiao; Tsai, Ming-Hsien; Wang, Bow-Yaw; FARN WANG | Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings | | | |