Alexander Konrad
According to our database1,
Alexander Konrad authored at least 9 papers
between 2018 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Symbolic computer algebra for multipliers revisited - demonstrating the significance of order and phase optimization.
Formal Methods Syst. Des., April, 2026
2025
Divider verification using symbolic computer algebra and delayed don't care optimization: theory and practical implementation.
Formal Methods Syst. Des., October, 2025
FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits.
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025
2024
Symbolic Computer Algebra for Multipliers Revisited - It's All About Orders and Phases.
Proceedings of the Formal Methods in Computer-Aided Design, 2024
2022
Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
2021
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.
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.
Sensors, 2018