| Simplifying Runtime Verification of Distributed Programs: Ameliorating the State Space Explosion Pro | Eslam Al Maghayreh | VDM Verlag | ---- | ---- | 2010 |
| Multi-Agent Systems - Modeling, Control, Programming, Simulations and Applications | Faisal Alkhateeb, Eslam Al Maghayreh and Iyad Abu Doush (Editors) | InTech | ---- | ---- | 2011 |
| Multi-Agent Systems - Modeling, Interactions, Simulations and Case Studies | Faisal Alkhateeb, Eslam Al Maghayreh and Iyad Abu Doush (Editors) | InTech | ---- | ---- | 2011 |