Towards Automatic Skill Evaluation in Microsurgery. - Shahram Eivazi; Michael Slupina; Wolfgang Fuhl; Hoorieh Afkari; Ahmad Hafez; Enkelejda Kasneci (IUI Companion, 2017)

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)

Formal Verification with Constrained Polynomial Logical Zonotope. - Ahmad Hafez; Frank J. Jiang; Karl Henrik Johansson; Amr Alanwar 001 (CoRR, 2024)

Global Context Enhanced Anomaly Detection of Cyber Attacks via Decoupled Graph Neural Networks. - Ahmad Hafez (CoRR, 2024)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes. - Ahmad Hafez; Frank J. Jiang; Karl Henrik Johansson; Amr Al-Anwar 001 (IEEE Control. Syst. Lett., 2024)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis. - Ahmad Hafez; Alireza Naderi Akhormeh; Amr Hegazy; Amr Al-Anwar 001 (CoRR, 2025)