2008
Placement-Driven Synthesis Design Closure Tool.
Proceedings of the Handbook of Algorithms for Physical Design Automation., 2008

1996
The use of random simulation in formal verification.
Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996