متابعة
Farooq Ahmad
Farooq Ahmad
Associate Professor, Department of Computer Science, COMSATS Institute of Information Technology
بريد إلكتروني تم التحقق منه على ciitlahore.edu.pk
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Iris recognition using image moments and k-means algorithm
YD Khan, SA Khan, F Ahmad, S Islam
The Scientific World Journal 2014, 2014
842014
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
682014
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
622012
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
402010
Specification and Verification of Safety Properties along a Crossing Region in a Railway Network Control
F Ahmad, SA Khan
Applied Mathematical Modelling, 2012
342012
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
342011
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
332011
Module-based architecture for a periodic job-shop scheduling problem
F Ahmad, SA Khan
Computers & Mathematics with Applications, 2012
272012
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
262014
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
252009
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
202014
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
182014
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
182012
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
162011
Content-based image retrieval using extroverted semantics: a probabilistic approach
YD Khan, F Ahmad, SA Khan
Neural Computing and Applications 24, 1735-1748, 2014
152014
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
112014
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
92009
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
72012
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
71990
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
52012
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20