公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
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 | ||||
2008 | Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages | A. Farzan; Y.-F. Chen; E.M. Clarke; Y.-K. Tsay; B.-Y. Wang | ||||
2016 | Nonlinear bandgap opening behavior of BN co-doped graphene | B.-Y. Wang; H. T. Wang; L.-Y. Chen; H. C. Hsueh; X. Li; J.-H. Guo; Y. Luo; J. W. Chiou; W.-.H. Wang; P.-H. Wang; K.-H. Chen; Y.-C. Chen; L.-C. Chen; C.-H. Chen; J. Wang; W. F. Pong | CARBON 107, 857-864 | |||
2014 | Verifying Recursive Programs using Intraprocedural Analyzers | Y.-F. Chen; C. Hsieh; M.-H. Tsai; B.-Y. Wang; F. Wang |