公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2009 | Learning minimal separating DFA's for compositional verification | Chen, Y.-F.; Farzan, A.; Clarke, E.M.; YIH-KUEN TSAY ; Wang, B.-Y. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2016 | Nonlinear bandgap opening behavior of BN co-doped graphene | Wang, B.-Y.; Wang, H.; Chen, L.-Y.; Hsueh, H.-C.; Li, X.; Guo, J.; Luo, Y.; Chiou, J.-W.; Wang, W.-H.; Wang, P.-H.; Chen, K.-H.; Chen, Y.-C.; Chen, L.-C. ; Chen, C.-H.; Wang, J.; Pong, W.-F. | Carbon | 23 | 22 | |
2016 | PAC learning-based verification and model synthesis | Chen, Y.-F.; Hsieh, C.; Leng?l, O.; Lii, T.-J.; Tsai, M.-H.; Wang, B.-Y.; FARN WANG | Proceedings - International Conference on Software Engineering | | | |
2012 | Preparation of activated carbon sheet electrode assisted electrosorption process | Hou, C.-H.; Huang, J.-F.; Lin, H.-R.; Wang, B.-Y.; CHIA-HUNG HOU | Journal of the Taiwan Institute of Chemical Engineers | | | |
2011 | Two-dimensional homing sort | Wang, B.-Y.; HSUEH-I LU | Information Processing Letters | | | |
2012 | Uniaxial magnetic anisotropy in Pd/Fe bilayers on Al 2O 3 (0001) induced by oblique deposition | Chi, C.-S.; Wang, B.-Y.; Pong, W.-F.; Ho, T.-Y.; Tsai, C.-J.; Lo, F.-Y.; Chern, M.-Y.; Lin, W.-C.; MING-YAU CHERN | Journal of Applied Physics | 27 | 26 | |