Tim Pruss
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2014–2015
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | DATE | Formal verification of sequential Galois field arithmetic circuits using algebraic geometry. | Xiaojun Sun, Priyank Kalla, Tim Pruss, Florian Enescu |
| 2014 | DAC | Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Grbner Bases. | Tim Pruss, Priyank Kalla, Florian Enescu |