Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
2013 | 273-289 Temporal specification mining for anomaly analysis | Wang, F.; Wu, J.-H.; Huang, C.-H.; Chang, C.-C.; Li, C.-C.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2008 | 40Ar/39Ar analyses on Quaternary K¡VAr standard BB-24: Evaluations | Wang, F.; Zhu, R.-X.; Yang, L.-K.; He, H.-Y.; Lo, C.-H.; CHING-HUA LO | International Journal of Mass Spectrometry | | | |
2016 | ABCA: Android Black-box Coverage Analyzer of mobile app without source code | Huang, S.-Y.; Yeh, C.-H.; Wang, F.; Huang, C.-H.; FARN WANG | Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015 | | | |
2014 | An antibody with a variable-region coiled-coil "knob" domain | Zhang, Y.; Goswami, D.; Wang, D.; Wang, T.-S.A.; Sen, S.; Magliery, T.J.; Griffin, P.R.; Wang, F.; Schultz, P.G.; TSUNG-SHING WANG | Angewandte Chemie - International Edition | | | |
2016 | Automated testing of web applications with text input | Wu, C.-Y.; Wang, F.; Weng, M.-H.; Lin, J.-W.; FARN WANG | Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015 | | | |
2013 | Catastrophic deep-seated landslide at Xiaolin village in Taiwan induced by 2009.8.9 typhoon morakot | Chen, S.-C.; Liu, K.-F.; Chen, L.-K.; Wu, C.-H.; Wang, F.; Wei, S.-C.; KO-FEI LIU | Environmental Science and Engineering (Subseries: Environmental Science) | | | |
2015 | Complexity of node coverage games | Wang, F.; Schewe, S.; Wu, J.-H.; FARN WANG | Theoretical Computer Science | | | |
2001 | The cooling event around 30 Ma in Northern edge of Qaidam Basin – constrains for 40Ar/39Ar and fission track thermochronology. | Wang, F.; Lo, C.-H.; Li, Q.; Wan, J.-L.; Zheng, D.-W.; Li, D.-M.; Wang, Y. | Bulletin of Mineralogy Petrology and Geochemistry | | | |
2006 | Corrigendum to "Onset timing of significant unroofing around Qaidam basin, northern Tibet, China: constraints from 40Ar/39Ar and FT thermochronology on granitoids" | Wang, F.; Lo, C.-H.; Li, Q.; Yeh, M.-W.; Wan, J.; Zheng, D.; Wang, E.; CHING-HUA LO | Journal of Asian Earth Sciences | | | |
2006 | Corrigendum to "Onset timing of significant unroofing around Qaidam basin, northern Tibet, China: constraints from<sup>40</sup>Ar/<sup>39</sup>Ar and FT thermochronology on granitoids" [Journal of Asian Earth Sciences 24 (2004) 59-69]<sup>{star, open}</sup>(DOI:10.1016/j.jseaes.2003.07.004) | Wang, F.; Lo, C.-H.; Li, Q.; Yeh, M.-W.; Wan, J.; Zheng, D.; Wang, E.; CHING-HUA LO | Journal of Asian Earth Sciences | | | |
2015 | CPAREC: Verifying recursive programs via source-to-source program transformation (competition contribution) | Chen, Y.-F.; Hsieh, C.; Tsai, M.-H.; Wang, B.-Y.; Wang, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2012 | Cross-cultural dimensions of meaning in the evaluation of events in world history?: Perceptions of historical calamities and progress in cross-cultural data from thirty societies | Liu, J.H.; Paez, D.; Hanke, K.; Rosa, A.; Hilton, D.J.; Sibley, C.G.; Cabecinhas, R.; Zaromb, F.; Garber, I.E.; Leong, C.-H.; Moloney, G.; Valchev, V.; Gastardo-Conaco, C.; Huang, L.-L.; Quek, A.-H.; Techio, E.; Sen, R.; van Osch, Y.; Muluk, H.; Wagner, W.; Wang, F.; Khan, S.S.; Licata, L.; Klein, O.; L?szl?, J.; F?l?p, M.; Cheung, J.C.-k.; Yue, X.; Youssef, S.B.; Kim, U.; Park, Y.; Puch-Bouwman, J.; Hassall, K.; Adair, J.; Unik, L.; Spini, D.; Henchoz, K.; B?hm, G.; Selart, M.; Erb, H.-P.; Thoben, D.F.; Leone, G.; Mastrovito, T.; Atsumi, T.; Suwa, K.-i.; LI-LI HUANG | Journal of Cross-Cultural Psychology | | | |
2018 | Cross-Linked Fluorescent Supramolecular Nanoparticles for Intradermal Controlled Release of Antifungal Drug - A Therapeutic Approach for Onychomycosis | Wang, F.; Yang, P.; Choi, J.-S.; Antovski, P.; Zhu, Y.; Xu, X.; Kuo, T.-H.; Lin, L.-E.; Kim, D.N.H.; Huang, P.-C.; Xu, H.; Lee, C.-F.; Wang, C.; Hsu, C.-C. ; Chen, K.; Weiss, P.S.; Tseng, H.-R. | ACS Nano | | | |
2017 | Decadal changes in nutrient fluxes and environmental effects in the Jiulong River Estuary | Wu, G.; Cao, W.; Huang, Z.; Kao, C.-M.; Chang, C.-T.; Chiang, P.-C.; Wang, F.; PEN-CHI CHIANG | Marine Pollution Bulletin | | | |
2016 | Digitspace: Designing Thumb-to-fingers touch interfaces for one-handed and eyes-free interactions | Huang, D.-Y.; Chan, L.; Yang, S.; Wang, F.; Liang, R.-H.; Yang, D.-N.; Hung, Y.-P.; Chen, B.-Y.; YI-PING HUNG | Conference on Human Factors in Computing Systems - Proceedings | | | |
2008 | Efficient model-checking of dense-time systems with time-convexity analysis | Wang, F.; FARN WANG | Proceedings - Real-Time Systems Symposium | | | |
2011 | Efficient verification of distributed real-time systems with broadcasting behaviors | Wang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG | Real-Time Systems | | | |
1997 | Error propagation analysis of real-time data-intensive applications | Kuo, T.-W.; Locke, D.; Wang, F.; FARN WANG | Real-Time Technology and Applications - Proceedings | | | |
2011 | Evolving a test oracle in black-box testing | Wang, F.; Wu, J.-H.; Huang, C.-H.; Chang, K.-H.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2017 | An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata | Ji, W.; Wang, F.; Wu, P.; Lv, Y.; FARN WANG | Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS | | | |