Author Info
Name
Affiliation
Papers
KONG WOEI SUSANTO
Department of Computing Science, University of Glasgow, Glasgow, G12 8QQ UK
6
Collaborators
Citations 
PageRank 
7
81
5.22
Referers 
Referees 
References 
162
160
68
Search Limit
100162
Title
Citations
PageRank
Year
Automating formal verification of customized soft-processors.20.382011
Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation50.522009
Source-level proof reconstruction for interactive theorem proving401.682007
An AMBA-ARM7 Formal Verification Platform50.512003
Formally Analyzed Dynamic Synthesis of Hardware70.612001
Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation221.511998