公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2014 | Adaptive interpolation-based model checking | Lai, C.-Y.; Wu, C.-Y.; Huang, C.-Y.R.; CHUNG-YANG HUANG | Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC | 0 | 0 | |
1994 | Applying Play Therapy in Helping a Cyclic Vomiting Schoolager to Pass through a Bio-Psycho-Soical Crises | 賴倩瑜; 黃珮玲; 熊秉荃 ; LAI, C.-Y.; HUANG, P.-L.; HSIUNG, PING-CHUN | 護理雜誌,v.41 | | | |
2009 | Comprehensive study of the Raman shifts of strained silicon and germanium | Peng, C.-Y.; Huang, C.-F.; Fu, Y.-C.; YI-HSUAN YANG ; Lai, C.-Y.; Chang, S.-T.; Liu, C.W.; CHEE-WEE LIU | Journal of Applied Physics | 73 | 70 | |
2013 | A counterexample-guided interpolant generation algorithm for SAT-based model checking | Wu, C.-Y.; Wu, C.-A.; Lai, C.-Y.; Huang, C.-Y.; CHUNG-YANG HUANG | Proceedings - Design Automation Conference | 4 | 0 | |
2019 | Development of upconversion nanoparticle-conjugated indium phosphide quantum dot for matrix metalloproteinase-2 cancer transformation sensing | Chan, M.-H.; Lai, C.-Y.; Chan, Y.-C.; Hsiao, M.; Chung, R.-J.; Chen, X.; Liu, R.-S.; RU-SHI LIU | Nanomedicine | 9 | 9 | |
2009 | Fundamentals of Algorithms | CHUNG-YANG HUANG ; Lai, C.-Y.; Cheng, K.T. | Electronic Design Automation | 13 | 0 | |
2020 | Impedimetric aptasensing using a symmetric Randles circuit model | Lai, C.-Y.; Huang, W.-C.; Weng, J.-H.; Chen, L.-C.; Chou, C.-F.; Wei, P.-K.; LIN-CHI CHEN | Electrochimica Acta | 7 | 7 | |
2006 | Inductance extraction for general interconnect structures | Lai, C.-Y.; Jeng, S.-K.; Chang, Y.-W.; Tsai, C.-C.; YAO-WEN CHANG | IEEE International Symposium on Circuits and Systems | 0 | | |
2010 | Insulating halos to boost planar NMOSFET performance | Hsu, W.-W.; Lai, C.-Y.; Liu, C.W.; Ko, C.-H.; Kuan, T.-M.; Wang, T.-J.; Lee, W.-C.; Wann, C.H.; CHEE-WEE LIU | IEEE Transactions on Electron Devices | 0 | 0 | |
2018 | Performance of Implementing Smart DFT in Micro Phasor Measurement Unit | Lai, C.-Y.; Yang, T.-Y.; Liu, C.-W.; CHIH-WEN LIU | E3S Web of Conferences | 0 | 0 | |
2020 | A Scheme to Mitigate Generation Trip Events by Ancillary Services Considering Minimal Actions of UFLS | Lai, C.-Y.; Liu, C.-W.; CHIH-WEN LIU | IEEE Transactions on Power Systems | 12 | 9 | |
2017 | Wide-Area frequency security event detection | Lai, C.-Y.; Liu, C.-W.; Chao, C.-C.; CHIH-WEN LIU | International Conference on High Voltage Engineering and Power Systems, ICHVEPS 2017 - Proceeding | 2 | 0 | |