Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach. - Johannes Klaus Fichte; Markus Hecher; Mohamed A. Nadeem (IJCAI, 2022)

Polynomial Formal Verification exploiting Constant Cutwidth. - Mohamed A. Nadeem; Jan Kleinekathöfer; Rolf Drechsler (RSP, 2023)

Polynomial Formal Verification of Approximate Adders with Constant Cutwidth. - Mohamed A. Nadeem; Chandan Kumar Jha 001; Rolf Drechsler (ETS, 2024)

Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures. - Mohamed A. Nadeem; Rolf Drechsler (ISMVL, 2024)

Prompt. Verify. Repeat. LLMs in the Hardware Verification Cycle. - Muhammad Hassan 002; Mohamed A. Nadeem; Khushboo Qayyum; Chandan Kumar Jha 001; Rolf Drechsler (COINS, 2025)

Polynomial Formal Verification of Sequential Circuits Using Weighted-AIGs. - Mohamed A. Nadeem; Chandan Kumar Jha 001; Rolf Drechsler (DATE, 2025)

Polynomial Formal Verification of Multi-Valued Approximate Circuits Within Constant Cutwidth. - Mohamed A. Nadeem; Chandan Kumar Jha 001; Rolf Drechsler (IEEE Trans. Circuits Syst. I Regul. Pap., 2025)