Khalid Sultan

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 9

Top Topics

Computing Platform

Negotiation Strategies

Top Venues

Expert Syst. Appl.

Hum. centric Comput. Inf. Sci.

Publications

Iyad Abu Doush, Khalid Sultan, Mohammed Azmi Al-Betar, Zainab AlMeraj, Zaid Abdi Alkareem Alyasseri, Mohammed A. Awadallah
Web accessibility automatic evaluation tools: to what extent can they be automated? CCF Trans. Pervasive Comput. Interact. 5 (3) (2023)
Khalid Sultan, Jamal Bentahar, Hamdi Yahyaoui, Rabeb Mizouni
Model checking agent-based communities against uncertain group commitments and knowledge. Expert Syst. Appl. 177 (2021)
Ibrahim Alseadoon, Aakash Ahmad, Adel Alkhalil, Khalid Sultan
Migration of existing software systems to mobile computing platforms: a systematic mapping study. Frontiers Comput. Sci. 15 (2) (2021)
Aakash Ahmad, Adel Alkhalil, Ahmed B. Altamimi, Khalid Sultan, Wilayat Khan
Modernizing Legacy Software as Context - Sensitive and Portable Mobile-Enabled Application. IT Prof. 23 (1) (2021)
Aakash Ahmad, Adel Alkhalil, Ahmed B. Altamimi, Khalid Sultan, Wilayat Khan
Corrections to "Modernizing Legacy Software as Context-Sensitive and Portable Mobile-Enabled Application". IT Prof. 23 (3) (2021)
Abdulrahman Alreshidi, Aakash Ahmad, Ahmed B. Altamimi, Khalid Sultan, Rashid Mehmood
Software Architecture for Mobile Cloud Computing Systems. Future Internet 11 (11) (2019)
Wilayat Khan, Habib Ullah, Aakash Ahmad, Khalid Sultan, Abdullah J. Alzahrani, Sultan Daud Khan, Mohammad Alhumaid, Sultan Abdulaziz
CrashSafe: a formal model for proving crash-safety of Android applications. Hum. centric Comput. Inf. Sci. 8 (2018)
Khizar Hayat, Naeem Ali Al-Shukaili, Khalid Sultan
Alice in Oman. Educ. Inf. Technol. 22 (4) (2017)
Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan
On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems. Expert Syst. Appl. 43 (2016)
Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Wei Wan, Ehsan Khosrowshahi Asl
Model checking temporal knowledge and commitments in multi-agent systems using reduction. Simul. Model. Pract. Theory 51 (2015)
Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Khalid Sultan, Rachida Dssouli
Decision making under subjective uncertainty in argumentation-based agent negotiation. J. Ambient Intell. Humaniz. Comput. 6 (3) (2015)
Khalid Sultan, Jamal Bentahar, Mohamed El-Menshawy
Model checking probabilistic social commitments for intelligent agent communication. Appl. Soft Comput. 22 (2014)
Mohamed Mbarki, Omar Marey, Jamal Bentahar, Khalid Sultan
Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation. ICTAI (2014)
Khalid Sultan, Jamal Bentahar, Wei Wan, Faisal Al-Saqqar
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments. Expert Syst. Appl. 41 (14) (2014)
Khalid Sultan, Jamal Bentahar, Omar Marey
A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs. SoMeT (2014)
Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Mohamed El-Menshawy
On the interaction between knowledge and social commitments in multi-agent systems. Appl. Intell. 41 (1) (2014)
Khalid Sultan, Mohamed El-Menshawy, Jamal Bentahar
Reasoning about social commitments in the presence of uncertainty. SoMeT (2013)