‪Mohamed Nadeem‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	13	13
h-index	2	2
i10-index	0	0

0

6

3

2022202320245 6 2

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerified email at uni-bremen.de
Johannes K. FichteLinköping UniversityVerified email at liu.se
Markus HecherMITVerified email at mit.edu
Chandan Kumar Jha (चंदन कुमार झ...Postdoctoral Researcher at the University of BremenVerified email at uni-bremen.de

Mohamed Nadeem

Mohamed Nadeem

Universität Bremen

Verified email at zfn.uni-bremen.de

Aritifical Intelligence Parameterized Complexity Formal Verification Knowledge Representation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Plausibility Reasoning via Projected Answer Set Counting-A Hybrid Approach. JK Fichte, M Hecher, MA Nadeem, TU Dresden IJCAI 22, 2620-2626, 2022	9	2022
Polynomial Formal Verification exploiting Constant Cutwidth M Nadeem, J Kleinekathöfer, R Drechsler	2	2023
Polynomial Formal Verification of Adder Circuits Using Answer Set Programming M Nadeem, J Kleinekathöfer, R Drechsler	2	2023
Polynomial Formal Verification of Approximate Adders with Constant Cutwidth M Nadeem, C Kumar Jha, R Drechsler 29th IEEE European Test Symposium, 2024		2024
Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures M Nadeem, R Drechsler IEEE International Symposium on Multiple-Valued Logic, 2024		2024
A Polynomial Approach for finding Most Specific Concept wrt General EL-TBoxes MAAL Nadeem		2022

The system can't perform the operation now. Try again later.

Articles 1–6