A Practical Algorithm for Finding Optimal Triangulations. - Kirill Shoikhet; Dan Geiger (AAAI/IAAI, 1997)

A generic micro-architectural test plan approach for microprocessor verification. - Allon Adir; Hezi Azatchi; Eyal Bin; Ofer Peled; Kirill Shoikhet (DAC, 2005)