Reasoning about Trust and Time in a System of Agents. - Nagat Drawel; Jamal Bentahar; Elhadi M. Shakshuki (ANT/SEIT, 2017)

Verifying Temporal Trust Logic using CTL Model Checking. - Nagat Drawel; Jamal Bentahar; Mohamed El-Menshawy; Amine Laarej (TRUST@AAMAS, 2018)

Computationally Grounded Quantitative Trust with Time. - Nagat Drawel; Jamal Bentahar; Hongyang Qu 001 (AAMAS, 2020)

Formalizing Group and Propagated Trust in Multi-Agent Systems. - Nagat Drawel; Jamal Bentahar; Amine Laarej; Gaith Rjoub (IJCAI, 2020)

Specification and automatic verification of trust-based multi-agent systems. - Nagat Drawel; Hongyang Qu 001; Jamal Bentahar; Elhadi M. Shakshuki (Future Gener. Comput. Syst., 2020)

Quantitative Group Trust: A Two-Stage Verification Approach. - Jamal Bentahar; Nagat Drawel; Abdeladim Sadiki (AAMAS, 2022)

One-Shot Federated Learning-based Model-Free Reinforcement Learning. - Gaith Rjoub; Jamal Bentahar; Omar Abdel Wahab 001; Nagat Drawel (DBB, 2022)

Reasoning about Uncertainty over IoT Systems. - Ghalya Alwhishi; Jamal Bentahar; Nagat Drawel (IWCMC, 2022)

Model Checking Intelligent Information Systems with 3-Valued Timed Commitments. - Ghalya Alwhishi; Nagat Drawel; Jamal Bentahar (MobiWIS, 2022)

Formal verification of group and propagated trust in multi-agent systems. - Nagat Drawel; Jamal Bentahar; Amine Laarej; Gaith Rjoub (Auton. Agents Multi Agent Syst., 2022)

Transformation-based model checking temporal trust in multi-agent systems. - Nagat Drawel; Amine Laarej; Jamal Bentahar; Mohamed El-Menshawy (J. Syst. Softw., 2022)

Model checking combined trust and commitments in Multi-Agent Systems. - Narges Baharloo; Jamal Bentahar; Nagat Drawel; Witold Pedrycz (Expert Syst. Appl., 2024)

A comprehensive survey on applications of transformers for deep learning tasks. - Saidul Islam; Hanae Elmekki; Ahmed Elsebai; Jamal Bentahar; Nagat Drawel; Gaith Rjoub; Witold Pedrycz (Expert Syst. Appl., 2024)

Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383]. - Nagat Drawel; Amine Laarej; Jamal Bentahar; Mohamed El-Menshawy (J. Syst. Softw., 2024)

Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi; Witold Pedrycz; Nagat Drawel (Inf. Fusion, 2024)

Verifying trust over IoT-ad hoc network-based applications under uncertainty. - Narges Baharloo; Jamal Bentahar; Ghalya Alwhishi; Nagat Drawel; Witold Pedrycz (Ad Hoc Networks, 2024)