Daniela Ritirc
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2018
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | DATE | Improving and extending the algebraic approach for verifying gate-level multipliers. | Daniela Ritirc, Armin Biere, Manuel Kauers |
| 2017 | FMCAD | Column-wise verification of multipliers using computer algebra. | Daniela Ritirc, Armin Biere, Manuel Kauers |
| 2017 | SYNASC | Challenges in Verifying Arithmetic Circuits Using Computer Algebra. | Armin Biere, Manuel Kauers, Daniela Ritirc |