Alexander Konrad

According to our database, Alexander Konrad authored at least 5 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization.

Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability.

Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization.

Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Symbolic Computer Algebra and SAT Based Information Forwarding for Fully Automatic Divider Verification.

Christoph Scholl, Alexander Konrad

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2018

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