Ahmed Mahdi

According to our database, Ahmed Mahdi authored at least 16 papers between 2011 and 2021.

Collaborative distances:

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

2021

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

2019

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

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

PhD thesis, 2017

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.

Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

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

Proceedings of the Advances in Physical Ergonomics and Human Factors, 2017

2016

Advancing Software Model Checking Beyond Linear Arithmetic Theories.

Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker

Proceedings of the Hardware and Software: Verification and Testing, 2016

Accurate ICP-based floating-point reasoning.

Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

On the Encoding Complexity of Quasi-Cyclic LDPC Codes.

Ahmed Mahdi, Vassilis Paliouras

IEEE Trans. Signal Process., 2015

2014

A Low Complexity-High Throughput QC-LDPC Encoder.

Ahmed Mahdi, Vassilis Paliouras

IEEE Trans. Signal Process., 2014

Transformations for Compositional Verification of Assumption-Commitment Properties.

Ahmed Mahdi, Bernd Westphal, Martin Fränzle

Proceedings of the Reachability Problems - 8th International Workshop, 2014

Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems.

Ahmed Mahdi, Martin Fränzle

Proceedings of the Reachability Problems - 8th International Workshop, 2014

2012

Simplified Multi-Level Quasi-Cyclic LDPC Codes for Low-Complexity Encoders.

Ahmed Mahdi, Vassilis Paliouras

Proceedings of the 2012 IEEE Workshop on Signal Processing Systems, 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

Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

Hardware design and verification techniques for Giga-bit Forward-Error Correction systems on FPGAs.

Ahmed Mahdi, Panagiotis Sakellariou, Nikos Kanistras, Ioannis Tsatsaragkos, Vassilis Paliouras

Proceedings of the 19th IEEE International Conference on Electronics, Circuits and Systems, 2012

2011

An encoding scheme and encoder architecture for rate-compatible QC-LDPC codes.

Ahmed Mahdi, Nikos Kanistras, Vassilis Paliouras

Proceedings of the IEEE Workshop on Signal Processing Systems, 2011

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

Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011