Login / Signup
Adel Khaled
ORCID
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 3
Top Topics
Provably Correct
Formal Models
Shortest Path
Wireless Communication
Top Venues
IEEE Trans. Serv. Comput.
IEEE Internet Things J.
IEEE Open J. Commun. Soc.
</>
Publications
</>
Ahmed S. Alwakeel
,
Mohamed I. Ismail
,
Mostafa M. Fouda
,
Abdullah M. Shaheen
,
Adel Khaled
Improved Artificial Rabbits Algorithm for Positioning Optimization and Energy Control in RIS Multiuser Wireless Communication Systems.
IEEE Internet Things J.
11 (11) (2024)
Adel Khaled
,
Ahmed S. Alwakeel
,
Abdullah M. Shaheen
,
Mostafa M. Fouda
,
Mohamed I. Ismail
Placement Optimization and Power Management in a Multiuser Wireless Communication System With Reconfigurable Intelligent Surfaces.
IEEE Open J. Commun. Soc.
5 (2024)
Adel Khaled
,
James Miller
Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies.
IEEE Trans. Serv. Comput.
10 (2) (2017)
Adel Khaled
,
James Miller
Chronological fault-based mutation processes for WS-BPEL 2.0 programs.
Int. J. Web Eng. Technol.
6 (2) (2010)
Adel Khaled
,
Yongsheng Ma
,
James Miller
A Service Oriented Architecture for CAX concurrent collaboration.
CASE
(2008)