RESEARCHER PROFILE

Khalid Sultan

← Back to American University of Kuwait

K

American University of Kuwait

Multi-Agent Systems and NegotiationLogic, Reasoning, and KnowledgeFormal Methods in VerificationAccess Control and TrustSoftware Engineering Research

Khalid Sultan works in Multi-Agent Systems and Negotiation, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Access Control and Trust, Software Engineering Research. Recorded institutional associations include American University of Kuwait.

39Publications
297Citations
11H-index

ORCID

Inclusion identifies researchers whose recorded research contributions may inform their university’s understanding of its research community. It does not rank individual research quality or establish current employment.

Selected research works

Up to 100 highly cited works; DOI links open the original research. Counts reflect the collected record, not real-time citation totals.

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

    2014 · 39 citations

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

    2008 · 28 citations

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

    2023 · 24 citations

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

    2014 · 23 citations

  5. Decision making under subjective uncertainty in argumentation-based agent negotiation

    2015 · 22 citations

  6. Model checking probabilistic social commitments for intelligent agent communication

    2014 · 20 citations

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

    2023 · 19 citations

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

    2014 · 18 citations

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

    2018 · 17 citations

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

    2015 · 16 citations

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

    2021 · 14 citations

  12. Reasoning about social commitments in the presence of uncertainty

    2013 · 8 citations

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

    2020 · 6 citations

  14. Beyond Traditional Security: Leveraging Emerging Technologies for Cyber Resilience

    2025 · 5 citations

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

    2024 · 5 citations

  16. Epistemic Reasoning About IoT Systems in the Presence of Uncertainty

    2024 · 5 citations

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

    2021 · 5 citations

  18. Modeling and Verifying Probabilistic Social Commitments in Multi-Agent Systems

    2015 · 5 citations

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

    2014 · 4 citations

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

    2014 · 4 citations

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

    2024 · 3 citations

  22. Software Architecture for Mobile Cloud Computing Systems

    2019 · 3 citations

  23. Securing IoMT Systems via Probabilistic Trust-Epistemic Logic

    2025 · 2 citations

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

    2026 · 1 citations

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

    2022 · 1 citations

← Return to the university profile