公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2020 | Impact of Mineral Dust on Summertime Precipitation Over the Taiwan Region | Zhang, Y.; Yu, F.; Luo, G.; Chen, J.-P.; JEN-PING CHEN | Journal of Geophysical Research: Atmospheres | 6 | 5 | |
2012 | Symbolic consistency checking of OpenMP parallel programs | Yu, F.; Yang, S.-C.; Wang, F.; Chen, G.-C.; Chan, C.-C.; FARN WANG | Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) | | | |
2011 | A temporal logic for the interaction of strategies | Wang, F.; Huang, C.-H.; Yu, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |