Kong Woei Susanto

	2009
5		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		Lawrence C. Paulson, Kong Woei Susanto: Source-Level Proof Reconstruction for Interactive Theorem Proving. TPHOLs 2007: 232-245
	2003
3		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		Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh: Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. FCCM 1998: 308-309

Coauthor Index

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]

Colors in the list of coauthors