SARP - A Novel Multi-Copy Routing Protocol for Intermittently Connected Mobile Networks. - Ahmed Elwhishi; Pin-Han Ho (GLOBECOM, 2009)

A Novel Buffer Management Architecture for Epidemic Routing in Delay Tolerant Networks (DTNs). - Ahmed Elwhishi; Pin-Han Ho; Kshirasagar Naik; Basem Shihada (QSHINE, 2010)

ARBR: Adaptive reinforcement-based routing for DTN. - Ahmed Elwhishi; Pin-Han Ho; Kshirasagar Naik; Basem Shihada (WiMob, 2010)

Message Forwarding and Scheduling in Delay Tolerant Networks. - Ahmed Elwhishi (2012)

A Novel Message Scheduling Framework for Delay Tolerant Networks Routing. - Ahmed Elwhishi; Pin-Han Ho; Kshirasagar Naik; Basem Shihada (IEEE Trans. Parallel Distributed Syst., 2013)

Self-Adaptive Contention Aware Routing Protocol for Intermittently Connected Mobile Networks. - Ahmed Elwhishi; Pin-Han Ho; Kshirasagar Naik; Basem Shihada (IEEE Trans. Parallel Distributed Syst., 2013)

Contention aware mobility prediction routing for intermittently connected mobile networks. - Ahmed Elwhishi; Pin-Han Ho; Basem Shihada (Wirel. Networks, 2013)

Three-Valued Model Checking Smart Contract Systems with Trust Under Uncertainty. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi (DBB, 2022)

Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi (FiCloud, 2022)

Multi-valued Model Checking A Smart Glucose Monitoring System with Trust. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi (IWCMC, 2023)

MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi; Witold Pedrycz (Expert Syst. Appl., 2024)

Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi; Witold Pedrycz (Inf. Fusion, 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)

Trust verification in information fusion-based autonomous monitoring systems using 9-valued logic. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi; Witold Pedrycz (Inf. Fusion, 2026)