| On the image encryption algorithm based on the chaotic system, dna encoding, and castle N Iqbal, RA Naqvi, M Atif, MA Khan, M Hanif, S Abbas, D Hussain IEEE Access 9, 118253-118270, 2021 | 68 | 2021 |
| Analysis and verification of two-phase commit & three-phase commit protocols M Atif 2009 International Conference on Emerging Technologies, 326-331, 2009 | 30 | 2009 |
| Novel Internet of Things based approach toward diabetes prediction using deep learning models A Naseem, R Habib, T Naz, M Atif, M Arif, S Allaoua Chelloug Frontiers in Public Health 10, 914106, 2022 | 29 | 2022 |
| Prediction techniques for diagnosis of diabetic disease: A comparative study B Naqvi, A Ali, MA Hashmi, M Atif International Journal of Computer Science and Network Security 18 (8), 118-124, 2018 | 15 | 2018 |
| Cluster based routing protocols for wireless sensor networks: an overview MN Akhtar, A Arshad, Z Ali, MA Hashmi, M Atif International Journal of Advanced Computer Science and Applications 9 (12), 2018 | 13 | 2018 |
| Formal specification and analysis of accelerated heartbeat protocols M Atif, MR Mousavi Technische Universiteit Eindhoven, 2009 | 10 | 2009 |
| Formal modeling and verification of distributed failure detectors M Atif Faculty of Mathematics and Computer Science, TU/e 10, 2011 | 9 | 2011 |
| A review of approaches to model security into software systems S Hussain, G Rasool, M Atef, AK Shahid Journal of Basic and Applied Scientific Research 3 (4), 642-647, 2013 | 7 | 2013 |
| Understanding behaviour of distributed systems using mCRL2 M Atif, JF Groote Springer 458, 1-200, 2023 | 5 | 2023 |
| Voice morphing: An illusion or reality I Ahmed, A Sadiq, M Atif, M Naseer, M Adnan 2018 International Conference on Advancements in Computational Sciences …, 2018 | 5 | 2018 |
| Sentimental Analysis of Industry 4.0 Perspectives Using a Graph‐Based Bi‐LSTM CNN Model D Venkatesan, SK Kannan, M Arif, M Atif, A Ganeshan Mobile Information Systems 2022 (1), 5430569, 2022 | 4 | 2022 |
| Adaptive byzantine fault tolerance support for agent oriented systems: The BDARX AB Alvi, MA Hashmi, ZH Chuhan, M Atif, I Ahmed International Journal of Advanced and Applied Sciences 6 (2), 57-64, 2019 | 4 | 2019 |
| Fully Automatic OWL Generator from RDB Schema T Naz, M Shuja, SK Shahzad, M Atif International Journal of Advanced and Applied Science 5 (4), 79-86, 2018 | 4 | 2018 |
| On the Cultural Diversity of Multi-National ICT Organizations: A Review Study MA Sadiah Zafar, MA Hashmi, T Naz Indian Journal of Science and Technology 10, 26, 2017 | 4 | 2017 |
| A semantic-based framework for verbal autopsy to identify the cause of maternal death MIA Durrani, T Naz, M Atif, N Khalid, A Amelio Applied Clinical Informatics 12 (04), 910-923, 2021 | 3 | 2021 |
| Formal analysis and verification of agent-oriented supply-chain management MZ Shoukat, M Atif, IR Hasrat, N Mushtaq, A Ijaz International Journal of Advanced Computer Science and Applications 9 (6), 2018 | 3 | 2018 |
| A comparative study on results of design patterns recovery tools G Rasool, I Ahmad, M Atif World Applied Sciences Journal 28 (9), 1316-1321, 2013 | 3 | 2013 |
| Formal verification of unreliable failure detectors in partially synchronous systems M Atif, MR Mousavi, A Osaiweran Proceedings of the 27th Annual ACM Symposium on Applied Computing, 478-485, 2012 | 3 | 2012 |
| Comparative efficacy of sutures and suture less tech-niques for gastrotomy incision closure in dog N Iqbal, N Hussain, M Atif, S Aslam, H Jawad, Z Luqman, A Sadiq, ... Adv. Anim. Vet. Sci 8 (12), 1294-1300, 2020 | 1 | 2020 |
| FDMSWAP: Formal Development Methodology for Secure Web Applications AKS Shafiq Hussain , Ghulam Rasool , Muhammad Atif Journal of Basic and Applied Scientific Research 3 (3), 1123-1128, 2013 | 1* | 2013 |
Tabbasum NazResearch Fellow, University of Strathclyde, Glasgow, UKGeverifieerd e-mailadres voor strath.ac.uk