| 2026 | IJCAR | Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits. | Clemens Hofstadler, Daniela Kaufmann, Chen Chen |
| 2026 | TACAS | ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers. | Chen Chen, Daniela Kaufmann, Chenhui Deng, Zhan Song, Hongce Zhang, Cunxi Yu |
| 2025 | CP | Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification. | Clemens Hofstadler, Daniela Kaufmann |
| 2025 | SYNASC | Verifying Arithmetic Circuits with (Linear) Polynomials. | Daniela Kaufmann |
| 2025 | TACAS | Extracting Linear Relations from Grbner Bases for Formal Verification of And-Inverter Graphs. | Daniela Kaufmann, Jrmy Berthomieu |
| 2024 | IJCAR | MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper). | Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stphane Graham-Lengrand, Laura Kovcs |
| 2023 | LPAR | SMT Solving over Finite Field Arithmetic. | Thomas Hader, Daniela Kaufmann, Laura Kovcs |
| 2022 | DATE | Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification. | Daniela Kaufmann, Paul Beame, Armin Biere, Jakob Nordstrm |
| 2022 | MEDI | Fuzzing-Based Grammar Inference. | Hannes Sochor, Flavio Ferrarotti, Daniela Kaufmann |
| 2022 | TAP | Fuzzing and Delta Debugging And-Inverter Graph Verification Tools. | Daniela Kaufmann, Armin Biere |
| 2021 | TACAS | AMulet 2.0 for Verifying Multiplier Circuits. | Daniela Kaufmann, Armin Biere |
| 2020 | CASC | Nullstellensatz-Proofs for Multiplier Verification. | Daniela Kaufmann, Armin Biere |
| 2020 | DATE | From DRUP to PAC and Back. | Daniela Kaufmann, Armin Biere, Manuel Kauers |
| 2020 | FMCAD | The Proof Checkers Pacheck and Pastque for the Practical Algebraic Calculus. | Daniela Kaufmann, Mathias Fleury, Armin Biere |
| 2019 | FMCAD | Verifying Large Multipliers by Combining SAT and Computer Algebra. | Daniela Kaufmann, Armin Biere, Manuel Kauers |