Author

Khalid Sultan

Observed name: Sultan Khalid

Institution: American University of Kuwait

Observed institutions: Kuwait University, University of Ha'il, Concordia University, American University of Kuwait

ORCID: 0000-0001-6071-437X

Observed ORCID: 0000-0001-6071-437X

OpenAlex ID: A5027056339

Model checking temporal knowledge and commitments in multi-agent systems using reduction

2014 · Faisal Al-Saqqar, Jamal Bentahar, et al. · Simulation Modelling Practice and Theory · 39

Web accessibility automatic evaluation tools: to what extent can they be automated?

2023 · Iyad Abu Doush, Khalid Sultan, et al. · CCF Transactions on Pervasive Computing and Interaction · 38

Catalog of Metrics for Assessing Security Risks of Software throughout the Software Development Life Cycle

2008 · Khalid Sultan, Abdeslam En-Nouaary, et al. · 27

Decision making under subjective uncertainty in argumentation-based agent negotiation

2015 · Omar Marey, Jamal Bentahar, et al. · Journal of Ambient Intelligence and Humanized Computing · 24

On the interaction between knowledge and social commitments in multi-agent systems

2014 · Faisal Al-Saqqar, Jamal Bentahar, et al. · Applied Intelligence · 23

Model checking probabilistic social commitments for intelligent agent communication

2014 · Khalid Sultan, Jamal Bentahar, et al. · Applied Soft Computing · 20

Evaluation of various machine learning prediction methods for particulate matter $$PM_{10}$$ in Kuwait

2023 · Ahmad Alsaber, Reem Alsahli, et al. · International Journal of Information Technology · 19

CrashSafe: a formal model for proving crash-safety of Android applications

2018 · Wilayat Khan, Habib Ullah, et al. · Human-centric Computing and Information Sciences · 19

Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments

2014 · Khalid Sultan, Jamal Bentahar, et al. · Expert Systems with Applications · 18

On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems

2015 · Faisal Al-Saqqar, Jamal Bentahar, et al. · Expert Systems with Applications · 16

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

2021 · Khalid Sultan, Jamal Bentahar, et al. · Expert Systems with Applications · 14

Beyond Traditional Security: Leveraging Emerging Technologies for Cyber Resilience

2025 · Khalid Sultan, Ahmad Ehab Madhi, et al. · IEEE EUROCON - International Conference on Computer as a Tool (EUROCON) · 9

Modernizing Legacy Software as Context—Sensitive and Portable Mobile-Enabled Application

2021 · Aakash Ahmad, Adel Alkhalil, et al. · IT Professional · 8

Reasoning about social commitments in the presence of uncertainty

2013 · Khalid Sultan, Mohamed El Menshawy, et al. · New Trends in Software Methodologies, Tools and Techniques · 8

Migration of existing software systems to mobile computing platforms: a systematic mapping study

2020 · Ibrahim Alseadoon, Aakash Ahmad, et al. · Frontiers of Computer Science · 6

Enhanced Jaya optimization for improving multilayer perceptron neural network in urban air quality prediction

2024 · Iyad Abu Doush, Khalid Sultan, et al. · Journal of Intelligent Systems · 5

PDF

Epistemic Reasoning About IoT Systems in the Presence of Uncertainty

2024 · Khalid Sultan · Lecture notes in networks and systems · 5

Modeling and Verifying Probabilistic Social Commitments in Multi-Agent Systems

2015 · Khalid Sultan · Spectrum Research Repository (Concordia University) · 5

PDF

Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation

2014 · Mohamed Mbarki, Omar Marey, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 4

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

2014 · Sultan Khalid, Bentahar Jamal, et al. · Frontiers in artificial intelligence and applications · 4

Improving Neural Network Using Jaya Algorithm with Opposite Learning for Air Quality Prediction

2024 · Iyad Abu Doush, Khalid Sultan, et al. · Lecture notes in networks and systems · 3

Software Architecture for Mobile Cloud Computing Systems

2019 · Abdulrahman Alreshidi, Aakash Ahmad, et al. · Future Internet · 3

Securing IoMT Systems via Probabilistic Trust-Epistemic Logic

2025 · Khalid Sultan, Aaron Rasheed Rababaah, et al. · International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA) · 2

A Deep Learning Framework for COVID-19 Diagnosis from Computed Tomography

2022 · Nabila Mansouri, Khalid Sultan, et al. · Intelligent Automation & Soft Computing · 2

PDF

Autonomous Laboratory-Scale Smart Factory with Internet of Things Demonstrating Industry 4.0

2026 · Abeer Imdoukh, Rawan Abosedo, et al. · International Conference on Electrical, Computer and Energy Technologies (ICECET) · 1

Works count: 39

Citation count: 324

H-index: 11

I10-index: 11