Robert A. Thacker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1999–2009
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICCD | A new verification method for embedded systems. | Robert A. Thacker, Chris J. Myers, Kevin R. Jones, Scott Little |
| 1999 | VLSID | Timed Circuit Synthesis Using Implicit Methods. | Robert A. Thacker, Wendy Belluomini, Chris J. Myers |