Login / Signup
Ahmad Hafez
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 3
Top Topics
Model Checker
Low Order
Empirical Evaluation
Convolutional Neural Networks
Top Venues
CoRR
IUI Companion
</>
Publications
</>
Ahmad Hafez
,
Frank J. Jiang
,
Karl Henrik Johansson
,
Amr Alanwar
Formal Verification with Constrained Polynomial Logical Zonotope.
CoRR
(2024)
Ahmad Hafez
,
Atulya Praphul
,
Yousef Jaradt
,
Ezani Godwin
ConvDySAT: Deep Neural Representation Learning on Dynamic Graphs via Self-Attention and Convolutional Neural Networks.
CoRR
(2021)
Shahram Eivazi
,
Michael Slupina
,
Wolfgang Fuhl
,
Hoorieh Afkari
,
Ahmad Hafez
,
Enkelejda Kasneci
Towards Automatic Skill Evaluation in Microsurgery.
IUI Companion
(2017)