Warren A. Hunt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2004–2021
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FMCAD | Sound and Automated Verification of Real-World RTL Multipliers. | Mertcan Temel, Warren A. Hunt |
| 2020 | CAV | Automated and Scalable Verification of Integer Multipliers. | Mertcan Temel, Anna Slobodov, Warren A. Hunt |
| 2004 | ACL | Resource Analysis for Question Answering. | Lucian Vlad Lita, Warren A. Hunt, Eric Nyberg |