Kirill Shoikhet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1997–2005
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | DAC | A generic micro-architectural test plan approach for microprocessor verification. | Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet |
| 1997 | AAAI | A Practical Algorithm for Finding Optimal Triangulations. | Kirill Shoikhet, Dan Geiger |