Mohamed A. Nadeem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers. | Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler |
| 2026 | VLSID | PolyEMAC: Polynomial Error Metrics Analysis in Approximate Computing. | Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler |
| 2025 | DATE | Polynomial Formal Verification of Sequential Circuits Using Weighted-AIGs. | Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler |
| 2024 | ETS | Polynomial Formal Verification of Approximate Adders with Constant Cutwidth. | Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler |
| 2023 | RSP | Polynomial Formal Verification exploiting Constant Cutwidth. | Mohamed A. Nadeem, Jan Kleinekathfer, Rolf Drechsler |
| 2022 | IJCAI | Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach. | Johannes Klaus Fichte, Markus Hecher, Mohamed A. Nadeem |