Ahmad Hafez

According to our database, Ahmad Hafez authored at least 3 papers between 2017 and 2024.

Collaborative distances:

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

2024

Formal Verification with Constrained Polynomial Logical Zonotope.

Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Alanwar

CoRR, 2024

2021

ConvDySAT: Deep Neural Representation Learning on Dynamic Graphs via Self-Attention and Convolutional Neural Networks.

Ahmad Hafez, Atulya Praphul, Yousef Jaradt, Ezani Godwin

CoRR, 2021

2017

Towards Automatic Skill Evaluation in Microsurgery.

Shahram Eivazi, Michael Slupina, Wolfgang Fuhl, Hoorieh Afkari, Ahmad Hafez, Enkelejda Kasneci

Proceedings of the Companion Publication of the 22nd International Conference on Intelligent User Interfaces, 2017