Iris recognition using image moments and k-means algorithm YD Khan, SA Khan, F Ahmad, S Islam The Scientific World Journal 2014, 2014 | 83 | 2014 |
An evaluation framework and comparative analysis of the widely used first programming languages MS Farooq, SA Khan, F Ahmad, S Islam, A Abid PloS one 9 (2), e88941, 2014 | 68 | 2014 |
A neuro-cognitive approach for iris recognition using back propagation YD Khan, F Ahmad, MW Anwar World Applied Sciences Journal 16 (5), 678-685, 2012 | 62 | 2012 |
Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources F Ahmad, H Huang, XL Wang Journal of Systems and Software 83 (4), 675-688, 2010 | 40 | 2010 |
Specification and Verification of Safety Properties along a Crossing Region in a Railway Network Control F Ahmad, SA Khan Applied Mathematical Modelling, 2012 | 34 | 2012 |
Analysis of the Petri net model of parallel manufacturing processes with shared resources F Ahmad, H Huang, X Wang Information Sciences 181 (23), 5249-5266, 2011 | 34 | 2011 |
Petri net modeling of railway crossing system using fuzzy brakes SA Khan, NA Zafar, F Ahmad International J. Phy. Sci 6 (14), 3389-3397, 2011 | 33 | 2011 |
Module-based architecture for a periodic job-shop scheduling problem F Ahmad, SA Khan Computers & Mathematics with Applications, 2012 | 27 | 2012 |
Extending Petri net to reduce control strategies of railway interlocking system SA Khan, NA Zafar, F Ahmad, S Islam Applied Mathematical Modelling 38 (2), 413-424, 2014 | 26 | 2014 |
Numerical simulations of cross-flow around four square cylinders in an in-line rectangular configuration SU Islam, CY Zhou, F Ahmad World Academy of Sciences, Engineering Technology 33, 824-833, 2009 | 25 | 2009 |
Petri net-based modeling and control of the multi-elevator systems F Ahmad, I Fakhir, SA Khan, YD Khan Neural Computing and Applications 24, 1601-1612, 2014 | 20 | 2014 |
Modeling and analysis of departure routine in air traffic control based on Petri nets A Sadiq, F Ahmad, SA Khan, JC Valverde, T Naz, MW Anwar Neural Computing and Applications 25 (5), 1099-1109, 2014 | 18 | 2014 |
Formal modeling towards a dynamic organization of multi-agent systems using communicating X-machine and Z-notation G Ali, SA Khan, NA Zafar, F Ahmad Indian Journal of Science and Technology, 2972-2977, 2012 | 18 | 2012 |
Extending promotion to operate controller based on train’s operation SA Khan, NA Zafar, F Ahmad International J. Phy. Sci 6 (31), 7262-7270, 2011 | 16 | 2011 |
Content-based image retrieval using extroverted semantics: a probabilistic approach YD Khan, F Ahmad, SA Khan Neural Computing and Applications 24, 1735-1748, 2014 | 15 | 2014 |
Formal model of random walk mobility model for WMN using coloured petri nets NA Khan, F Ahmad, WA Baig Proceedings of 2014 11th International Bhurban Conference on Applied …, 2014 | 11 | 2014 |
A technique for reachability graph generation for the Petri net models of parallel processes F Ahmad, H Huang, X Wang International Journal of Computer and Information Engineering 3 (3), 811-815, 2009 | 9 | 2009 |
Visualized and abstract formal modeling towards the multi-agent systems G Ali, SA Khan, F Ahmad, NA Zafar Int J Basic Appl Sci 2 (8), 8272-8284, 2012 | 7 | 2012 |
Constituents of plants growing in Qatar: Part XIX. Flavonoids of Glossonema edule NE Br. AM Rizk, FM Hammouda, SI Ismail, NM Hassan, MM El-Missiry, ... Plant Foods for Human Nutrition 40, 1-3, 1990 | 7 | 1990 |
Formal analysis of arrival Procedure of air traffic control system S Yousaf, SA Khan, NA Zafar, F Ahmad, MA Khan Life Science Journal 9 (4), 2012 | 5 | 2012 |