Enhancing Mobility Management and Supporting 3d Visualization. - Hanafy M. Ali (DASC/PiCom/DataCom/CyberSciTech, 2016)

Parallelization of unit propagation algorithm for SAT-based ATPG of digital circuits. - Lamya G. Ali; Aziza I. Hussein; Hanafy M. Ali (ICM, 2016)

Automated Design Error Debugging of Digital VLSI Circuits. - Mohammed Moness; Lamya Gaber; Aziza I. Hussein; Hanafy M. Ali (J. Electron. Test., 2022)