Chien-Yu Lai

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 1

Top Topics

Pspace Complete

Temporal Properties

Top Venues

Publications

Wen-Jet Wang, Chia-Jung Chen, Chien-Yu Lai, Chia-Ming Lee, Hsin-Hung Lin
A Chinese Math Word Problem Solving System Based on Linguistic Theory and Non-statistical Approach. ROCLING (2020)
Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang
A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (12) (2014)
Chien-Yu Lai, Cheng-Yin Wu, Chung-Yang (Ric) Huang
Adaptive interpolation-based model checking. ASP-DAC (2014)
Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang
A counterexample-guided interpolant generation algorithm for SAT-based model checking. DAC (2013)
Borting Chen, Chien-Yu Lai, Yu-Lun Huang
A Performance Mapping Model for Physical-to-Virtual Migration. SERE (2013)
Yen-Wen Chen, I-Hsuan Peng, Chien-Yu Lai
Study of Radio Resource Allocation Scheme for Single Carrier FDMA in LTE Network. VTC Spring (2012)
Yu-Lun Huang, Borting Chen, Ming-Wei Shih, Chien-Yu Lai
Security Impacts of Virtualization on a Network Testbed. SERE (2012)
Chen-Chien J. Hsu, Hsin-Chuan Chen, Chien-Yu Lai
An Improved Ultrasonic-Based Localization Using Reflection Method. CAR (2009)