Login / Signup
Ahmed M. Eisa
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Formal Verification
K Means
Estimation Algorithm
Np Hard
Top Venues
IEEE Internet Things J.
</>
Publications
</>
Mohammed Zidan
,
Ahmed M. Eisa
,
Montasir Qasymeh
,
Mahmoud A. Ismail Shoman
A Quantum Algorithm for System Specifications Verification.
IEEE Internet Things J.
11 (14) (2024)