Ahmed Mohsin Mahdi

Available identifiers

zbMath Open mahdi.ahmed-mohsinMaRDI QIDQ3447706

List of research outcomes

Publication	Date of Publication	Type
Finslerian projective metrics with small quadratic spheres	2024-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q5099873	2022-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q5112862	2020-06-09	Paper
A Low Complexity-High Throughput QC-LDPC Encoder	2018-08-22	Paper
On the Encoding Complexity of Quasi-Cyclic LDPC Codes	2018-08-22	Paper
Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems	2015-10-28	Paper
Transformations for Compositional Verification of Assumption-Commitment Properties	2015-10-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ahmed Mohsin Mahdi