Kong Woei Susanto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1998–2009
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SOFSEM | Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation. | Kong Woei Susanto, Tim Todman, Jos Gabriel F. Coutinho, Wayne Luk |
| 2003 | ICFEM | An AMBA-ARM7 Formal Verification Platform. | Kong Woei Susanto, Thomas F. Melham |
| 1998 | FCCM | Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. | Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh |