Depth Optimized Synthesis of Symmetric Boolean Functions. - Martha Schnieber; Saman Fröhlich; Rolf Drechsler (ISVLSI, 2021)

Polynomial Formal Verification of Approximate Adders. - Martha Schnieber; Saman Fröhlich; Rolf Drechsler (DSD, 2022)

Polynomial Formal Verification of Approximate Functions. - Martha Schnieber; Saman Fröhlich; Rolf Drechsler (ISVLSI, 2022)

Automated Polynomial Formal Verification: Human-Readable Proof Generation. - Rolf Drechsler; Martha Schnieber (iSES, 2023)

Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification. - Rolf Drechsler; Martha Schnieber (MEMOCODE, 2023)

Polynomial Formal Verification of KFDD Circuits. - Martha Schnieber; Rolf Drechsler (MEMOCODE, 2023)

The Future is Hybrid: Next Generation Data Structures for Formal Verification. - Rolf Drechsler; Christina Plump; Martha Schnieber (ATS, 2024)