Low-Cost GRIN-Lens-Based Nephelometric Turbidity Sensing in the Range of 0.1-1000 NTU. - Michael Metzger; Alexander Konrad; Felix Blendinger; Andreas Modler; Alfred J. Meixner; Volker Bucher; Marc Brecht (Sensors, 2018)

Symbolic Computer Algebra and SAT Based Information Forwarding for Fully Automatic Divider Verification. - Christoph Scholl 001; Alexander Konrad (DAC, 2020)

Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization. - Christoph Scholl 001; Alexander Konrad; Alireza Mahzoon; Daniel Große; Rolf Drechsler (DATE, 2021)

Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability. - Alireza Mahzoon; Daniel Große; Christoph Scholl 001; Alexander Konrad; Rolf Drechsler (DAC, 2022)

Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization. - Alexander Konrad; Christoph Scholl 001; Alireza Mahzoon; Daniel Große; Rolf Drechsler (FMCAD, 2022)

Symbolic Computer Algebra for Multipliers Revisited - It's All About Orders and Phases. - Alexander Konrad; Christoph Scholl 001 (FMCAD, 2024)