Reasoning about social commitments in the presence of uncertainty. - Khalid Sultan; Mohamed El-Menshawy; Jamal Bentahar (SoMeT, 2013)

Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation. - Mohamed Mbarki; Omar Marey; Jamal Bentahar; Khalid Sultan (ICTAI, 2014)

A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs. - Khalid Sultan; Jamal Bentahar; Omar Marey (SoMeT, 2014)

On the interaction between knowledge and social commitments in multi-agent systems. - Faisal Al-Saqqar; Jamal Bentahar; Khalid Sultan; Mohamed El-Menshawy (Appl. Intell., 2014)

Model checking probabilistic social commitments for intelligent agent communication. - Khalid Sultan; Jamal Bentahar; Mohamed El-Menshawy (Appl. Soft Comput., 2014)

Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments. - Khalid Sultan; Jamal Bentahar; Wei Wan; Faisal Al-Saqqar (Expert Syst. Appl., 2014)

Decision making under subjective uncertainty in argumentation-based agent negotiation. - Omar Marey; Jamal Bentahar; Ehsan Khosrowshahi Asl; Khalid Sultan; Rachida Dssouli (J. Ambient Intell. Humaniz. Comput., 2015)

Model checking temporal knowledge and commitments in multi-agent systems using reduction. - Faisal Al-Saqqar; Jamal Bentahar; Khalid Sultan; Wei Wan; Ehsan Khosrowshahi Asl (Simul. Model. Pract. Theory, 2015)

On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems. - Faisal Al-Saqqar; Jamal Bentahar; Khalid Sultan (Expert Syst. Appl., 2016)

Alice in Oman. - Khizar Hayat 002; Naeem Ali Al-Shukaili; Khalid Sultan (Educ. Inf. Technol., 2017)

CrashSafe: a formal model for proving crash-safety of Android applications. - Wilayat Khan; Habib Ullah; Aakash Ahmad; Khalid Sultan; Abdullah J. Alzahrani; Sultan Daud Khan; Mohammad Alhumaid; Sultan Abdulaziz (Hum. centric Comput. Inf. Sci., 2018)

Software Architecture for Mobile Cloud Computing Systems. - Abdulrahman Alreshidi; Aakash Ahmad; Ahmed B. Altamimi; Khalid Sultan; Rashid Mehmood (Future Internet, 2019)

Model checking agent-based communities against uncertain group commitments and knowledge. - Khalid Sultan; Jamal Bentahar; Hamdi Yahyaoui; Rabeb Mizouni (Expert Syst. Appl., 2021)

Migration of existing software systems to mobile computing platforms: a systematic mapping study. - Ibrahim Alseadoon; Aakash Ahmad; Adel Alkhalil; Khalid Sultan (Frontiers Comput. Sci., 2021)

Modernizing Legacy Software as Context - Sensitive and Portable Mobile-Enabled Application. - Aakash Ahmad; Adel Alkhalil; Ahmed B. Altamimi; Khalid Sultan; Wilayat Khan (IT Prof., 2021)

Corrections to "Modernizing Legacy Software as Context-Sensitive and Portable Mobile-Enabled Application". - Aakash Ahmad; Adel Alkhalil; Ahmed B. Altamimi; Khalid Sultan; Wilayat Khan (IT Prof., 2021)

A Deep Learning Framework for COVID-19 Diagnosis from Computed Tomography. - Nabila Mansouri; Khalid Sultan; Aakash Ahmad; Ibrahim Alseadoon; Adal Alkhalil (Intell. Autom. Soft Comput., 2022)

Improving Neural Network Using Jaya Algorithm with Opposite Learning for Air Quality Prediction. - Iyad Abu Doush; Khalid Sultan; Ahmad Alsaber; Dhari Alkandari; Afsah Abdullah (IntelliSys (1), 2023)

Web accessibility automatic evaluation tools: to what extent can they be automated? - Iyad Abu Doush; Khalid Sultan; Mohammed Azmi Al-Betar; Zainab AlMeraj; Zaid Abdi Alkareem Alyasseri; Mohammed A. Awadallah 001 (CCF Trans. Pervasive Comput. Interact., 2023)

Enhanced Jaya optimization for improving multilayer perceptron neural network in urban air quality prediction. - Iyad Abu Doush; Khalid Sultan; Ahmad Alsaber; Dhari Alkandari; Afsah Abdullah (J. Intell. Syst., 2024)

Beyond Traditional Security: Leveraging Emerging Technologies for Cyber Resilience. - Khalid Sultan; Ahmad Ehab Madhi; Ali S. Mezher; Mohammad Ali Al-Arar; Mahmoud A. Anabtawi (EUROCON, 2025)