2008 | ||
---|---|---|
2 | EE | Chi-Chun Lo, Ding-Yuan Cheng, Chi-Hua Chen: A Semantic Web Methodology for Situation-Aware Curative Food Service Recommendation System. CSSE (4) 2008: 444-447 |
2005 | ||
1 | EE | Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum: Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. CAV 2005: 158-163 |
1 | Gogul Balakrishnan | [1] |
2 | Ding-Yuan Cheng | [2] |
3 | Radu Gruian | [1] |
4 | Nicholas Kidd | [1] |
5 | Akash Lal | [1] |
6 | Junghee Lim | [1] |
7 | Chi-Chun Lo | [2] |
8 | David Melski | [1] |
9 | Thomas W. Reps | [1] |
10 | Tim Teitelbaum | [1] |
11 | Suan Hsi Yong | [1] |