Digital baseband challenges for a 60GHz gigabit link. - Nikos Kanistras; Ioannis Tsatsaragkos; Ahmed Mahdi; Konstantina Karagianni; Vassilis Paliouras; Fotios Gioulekas; E. Lalos; Kostas Adaos; Michael K. Birbas; Panos Karaivazoglou; M. V. Koziotis; M. Perakis (ICECS, 2011)

An encoding scheme and encoder architecture for rate-compatible QC-LDPC codes. - Ahmed Mahdi; Nikos Kanistras; Vassilis Paliouras (SiPS, 2011)

Hardware design and verification techniques for Giga-bit Forward-Error Correction systems on FPGAs. - Ahmed Mahdi; Panagiotis Sakellariou; Nikos Kanistras; Ioannis Tsatsaragkos; Vassilis Paliouras (ICECS, 2012)

An FPGA-based prototyping method for verification, characterization and optimization of LDPC error correction systems. - Panagiotis Sakellariou; Ioannis Tsatsaragkos; Nikos Kanistras; Ahmed Mahdi; Vassilis Paliouras (ICSAMOS, 2012)

Simplified Multi-Level Quasi-Cyclic LDPC Codes for Low-Complexity Encoders. - Ahmed Mahdi; Vassilis Paliouras (SiPS, 2012)

Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems. - Ahmed Mahdi; Martin Fränzle (RP, 2014)

Transformations for Compositional Verification of Assumption-Commitment Properties. - Ahmed Mahdi; Bernd Westphal; Martin Fränzle (RP, 2014)

A Low Complexity-High Throughput QC-LDPC Encoder. - Ahmed Mahdi; Vassilis Paliouras (IEEE Trans. Signal Process., 2014)

On the Encoding Complexity of Quasi-Cyclic LDPC Codes. - Ahmed Mahdi; Vassilis Paliouras (IEEE Trans. Signal Process., 2015)

Accurate ICP-based floating-point reasoning. - Karsten Scheibler; Felix Neubauer; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer; Bernd Becker 001 (FMCAD, 2016)

Advancing Software Model Checking Beyond Linear Arithmetic Theories. - Ahmed Mahdi; Karsten Scheibler; Felix Neubauer; Martin Fränzle; Bernd Becker 001 (Haifa Verification Conference, 2016)

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. - Felix Neubauer; Karsten Scheibler; Bernd Becker 001; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer (SC²@SYNASC, 2016)

Anthropometric Evaluation of the Design of the Classroom Desk for the Eighth and the Ninth Grades of Benghazi Schools. - Ahamed AlTaboli; Najia Nawras; Ahmed Mahdi; Hanin Alzardomi; Mohammed Alyseri; Mhammed Alkendi (AHFE (18), 2017)

Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories: an approach to verify safety properties in embedded and hybrid system models. - Ahmed Mahdi (2017)

Novel Method of Improving Quality of Service for Voice over Internet Protocol Traffic in Mobile Ad Hoc Networks. - Abdullah Shakir; Raed A. Alsaqour; Maha S. Abdelhaq; Amal Alhussan; Mohd Othman; Ahmed Mahdi (Int. J. Commun. Networks Inf. Secur., 2019)

A Multirate Fully Parallel LDPC Encoder for the IEEE 802.11n/ac/ax QC-LDPC Codes Based on Reduced Complexity XOR Trees. - Ahmed Mahdi; Nikos Kanistras; Vassilis Paliouras (IEEE Trans. Very Large Scale Integr. Syst., 2021)