A note on deadlock-free proofs of network of processes. - H. Zedan (ACM SIGPLAN Notices, 1984)

Safety decomposition of distributed programs. - H. Zedan (ACM SIGPLAN Notices, 1985)

Achieving atomicity in occam. - H. Zedan (Microprocess. Microprogramming, 1988)

On the analysis of occam real-time distributed computations. - H. Zedan (Microprocess. Microprogramming, 1988)

PCHAN: A notion for dynamic resource management in distributed occam systems. - H. Zedan; R. F. Stone; D. S. Simpson (Microprocess. Microprogramming, 1989)

Debugging and monitoring highly parallel systems with grip. - P. J. Venables; H. Zedan (Microprocessing and Microprogramming, 1990)

Agent-Oriented Middleware for Mobile eLearning Services. - Stanimir Stojanov; Veselina Valkanova; Ivan Ganchev; Mairtin O'Droma; H. Zedan (COMPSAC (2), 2009)

Non-intrusive speech quality prediction in VoIP networks using a neural network approach. - Mousa T. Al-Akhras; H. Zedan; R. John; Iman M. Almomani (Neurocomputing, 2009)