Alexander Konrad

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 5

Top Topics

Computer Algebra

Formal Verification

Optimization Model

Top Venues

Publications

Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler
Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability. DAC (2022)
Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization. FMCAD (2022)
Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization. DATE (2021)
Christoph Scholl, Alexander Konrad
Symbolic Computer Algebra and SAT Based Information Forwarding for Fully Automatic Divider Verification. DAC (2020)
Michael Metzger, Alexander Konrad, Felix Blendinger, Andreas Modler, Alfred J. Meixner, Volker Bucher, Marc Brecht
Low-Cost GRIN-Lens-Based Nephelometric Turbidity Sensing in the Range of 0.1-1000 NTU. Sensors 18 (4) (2018)