Ahmed Mahdi

ORCID

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 8

Top Venues

IEEE Trans. Signal Process.

AHFE (18)

ICECS

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Ahmed Mahdi, Nikos Kanistras, Vassilis Paliouras
A Multirate Fully Parallel LDPC Encoder for the IEEE 802.11n/ac/ax QC-LDPC Codes Based on Reduced Complexity XOR Trees. IEEE Trans. Very Large Scale Integr. Syst. 29 (1) (2021)
Abdullah Shakir, Raed A. Alsaqour, Maha S. Abdelhaq, Amal Alhussan, Mohd Othman, Ahmed Mahdi
Novel Method of Improving Quality of Service for Voice over Internet Protocol Traffic in Mobile Ad Hoc Networks. Int. J. Commun. Networks Inf. Secur. 11 (3) (2019)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. MBMV (2017)
Ahamed Altaboli, Najia Nawras, Ahmed Mahdi, Hanin Alzardomi, Mohammed Alyseri, Mhammed Alkendi
Anthropometric Evaluation of the Design of the Classroom Desk for the Eighth and the Ninth Grades of Benghazi Schools. AHFE (18) (2017)
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
Accurate ICP-based floating-point reasoning. FMCAD (2016)
Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
Advancing Software Model Checking Beyond Linear Arithmetic Theories. Haifa Verification Conference (2016)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. SC²@SYNASC (2016)
Ahmed Mahdi, Vassilis Paliouras
On the Encoding Complexity of Quasi-Cyclic LDPC Codes. IEEE Trans. Signal Process. 63 (22) (2015)
Ahmed Mahdi, Bernd Westphal, Martin Fränzle
Transformations for Compositional Verification of Assumption-Commitment Properties. RP (2014)
Ahmed Mahdi, Martin Fränzle
Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems. RP (2014)
Ahmed Mahdi, Vassilis Paliouras
A Low Complexity-High Throughput QC-LDPC Encoder. IEEE Trans. Signal Process. 62 (10) (2014)
Ahmed Mahdi, Vassilis Paliouras
Simplified Multi-Level Quasi-Cyclic LDPC Codes for Low-Complexity Encoders. SiPS (2012)
Ahmed Mahdi, Panagiotis Sakellariou, Nikos Kanistras, Ioannis Tsatsaragkos, Vassilis Paliouras
Hardware design and verification techniques for Giga-bit Forward-Error Correction systems on FPGAs. ICECS (2012)
Panagiotis Sakellariou, Ioannis Tsatsaragkos, Nikos Kanistras, Ahmed Mahdi, Vassilis Paliouras
An FPGA-based prototyping method for verification, characterization and optimization of LDPC error correction systems. ICSAMOS (2012)
Ahmed Mahdi, Nikos Kanistras, Vassilis Paliouras
An encoding scheme and encoder architecture for rate-compatible QC-LDPC codes. SiPS (2011)
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
Digital baseband challenges for a 60GHz gigabit link. ICECS (2011)

Ahmed Mahdi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ahmed Mahdi