Concepedia

Alireza Mahzoon

AM

13

Publications

356

Citations

11

H-Index

2018

Active since

Affiliations

University of Bremen(Current)

German Research Centre for Artificial Intelligence

University of Freiburg

Johannes Kepler University of Linz

Alireza Mahzoon is an author at University of Bremen specializing in formal verification, engineering, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringAutomated ReasoningComputational ComplexityVerificationProgram AnalysisSoftware Analysis

Publications per year

2018–2023

13

Publications

13

PolyCleaner

Alireza Mahzoon, Daniel Große, Rolf Drechsler · 2018 · 50 citations

Engineering, Automated Reasoning, Parallel Complexity Theory +14

Alireza Mahzoon, Daniel Große, Rolf Drechsler · 2019 · 48 citations

Mathematical Programming, Symbolic Manipulation, Logic Synthesis +14

Towards Formal Verification of Optimized and Industrial Multipliers

Alireza Mahzoon, Daniel Grose, Christoph Scholl et al. · 2020 · 43 citations

Mathematical Programming, Engineering, Verification +18

RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal

Alireza Mahzoon, Daniel GroBe, Rolf Drechsler · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2021 · 39 citations

Engineering, Verification, Computer-aided Verification +20

Polynomial Formal Verification of Prefix Adders

Alireza Mahzoon, Rolf Drechsler · 2021 · 31 citations

Circuit Complexity, Engineering, Verification +18

Rows per page

1–5 of 13