Selected Invited Talks & Seminar Talks on Daniela Kaufmannhttps://danielakaufmann.at/talk/Recent content in Selected Invited Talks & Seminar Talks on Daniela KaufmannSource Themes academia (https://sourcethemes.com/academic/)en-usdaniela.kaufmann@tuwien.ac.atdaniela.kaufmann@tuwien.ac.atCopyright © {year} Daniela KaufmannTue, 02 Jun 2026 00:00:00 +0000SAT-Guided Gröbner Basis Methods for Arithmetic Circuit Verificationhttps://danielakaufmann.at/talk/2026_smt/Tue, 02 Jun 2026 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2026_smt/Verifying Arithmetic Circuits with (linear) Polynomialshttps://danielakaufmann.at/talk/2025_avm/Wed, 24 Sep 2025 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2025_avm/Certifying Ideal Membership Testshttps://danielakaufmann.at/talk/2025_dagstuhl/Mon, 02 Jun 2025 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2025_dagstuhl/Taming the Polynomial Explosion: A New Approach to Algebraic Circuit Verificationhttps://danielakaufmann.at/talk/2025_stanford/Mon, 12 May 2025 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2025_stanford/Using Gröbner Bases for Arithmetic Circuit Verificationhttps://danielakaufmann.at/talk/2025_polsys/Mon, 07 Apr 2025 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2025_polsys/Taming the Polynomial Explosion - A New Approach to Algebraic Circuit Verificationhttps://danielakaufmann.at/talk/2024_freiburg/Tue, 03 Dec 2024 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2024_freiburg/Combining SAT and Computer Algebra for Circuit Verificationhttps://danielakaufmann.at/talk/2023_dagstuhl/Tue, 27 Jun 2023 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2023_dagstuhl/MCSat Based Approaches for Non-linear Modular Arithmetichttps://danielakaufmann.at/talk/2023_berkeley/Thu, 20 Apr 2023 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2023_berkeley/Exploring Algebraic Methods for Circuit Verificationhttps://danielakaufmann.at/talk/2022_dagstuhl-22411/Mon, 10 Oct 2022 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2022_dagstuhl-22411/SATisfiable Algebraic Circuit Verificationhttps://danielakaufmann.at/talk/2022_dagstuhl-22072/Wed, 16 Feb 2022 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2022_dagstuhl-22072/Formale Verifikation von Multiplizierern mit Hilfe von Computeralgebrahttps://danielakaufmann.at/talk/2021_gikolloquium/Wed, 16 Jun 2021 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2021_gikolloquium/Combining SAT and Computer Algebra for Circuit Verificationhttps://danielakaufmann.at/talk/2021_beyondsat/Tue, 16 Feb 2021 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2021_beyondsat/Formal Verification of Integer Multiplier Circuits using Computer Algebrahttps://danielakaufmann.at/talk/2020_iwsbp/Wed, 23 Sep 2020 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2020_iwsbp/Combining SAT and Computer Algebra to Successfully Verify Large Multiplier Circuitshttps://danielakaufmann.at/talk/2019_pittsburgh/Tue, 03 Dec 2019 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2019_pittsburgh/Combining SAT and Computer Algebra to Successfully Verify Large Multiplier Circuitshttps://danielakaufmann.at/talk/2019_copenhagen/Thu, 21 Nov 2019 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2019_copenhagen/On the Problem of Arithmetic Circuit Verification Using Computer Algebrahttps://danielakaufmann.at/talk/2018_stockholm/Wed, 18 Apr 2018 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/2018_stockholm/