Ahmed Mahdi
Orcid: 0000-0003-3547-6757
According to our database1,
Ahmed Mahdi
authored at least 16 papers
between 2011 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
0
1
2
3
4
1
1
1
1
1
3
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
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., 2021
2019
Novel Method of Improving Quality of Service for Voice over Internet Protocol Traffic in Mobile Ad Hoc Networks.
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.
PhD thesis, 2017
Anthropometric Evaluation of the Design of the Classroom Desk for the Eighth and the Ninth Grades of Benghazi Schools.
Proceedings of the Advances in Physical Ergonomics and Human Factors, 2017
2016
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016
Proceedings of the Hardware and Software: Verification and Testing, 2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
2015
IEEE Trans. Signal Process., 2015
2014
Proceedings of the Reachability Problems - 8th International Workshop, 2014
Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems.
Proceedings of the Reachability Problems - 8th International Workshop, 2014
2012
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.
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.
Proceedings of the 19th IEEE International Conference on Electronics, Circuits and Systems, 2012
2011
Proceedings of the IEEE Workshop on Signal Processing Systems, 2011
Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011