Nawfal Al Hashimy

According to our database, Nawfal Al Hashimy authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Property Ownership Formal Modelling Using Event-B and iUML-B.

Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi, Gary B. Wills

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2023

BiBERT-AV: Enhancing Authorship Verification Through Siamese Networks with Pre-trained BERT and Bi-LSTM.

Amirah Almutairi, BooJoong Kang, Nawfal Al Hashimy

Proceedings of the Ubiquitous Security, 2023

2022

Expert Review of the Land Registration Framework in the Kingdom of Saudi Arabia.

Manar Altamimi, Gary B. Wills, Nawfal Al Hashimy

Int. J. ICT Res. Afr. Middle East, 2022