Title	Partial Redundancy Elimination for Multi-threaded Programs
Author	Mohamed A. El-Zawawy, Hamada A. Nayel
Citation	Vol. 11  No. 10  pp. 127-133
Keywords	Partial redundancy elimination, Type systems, Multi-threaded programs, Operational semantics, Compiler optimization

Title	Dynamic Verification for File Safety of Multithreaded Programs
Author	Mohamed A. El-Zawawy, Nagwan M. Daoud
Citation	Vol. 12  No. 5  pp. 14-20
Keywords	File safety, Operational semantics, Rewriting logic, Multi-threaded programs

Title	A Novel Path-Prediction Routing Protocol for Delay Tolerant Networks
Author	Mohamed A. El-Zawawy, Eisa A. Aleisa
Citation	Vol. 15  No. 8  pp. 26-31
Keywords	Path Prediction protocol routing (PPR), Delay Tolerant Networks (DTN), Routing Protocols, Wireless networking.

Title	Efficient Data-Types Analysis for a Functional Concurrent Model of Programming
Author	Mohamed A. El-Zawawy, Mohammad N. Alanazi
Citation	Vol. 16  No. 2  pp. 27-31
Keywords	Data-Types Analysis, Type System, Functional Concurrent Models, Syntax, Asynchronous Programming.