Chien-Yu Lai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2014
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ASPDAC | Adaptive interpolation-based model checking. | Chien-Yu Lai, Cheng-Yin Wu, Chung-Yang (Ric) Huang |
| 2013 | DAC | A counterexample-guided interpolant generation algorithm for SAT-based model checking. | Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang |
| 2012 | VTC | Study of Radio Resource Allocation Scheme for Single Carrier FDMA in LTE Network. | Yen-Wen Chen, I-Hsuan Peng, Chien-Yu Lai |