Title	Prediction Techniques for Diagnosis of Diabetic Disease: A Comparative Study
Author	Basharat Naqvi, Arshad Ali, Muhammad Adnan Hashmi and Muhammad Atif
Citation	Vol. 18  No. 8  pp. 118-124
Keywords	Decision tree, ID3, diabetic patients, data mining

Title	Formal Verification of Twin Clutch Gear Control System
Author	Muhammad Zaman, Amina Mahmood, Muhammad Atif, Muhammad Adnan Hashmi, Muhammad Kashif, Mudassar Naseer
Citation	Vol. 24  No. 3  pp. 151-159
Keywords	Formal Specification, Gear Control System, Requirement Verification, Model-checking.

Title	Formal Analysis of Distributed Shared Memory Algorithms
Author	Muhammad Atif, Muhammad Adnan Hashmi, Mudassar Naseer, and Ahmad Salman Khan
Citation	Vol. 24  No. 4  pp. 192-196
Keywords	Virtual memory, Distributed Algorithm, Formal Specification, Verification.