公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2010 | Automated assume-guarantee reasoning through implicit learning | Chen, Y.-F.; Clarke, E.M.; Farzan, A.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 38 | 0 | |
2008 | Automated compositional reasoning of intuitionistically closed regular properties | Tsay, Y.-K.; Wang, B.-Y.; Ibarra, Oscar H.; Ravikumar, Bala; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
2009 | Automated compositional reasoning of intuitionistically closed regular properties | Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY | International Journal of Foundations of Computer Science | 0 | 0 | |
2010 | Comparing learning algorithms in automated assume-guarantee reasoning | Chen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; Zhu, L.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 6 | 0 | |
2015 | CPAREC: Verifying recursive programs via source-to-source program transformation (competition contribution) | Chen, Y.-F.; Hsieh, C.; Tsai, M.-H.; Wang, B.-Y.; Wang, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
1997 | Deciding a class of path formulas for conflict-free Petri nets | Yen, H.-C.; Wang, B.-Y.; Yang, M.-S.; HSU-CHUN YEN | Theory of Computing Systems | 4 | 0 | |
2018 | Entrenchment and Creativity in Chinese Quadrasyllabic Idiomatic Expressions | Hsieh, S.-K.; Chiang, C.-Y.; Tseng, Y.-H.; Wang, B.-Y.; Chou, T.-L.; Lee, C.-L.; TAI-LI CHOU | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 3 | 0 | |
2008 | Extending automated compositional verification to the full class of omega-regular languages | Farzan, A.; Chen, Y.-F.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 57 | 0 | |
2009 | Learning minimal separating DFA's for compositional verification | Chen, Y.-F.; Farzan, A.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 51 | 0 | |
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.; Wang, F.; FARN WANG | Proceedings - International Conference on Software Engineering | 19 | 0 | |
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 | 80 | 71 | |
2011 | Two-dimensional homing sort | Wang, B.-Y.; Lu, H.-I.; HSUEH-I LU | Information Processing Letters | 0 | 0 | |
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 | |