Hazem I. Shehata

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

Collaborative distances:

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

2024

A Practical Study of Intelligent Image-Based Mobile Robot for Tracking Colored Objects.

Mofadal Alymani, Mohamed Esmail Karar, Hazem I. Shehata

Comput. Mater. Continua, 2024

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