Kirill Shoikhet

Publication Activity (10 Years)

Years Active: 1997-2005
Publications (10 Years): 0

Publications

Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet
A generic micro-architectural test plan approach for microprocessor verification. DAC (2005)
Kirill Shoikhet, Dan Geiger
A Practical Algorithm for Finding Optimal Triangulations. AAAI/IAAI (1997)