Mohamed A. Nadeem

According to our database, Mohamed A. Nadeem authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures.

Mohamed A. Nadeem, Rolf Drechsler

Proceedings of the 54th IEEE International Symposium on Multiple-Valued Logic, 2024

Polynomial Formal Verification of Approximate Adders with Constant Cutwidth.

Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler

Proceedings of the IEEE European Test Symposium, 2024

2023

Polynomial Formal Verification exploiting Constant Cutwidth.

Mohamed A. Nadeem, Jan Kleinekathöfer, Rolf Drechsler

Proceedings of the 34th International Workshop on Rapid System Prototyping, 2023

2022

Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach.

Johannes Klaus Fichte, Markus Hecher, Mohamed A. Nadeem

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022