Object Oriented Knowledge Engineering: A Formal Approach for Verification. - Akram Ibrahim Salah; Manal Ahmed Ismail (EUROVAV, 1997)

Toward a Formalization of UML2.0 Metamodel using Z Specifications. - Ahmed M. Mostafa; Manal Ahmed Ismail; Hatem El-Bolok; E. M. Saad (SNPD (1), 2007)

Ant PageRank Algorithm. - Mahmoud Zaki Abdo; Manal Ahmed Ismail; Mohamed Ibraheem Eladawy (ICEIS (2), 2009)

MuHyb: A Proposed Mutation Testing Tool for Hybrid Mobile Applications. - Shazly Ahmed; Islam A. T. F. Taj-Eddin; Manal Ahmed Ismail (ICSIE, 2020)

Software Project Management Effectiveness Evaluation Tool. - Mohamed Ellithey Barghoth; Akram Salah 001; Manal Ahmed Ismail (ICSIE, 2020)