|
|
???tair.name??? >
???browser.page.title.author???
|
"wang f"???jsp.browse.items-by-author.description???
Showing items 101-110 of 208 (21 Page(s) Totally) << < 6 7 8 9 10 11 12 13 14 15 > >> View [10|25|50] records per page
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
Symbolic branching bisimulation-checking of dense-time systems in an environment
|
Wang, F.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
LTL model checking for recursive programs
|
Huang, G.-D.;Cai, L.-Z.;Wang, F.; Huang, G.-D.; Cai, L.-Z.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
Evolving a test oracle in black-box testing
|
Wu, J.-H.; Huang, C.-H.; Chang, K.-H.; FARN WANG; Wang, F.;Wu, J.-H.;Huang, C.-H.;Chang, K.-H.; Wang, F. |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
A temporal logic for the interaction of strategies
|
Wang, F.;Huang, C.-H.;Yu, F.; Wang, F.; Huang, C.-H.; Yu, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:50Z |
273-289 Temporal specification mining for anomaly analysis
|
Wu, J.-H.; Huang, C.-H.; Chang, C.-C.; Li, C.-C.; FARN WANG; Wang, F.; Wang, F.;Wu, J.-H.;Huang, C.-H.;Chang, C.-C.;Li, C.-C. |
| 臺大學術典藏 |
2020-06-04T07:48:50Z |
Synthesizing coalitions for multi-agent games
|
Wu, P.; FARN WANG; Ji, W.;Wang, F.;Wu, P.; Ji, W.; Wang, F. |
| 臺大學術典藏 |
2020-05-15T07:00:25Z |
Onset timing of significant unroofing around Qaidam basin, northern Tibet, China: constraints from Ar-40/Ar-39 and FT thermochronology on granitoids
|
Wang, F.;Lo, C. H.;Li, Q.;Yeh, M. W.;Wan, J. L.;Zheng, D. W.;Wang, E. Q.; Wang, F.; Lo, C. H.; Li, Q.; Yeh, M. W.; Wan, J. L.; Zheng, D. W.; Wang, E. Q.; CHING-HUA LO |
| 臺大學術典藏 |
2020-05-15T07:00:23Z |
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.; Wang, F.; Lo, C.-H.; Li, Q.; Yeh, M.-W.; Wan, J.; Zheng, D.; Wang, E.; CHING-HUA LO |
| 臺大學術典藏 |
2020-03-27T05:30:52Z |
An Asian study on the prevalence of atypical respiratory pathogens in community-acquired pneumonia
|
Aziah A.M.; Sohn J.-W.; Ping-Ing L.; Park S.-C.; Alejandria M.; PO-REN HSUEH; Saniel M.; Wang F.; Chantarojanasriri T.; Suwanjutha S.; Ngeow Y.-F.; Cheong Y.-M.;Hood A.;Hadiarto M.;Ngan C.C.L.;Seto W.-H.;Liu Y.;Aziah A.M.;Sohn J.-W.;Park S.-C.;Ping-Ing L.;PO-REN HSUEH;Alejandria M.;Saniel M.;Wang F.;Chantarojanasriri T.;Suwanjutha S.;Ngeow Y.-F.; Liu Y.; Seto W.-H.; Ngan C.C.L.; Hadiarto M.; Hood A.; Cheong Y.-M. |
| 臺大學術典藏 |
2020-03-23T07:19:27Z |
Identification of a functional genetic variant at 16q12.1 for breast cancer risk: Results from the Asia breast cancer consortium
|
Zheng W.; Lu W.; Gao Y.-T.; Li G.; Wen W.; Shi J.; Huang B.; Long J.;Cai Q.;Shu X.-O.;Qu S.;Li C.;Zheng Y.;Gu K.;Wang W.;Xiang Y.-B.;Cheng J.;Chen K.;Zhang L.;Zheng H.;Shen C.-Y.;Chiun-Sheng Huang;Hou M.-F.;Shen H.;Hu Z.;Wang F.;Deming S.L.;Kelley M.C.;Shrubsole M.J.;Khoo U.S.;Chan K.Y.K.;Chan S.Y.;Haiman C.A.;Henderson B.E.;Le Marchand L.;Iwasaki M.;Kasuga Y.;Tsugane S.;Matsuo K.;Tajima K.;Iwata H.;Huang B.;Shi J.;Li G.;Wen W.;Gao Y.-T.;Lu W.;Zheng W.; Iwata H.; Tajima K.; Matsuo K.; Kasuga Y.; Tsugane S.; Iwasaki M.; le Marchand L.; Henderson B.E.; Haiman C.A.; Chan S.Y.; Chan K.Y.K.; Khoo U.S.; Shrubsole M.J.; Kelley M.C.; Long J.; Cai Q.; Shu X.-O.; Qu S.; Li C.; Zheng Y.; Gu K.; Wang W.; Xiang Y.-B.; Cheng J.; Chen K.; Zhang L.; Zheng H.; Shen C.-Y.; CHIUN-SHENG HUANG; Hou M.-F.; Shen H.; Hu Z.; Wang F.; Deming S.L. |
Showing items 101-110 of 208 (21 Page(s) Totally) << < 6 7 8 9 10 11 12 13 14 15 > >> View [10|25|50] records per page
|