Duy-Khanh Le
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2012–2015
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | PEPM | Threads as Resource for Concurrency Verification. | Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
| 2013 | ATVA | An Expressive Framework for Verifying Deadlock Freedom. | Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
| 2013 | ICFEM | Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions. | Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
| 2012 | HPSC | Energy-Aware Lease Scheduling in Virtualized Data Centers. | Nguyen Quang-Hung, Nam Thoai, Nguyen Thanh Son, Duy-Khanh Le |
| 2012 | ICCCI | An Approach to Improving Quality of Crawlers Using Nave Bayes for Classifier and Hyperlink Filter. | Huu-Thien-Tan Nguyen, Duy-Khanh Le |
| 2012 | ICFEM | Variable Permissions for Concurrency Verification. | Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |