Khalid Sultan

According to our database, Khalid Sultan authored at least 17 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

CCF Trans. Pervasive Comput. Interact., September, 2023

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

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

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

Model checking agent-based communities against uncertain group commitments and knowledge.

Khalid Sultan, Jamal Bentahar, Hamdi Yahyaoui, Rabeb Mizouni

Expert Syst. Appl., 2021

2019

Software Architecture for Mobile Cloud Computing Systems.

Abdulrahman Alreshidi, Aakash Ahmad, Ahmed B. Altamimi, Khalid Sultan, Rashid Mehmood

Future Internet, 2019

2018

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

2017

Alice in Oman.

Khizar Hayat, Naeem Ali Al-Shukaili, Khalid Sultan

Educ. Inf. Technol., 2017

2016

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

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

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

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

Model checking probabilistic social commitments for intelligent agent communication.

Khalid Sultan, Jamal Bentahar, Mohamed El-Menshawy

Appl. Soft Comput., 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

A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs.

Khalid Sultan, Jamal Bentahar, Omar Marey

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2014

Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation.

Mohamed Mbarki, Omar Marey, Jamal Bentahar, Khalid Sultan

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

2013

Reasoning about social commitments in the presence of uncertainty.

Khalid Sultan, Mohamed El-Menshawy, Jamal Bentahar

Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013