Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2016 | Influenza A surface glycosylation and vaccine design. | C.-Y. Wu; C.-W. Lin; T.-L. Tsai; C.-C. D. Lee; H.-Y. Chuang; J.-B. Chen; M.-H. Tsai; B.-R. Chen; P.-W. Lo; C.-P. Liu; V. S. Shivatare; C.-H. Wong | Proc. Nat. Acad. Sci. U.S.A. 114(2):280-285 | |||
2012 | Nitrogen-functionalized graphene nanoflakes (GNF:N): tunable photoluminescence and electronic structures | J.W. Chiou; Sekhar C. Ray; S.I. Peng; C.H. Chuang; B.Y. Wang; H.M. Tsai; C.W. Pao; H.-J. Lin; Y.C. Shao; Y.F. Wang; S.C. Chen; W.F. Pong; Y.C. Yeh; C.W. Chen; L.C. Chen; K.H. Chen; M.-H. Tsai; A. Kumar; A. Ganguly; P. Papakonstantinou; H. Yamane; N. Kosugi; T. Regier; L. Liu; T. K. Sham | JOURNAL OF PHYSICAL CHEMISTRY C 116, 16251-16258 | |||
2009 | Tool support for learning Büchi automata and linear temporal logic | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan; C.-J. Luo; J.-S. Chang | Formal Aspects of Computing 21(3), 259-275 | |||
2014 | Verifying Recursive Programs using Intraprocedural Analyzers | Y.-F. Chen; C. Hsieh; M.-H. Tsai; B.-Y. Wang; F. Wang |