Hazem I. Shehata

According to our database, Hazem I. Shehata authored at least 4 papers between 2004 and 2023.

Collaborative distances:

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

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., February, 2023

Deep Forest-Based Fall Detection in Internet of Medical Things Environment.

Mohamed Esmail Karar, Omar Reyad, Hazem I. Shehata

Comput. Syst. Sci. Eng., 2023

2011

Formal Verification of Instruction Dependencies in Microprocessors.

Hazem I. Shehata

PhD thesis, 2011

2004

A general decomposition strategy for verifying register renaming.

Hazem I. Shehata, Mark D. Aagaard

Proceedings of the 41th Design Automation Conference, 2004