M. A. Pasha

Formal verification of crossover operator in Genetic Algorithms using Prototype Verification System (PVS)

M. Saqib Nawaz, M. IkramUllah Lali, M. A. Pasha, 2013, 2013 IEEE 9th International Conference on Emerging Technologies (ICET).

Semi-Star Modeling Schema for Managing Data Warehouse Consistency

M. A. Pasha, 2004 .