Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
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 |