公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2009 | Constructing a metrics for blur perception with blur discrimination experiments | Chen, C.-C.; Chen, K.-P.; Tseng, C.-H.; Kuo, S.-T.; Wu, K.-N.; Farn; , Susan P.; Gaykema, Frans; Chen, Kuei-Po; Tseng, Chia-Huei; Kuo, Sheng-Tzung; Chen, Chien-Chung ; CHIEN-CHUNG CHEN | Proceedings of SPIE - The International Society for Optical Engineering | 7 | 0 | |
2007 | GOAL: A graphical tool for manipulating Büchi automata and temporal formulae | YIH-KUEN TSAY ; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2009 | Tool support for learning Büchi automata and linear temporal logic | YIH-KUEN TSAY ; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; Luo, C.-J.; Chang, J.-S. | Formal Aspects of Computing | | | |