An Improved Ultrasonic-Based Localization Using Reflection Method. - Chen-Chien J. Hsu; Hsin-Chuan Chen; Chien-Yu Lai (CAR, 2009)

Security Impacts of Virtualization on a Network Testbed. - Yu-Lun Huang; Borting Chen; Ming-Wei Shih; Chien-Yu Lai (SERE, 2012)

Study of Radio Resource Allocation Scheme for Single Carrier FDMA in LTE Network. - Yen-Wen Chen; I-Hsuan Peng; Chien-Yu Lai (VTC Spring, 2012)

A Performance Mapping Model for Physical-to-Virtual Migration. - Borting Chen; Chien-Yu Lai; Yu-Lun Huang (SERE, 2013)

Adaptive interpolation-based model checking. - Chien-Yu Lai; Cheng-Yin Wu; Chung-Yang (Ric) Huang (ASP-DAC, 2014)

A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking. - Cheng-Yin Wu; Chi-An Wu; Chien-Yu Lai; Chung-Yang (Ric) Huang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

A Chinese Math Word Problem Solving System Based on Linguistic Theory and Non-statistical Approach. - Wen-Jet Wang; Chia-Jung Chen; Chien-Yu Lai; Chia-Ming Lee; Hsin-Hung Lin (ROCLING, 2020)