Khalid Sultan

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

Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan et al. · Simulation Modelling Practice and Theory · 2014 · 38 citations

Computing, Computer Science, Distributed Systems +13

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

Khalid Sultan, Abdeslam En-Nouaary, Abdelwahab Hamou‐Lhadj · 2008 · 27 citations

Computing, Computer Science, Risk Management +17

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

Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan et al. · Applied Intelligence · 2014 · 25 citations

Computing, Social Psychology, Distributed Systems +11

Decision making under subjective uncertainty in argumentation-based agent negotiation

Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi‐Asl et al. · Journal of Ambient Intelligence and Humanized Computing · 2015 · 21 citations

Management, Decision Sciences, Decision Making +13

Model checking probabilistic social commitments for intelligent agent communication

Khalid Sultan, Jamal Bentahar, Mohamed El-Menshawy · Applied Soft Computing · 2014 · 19 citations

Computing, Autonomous Systems, Communication +12