A Formal Approach for Design of Agent Based Earthquake Management System (EMS). - Sarmad Sadik; M. Alade Rahman; Arshad Ali 001; Hafiz Farooq Ahmad; Hiroki Suguri (SNPD, 2008)

Supply Chain Model for Personalized Car Web Services Discovery. - M. Alade Rahman; H. O. D. Longe; Falak Nawaz; Hafiz Farooq Ahmad (Asia International Conference on Modelling and Simulation, 2009)

Modeling high assurance agent-based Earthquake Management System using formal techniques. - Sarmad Sadik; M. Alade Rahman; Arshad Ali 001; Hafiz Farooq Ahmad; Hiroki Suguri (J. Supercomput., 2010)