Concepedia

Daniela Kaufmann

DK

Statistics

Publications

4

Citations

136

H-Index

4

Active since

2019

Affiliations

Johannes Kepler University of Linz(Current)

University of Freiburg

Daniela Kaufmann is an author at Johannes Kepler University of Linz specializing in computer science, computing, and computer engineering.

ORCID

Publications per year

2019–2023

4

Publications

4

Verifying Large Multipliers by Combining SAT and Computer Algebra

Daniela Kaufmann, Armin Biere, Manuel Kauers · 2019 · 89 citations

, , +10

Incremental column-wise verification of arithmetic circuits using computer algebra

Daniela Kaufmann, Armin Biere, Manuel Kauers · Formal Methods in System Design · 2019 · 24 citations · Full text

, , +13

Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification

Daniela Kaufmann, Paul Beame, Armin Biere et al. · 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) · 2022 · 13 citations

, , +10

Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra

Daniela Kaufmann, Armin Biere · International Journal on Software Tools for Technology Transfer · 2023 · 10 citations · Full text

, , +13

1–4 of 4