| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| - | A computational framework for automatic scoring of pre-service school principal's oral presentation using fusion of audio-visual information | S.-W. Hsiao; H.-C. Sun; M.-C. Hsieh; M.-H. Tsai; H.-C. Lin; Y. Tsao; C.-C. Lee | IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING | |||
| 2016 | An Effective Bacterial Fucosidase for Glycoprotein Remodeling | T.-I. Tsai; S.-T. Li; C.-P. Liu; K. Chen; S. S. Shivatare; C.-W. Lin; S.-F. Liao; C.-W. Lin; T.-L. Hsu; Y.-T. Wu; M.-H. Tsai; M-Y. Lai; N.-H. Lin; C.-Y. Wu; C.-H. Wong | ACS chemical biology 12(1), 63-72 | |||
| 2010 | Comparing learning algorithms in automated assume-guarantee reasoning | Y.-F. Chen; E.M. Clarke; A. Farzan; F. He; M.-H. Tsai; Y.-K. Tsay; B.-Y. Wang; L. Zhu | ||||
| 2017 | Crystal structure of a homogeneous IgG-Fc glycoform with the N-glycan designed to maximize the antibody dependent cellular cytotoxicity | C.-L. Chen; J.-C. Hsu; C.-W. Lin; C.-H. Wang; M.-H. Tsai; C.-Y. Wu; C.-H. Wong; C. Ma | ACS Chemical Biology 12(5), 1335-1345 | |||
| 2008 | GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; W.-C. Chan; C.-J. Luo | ||||
| 2007 | GOAL: A Graphical Tool for Manipulating Buechi Automata and Temporal Formulae | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan | ||||
| 2007 | GOAL: A graphical tool for manipulating Büchi automata and temporal formulae | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan | ||||
| 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 |
