Publications Daniela KaufmannSome of my work is published under my maiden name 'Ritirc'.
Daniela Kaufmann, Armin Biere, Manuel Kauers. Incremental
column-wise verification of arithmetic circuits using computer
algebra. To be published in Formal Methods in System
Design, Springer 2019.
Daniela Ritirc, Armin Biere, Manuel Kauers. A Practical
Polynomial Calculus for Arithmetic Circuit Verification. To
appear in Proc. 3rd Intl. Workshop on Satisfiability
Checking and Symbolic Computation (SC2'18), 16 pages, CEUR-WS,
Daniela Ritirc, Armin Biere, Manuel Kauers. Improving
and Extending the Algebraic Approach for Verifying Gate-Level
Multipliers. In Proc. Design, Automation and Test in
Europe (DATE'18), pages 1556-1561, IEEE 2018.
Armin Biere, Manuel Kauers, Daniela Ritirc,. Challenges
in Verifying Arithmetic Circuits Using Computer Algebra. In
Proc. 19th Intl. Symp. on Symbolic and Numeric
Algorithms for Scientific Computing (SYNASC'17), IEEE.