A general decomposition strategy for verifying register renaming. - Hazem I. Shehata; Mark D. Aagaard (DAC, 2004)

Formal Verification of Instruction Dependencies in Microprocessors. - Hazem I. Shehata (2011)

Deep Forest-Based Fall Detection in Internet of Medical Things Environment. - Mohamed Esmail Karar; Omar Reyad; Hazem I. Shehata (Comput. Syst. Sci. Eng., 2023)

Formal verification confirms the role of p53 protein in cell fate decision mechanism. - Eman Abdelaziz Mahmoud; Mostafa Herajy; Ibrahim E. Ziedan; Hazem I. Shehata (Theory Biosci., 2023)