More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Nagat Drawel

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/adhoc/BaharlooBADP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/adhoc/BaharlooBADP24
Narges Baharloo, Jamal Bentahar, Ghalya Alwhishi, Nagat Drawel, Witold Pedrycz:
Verifying trust over IoT-ad hoc network-based applications under uncertainty. Ad Hoc Networks 154: 103380 (2024)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/IslamEEBDRP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/IslamEEBDRP24
Saidul Islam, Hanae Elmekki, Ahmed Elsebai, Jamal Bentahar, Nagat Drawel, Gaith Rjoub, Witold Pedrycz:
A comprehensive survey on applications of transformers for deep learning tasks. Expert Syst. Appl. 241: 122666 (2024)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/BaharlooBDP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/BaharlooBDP24
Narges Baharloo, Jamal Bentahar, Nagat Drawel, Witold Pedrycz:
Model checking combined trust and commitments in Multi-Agent Systems. Expert Syst. Appl. 243: 122856 (2024)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/inffus/AlwhishiBEPD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/inffus/AlwhishiBEPD24
Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz, Nagat Drawel:
Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments. Inf. Fusion 102: 102048 (2024)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/DrawelLBE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/DrawelLBE24
Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy:
Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383]. J. Syst. Softw. 213: 112052 (2024)
2023
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-07303
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-07303
Saidul Islam, Hanae Elmekki, Ahmed Elsebai, Jamal Bentahar, Nagat Drawel, Gaith Rjoub, Witold Pedrycz:
A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks. CoRR abs/2306.07303 (2023)
2022
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/DrawelBLR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/DrawelBLR22
Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub:
Formal verification of group and propagated trust in multi-agent systems. Auton. Agents Multi Agent Syst. 36(1): 19 (2022)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/DrawelLBE22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/DrawelLBE22
Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy:
Transformation-based model checking temporal trust in multi-agent systems. J. Syst. Softw. 192: 111383 (2022)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BentaharDS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BentaharDS22
Jamal Bentahar, Nagat Drawel, Abdeladim Sadiki:
Quantitative Group Trust: A Two-Stage Verification Approach. AAMAS 2022: 100-108
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/deepbdb/RjoubB0D22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deepbdb/RjoubB0D22
Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Nagat Drawel:
One-Shot Federated Learning-based Model-Free Reinforcement Learning. DBB 2022: 39-52
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iwcmc/AlwhishiBD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwcmc/AlwhishiBD22
Ghalya Alwhishi, Jamal Bentahar, Nagat Drawel:
Reasoning about Uncertainty over IoT Systems. IWCMC 2022: 306-311
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/mobiwis/AlwhishiDB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mobiwis/AlwhishiDB22
Ghalya Alwhishi, Nagat Drawel, Jamal Bentahar:
Model Checking Intelligent Information Systems with 3-Valued Timed Commitments. MobiWIS 2022: 237-251
2020
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/DrawelQBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/DrawelQBS20
Nagat Drawel, Hongyang Qu, Jamal Bentahar, Elhadi M. Shakshuki:
Specification and automatic verification of trust-based multi-agent systems. Future Gener. Comput. Syst. 107: 1047-1060 (2020)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DrawelB020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DrawelB020
Nagat Drawel, Jamal Bentahar, Hongyang Qu:
Computationally Grounded Quantitative Trust with Time. AAMAS 2020: 1837-1839
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DrawelBLR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DrawelBLR20
Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub:
Formalizing Group and Propagated Trust in Multi-Agent Systems. IJCAI 2020: 60-66

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/atal/DrawelBEL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DrawelBEL18
Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej:
Verifying Temporal Trust Logic using CTL Model Checking. TRUST@AAMAS 2018: 62-74
2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/DrawelBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/DrawelBS17
Nagat Drawel, Jamal Bentahar, Elhadi M. Shakshuki:
Reasoning about Trust and Time in a System of Agents. ANT/SEIT 2017: 632-639

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.