| |
| 2009 | ||
|---|---|---|
| 5 | EE | Kong Woei Susanto, Tim Todman, José Gabriel F. Coutinho, Wayne Luk: Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation. SOFSEM 2009: 509-520 |
| 2007 | ||
| 4 | EE | Lawrence C. Paulson, Kong Woei Susanto: Source-Level Proof Reconstruction for Interactive Theorem Proving. TPHOLs 2007: 232-245 |
| 2003 | ||
| 3 | EE | Kong Woei Susanto, Thomas F. Melham: An AMBA-ARM7 Formal Verification Platform. ICFEM 2003: 48-67 |
| 2001 | ||
| 2 | Kong Woei Susanto, Thomas F. Melham: Formally Analyzed Dynamic Synthesis of Hardware. The Journal of Supercomputing 19(1): 7-22 (2001) | |
| 1998 | ||
| 1 | EE | Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh: Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. FCCM 1998: 308-309 |
| 1 | José Gabriel F. Coutinho | [5] |
| 2 | Wayne Luk | [5] |
| 3 | Nicholas McKay | [1] |
| 4 | Thomas F. Melham | [1] [2] [3] |
| 5 | Lawrence C. Paulson | [4] |
| 6 | Satnam Singh | [1] |
| 7 | Tim Todman | [5] |