Model checking temporal knowledge and commitments in multi-agent systems using reduction F Al-Saqqar, J Bentahar, K Sultan, W Wan, EK Asl Simulation Modelling Practice and Theory 51, 45-68, 2015 | 44 | 2015 |
Catalog of metrics for assessing security risks of software throughout the software development life cycle K Sultan, A En-Nouaary, A Hamou-Lhadj 2008 International Conference on Information Security and Assurance (ISA …, 2008 | 43 | 2008 |
On the interaction between knowledge and social commitments in multi-agent systems F Al-Saqqar, J Bentahar, K Sultan, M El Menshawy Applied intelligence 41 (1), 235-259, 2014 | 31 | 2014 |
Decision making under subjective uncertainty in argumentation-based agent negotiation O Marey, J Bentahar, E Khosrowshahi-Asl, K Sultan, R Dssouli Ambient Intelligence and Humanized Computing, 1-17, 2015 | 29 | 2015 |
Model checking probabilistic social commitments for intelligent agent communication K Sultan, J Bentahar, M El-Menshawy Applied Soft Computing 22, 397-409, 2014 | 24 | 2014 |
Modeling and verifying probabilistic multi-agent systems using knowledge and social commitments K Sultan, J Bentahar, W Wan, F Al-Saqqar Expert Systems with Applications 41 (14), 6291-6304, 2014 | 23 | 2014 |
CrashSafe: a formal model for proving crash‐safety of Android applications W Khan, H Ullah, A Ahmad, K Sultan, AJ Alzahrani, SD Khan, M Alhumaid, ... Human-centric Computing and Information Sciences 8 (1), 21, 2018 | 20 | 2018 |
On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems F Al-Saqqar, J Bentahar, K Sultan Expert Systems with applications 43, 223-236, 2016 | 19 | 2016 |
Web accessibility automatic evaluation tools: to what extent can they be automated? I Abu Doush, K Sultan, MA Al‑Betar, Z Almeraj, ZAA Alyasseri, ... CCF Transactions on Pervasive Computing and Interaction 5, 288–320, 2023 | 11 | 2023 |
Model checking agent-based communities against uncertain group commitments and knowledge K Sultan, J Bentahar, H Yahyaoui, R Mizouni Expert Systems with Applications, 114792, 2021 | 11 | 2021 |
Reasoning about social commitments in the presence of uncertainty K Sultan, M El Menshawy, J Bentahar 2013 IEEE 12th International Conference on Intelligent Software …, 2013 | 9 | 2013 |
Migration of Existing Software Systems to Mobile Computing Platforms: A Systematic Mapping Study I ALSEADOON, A AHMAD, A ALKHALIL, K SULTAN Frontiers of Computer Science 15 (152204), 2021 | 8 | 2021 |
Modernising Legacy Software as Context-sensitive and Portable Mobile-enabled Application A Ahmad, A Alkhalil, A B. Altamimi, K Sultan, W Khan IT Professional 23 (1), 42-50, 2021 | 7 | 2021 |
A Framework for the Evolution of Legacy Software Towards Context-aware and Portable Mobile Computing Applications A Ahmad, I Alseadoon, A Alkhalil, K Sultan The 17th International Conference on Software Engineering Research and Practice, 2019 | 7 | 2019 |
Evaluation of Various Machine Learning Prediction Methods for Particulate Matter (PM10) in Kuwait A Alsaber, R Alsahli, AT Al-Sultan, I Abu Doush, K Sultan, D Alkandari, ... International Journal of Information Technology, 2023 | 6 | 2023 |
Modeling and verifying probabilistic social commitments in multi-agent systems KI Sultan Concordia University, 2015 | 6 | 2015 |
Software Architecture for Mobile Cloud Computing Systems A Alreshidi, A Ahmad, A B. Altamimi, K Sultan, R Mehmood Future Internet 11 (11), 238, 2019 | 4 | 2019 |
Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation M Mbarki, O Marey, J Bentahar, K Sultan IEEE 26th International Conference on Tools with Artificial Intelligence …, 2014 | 4 | 2014 |
A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs K Sultan, J Bentahar, O Marey SoMet 2014, 132-147, 2014 | 3 | 2014 |
Improving Neural Network using Jaya Algorithm with Opposite Learning for Air Quality Prediction I Abu Doush, K Sultan, A Alsaber, D Alkandari, A Abdullah IntelliSys Conference, 567-606, 2023 | 2 | 2023 |