Nikhil Kikkeri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2004–2005
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ICCD | Challenges in the Formal Verification of Complete State-of-the-Art Processors. | Nathaniel Ayewah, Nikhil Kikkeri, Peter-Michael Seidel |
| 2005 | ICCD | Formal Verification of Parametric Multiplicative Division Implementations. | Nikhil Kikkeri, Peter-Michael Seidel |
| 2004 | ICCD | Formal Hardware Verification based on Signal Correlation Properties. | Nikhil Kikkeri, Peter-Michael Seidel |