Simple concurrent garbage collection almost without synchronization. - Wim H. Hesselink; Muhammad Ikram Ullah Lali (Formal Methods Syst. Des., 2010)

Formalizing a hierarchical file system. - Wim H. Hesselink; Muhammad Ikram Ullah Lali (Formal Aspects Comput., 2012)

Concurrent Algorithms in SPIN Model Checker. - M. Saqib Nawaz; Hussam Ali; Muhammad Ikram Ullah Lali (FIT, 2016)

Symptom based automated detection of citrus diseases using color histogram and textural descriptors. - Hussam Ali; Muhammad Ikram Ullah Lali; Muhammad Zohaib Nawaz; Muhammad Sharif 001; B. A. Saleem (Comput. Electron. Agric., 2017)

Finding Healthcare Issues with Search Engine Queries and Social Network Data. - Muhammad Ikram Ullah Lali; Raza Ul-Mustafa; Kashif Saleem; M. Saqib Nawaz; Tehseen Zia; Basit Shahzad (Int. J. Semantic Web Inf. Syst., 2017)

Risk Aware and Quality Enriched Effort Estimation for Mobile Applications in Distributed Agile Software Development. - Waqar Aslam; Farah Ijaz; Muhammad Ikram Ullah Lali; Waqar Mehmood (J. Inf. Sci. Eng., 2017)

Identification of Patterns in Failure of Software Projects. - Basit Shehzad; Kinza Mehr Awan; Muhammad Ikram Ullah Lali; Waqar Aslam (J. Inf. Sci. Eng., 2017)

Leveraging the Big Data Produced by the Network to Take Intelligent Decisions on Flow Management. - Shafaan Khaliq Bhatti; Muhammad Ikram Ullah Lali; Basit Shahzad; Farooq Javid; Fakhar Ullah Mangla; Muhammad Ramzan (IEEE Access, 2018)

A Systematic Study on Software Requirements Elicitation Techniques and its Challenges in Mobile Application Development. - Hafsa Shareef Dar; Muhammad Ikram Ullah Lali; Humaira Ashraf; Muhammad Ramzan; Tehmina Amjad; Basit Shahzad (IEEE Access, 2018)

Detection and classification of citrus diseases in agriculture based on optimized weighted segmentation and feature selection. - Muhammad Sharif 001; Muhammad Attique Khan; Zahid Iqbal; Muhammad Faisal Azam; Muhammad Ikram Ullah Lali; Muhammad Younus Javed (Comput. Electron. Agric., 2018)

An Optimized Method for Segmentation and Classification of Apple Diseases Based on Strong Correlation and Genetic Algorithm Based Feature Selection. - Muhammad Attique Khan; Muhammad Ikram Ullah Lali; Muhammad Sharif 001; Kashif Javed; Khursheed Aurangzeb; Syed Irtaza Haider; Abdulaziz S. Altamrah; Tallha Akram (IEEE Access, 2019)

Quantification of Productivity of the Brands on Social Media With Respect to Their Responsiveness. - Basit Shahzad; Kinza Mehr Awan; Abdullatif M. Abdullatif; Muhammad Ikram Ullah Lali; M. Saqib Nawaz; Ume Ayesha; Muzafar Khan (IEEE Access, 2019)

Social Profiling: A Review, Taxonomy, and Challenges. - Muhammad Bilal 012; Abdullah Gani; Muhammad Ikram Ullah Lali; Mohsen Marjani; Nadia Malik (Cyberpsychology Behav. Soc. Netw., 2019)

Visual features based automated identification of fish species using deep convolutional neural networks. - Hafiz Tayyab Rauf; Muhammad Ikram Ullah Lali; Saliha Zahoor; Syed Zakir Hussain Shah; Abd Ur Rehman; Syed Ahmad Chan Bukhari (Comput. Electron. Agric., 2019)

Frameworks for Querying Databases Using Natural Language: A Literature Review. - Hafsa Shareef Dar; Muhammad Ikram Ullah Lali; Moin Ul Din; Khalid Mahmood Malik; Syed Ahmad Chan Bukhari (CoRR, 2019)

A Survey on Theorem Provers in Formal Methods. - M. Saqib Nawaz; Moin Malik; Yi Li 010; Meng Sun 002; Muhammad Ikram Ullah Lali (CoRR, 2019)

A Special Section on Effectiveness of Search Engine and Social Networking Data in Healthcare Systems. - Muhammad Ikram Ullah Lali; Ali Shariq Imran (J. Medical Imaging Health Informatics, 2019)

Social Media News Classification in Healthcare Communication. - Fiaz Majeed; Muhammad Waqas Asif; Muhammad Awais 012; Syed Ali Abbas; Muhammad Ikram Ullah Lali (J. Medical Imaging Health Informatics, 2019)

A 3D nodule candidate detection method supported by hybrid features to reduce false positives in lung nodule detection. - Syed Muhammad Naqi; Muhammad Sharif 001; Muhammad Ikram Ullah Lali (Multim. Tools Appl., 2019)

Profiling Users' Behavior, and Identifying Important Features of Review "Helpfulness". - Muhammad Bilal 012; Mohsen Marjani; Muhammad Ikram Ullah Lali; Nadia Malik; Abdullah Gani; Ibrahim Abaker Targio Hashem (IEEE Access, 2020)

Correction to "An Optimized Method for Segmentation and Classification of Apple Diseases Based on Strong Correlation and Genetic Algorithm Based Feature Selection". - Muhammad Attique Khan; Muhammad Ikram Ullah Lali; Muhammad Sharif 001; Kashif Javed; Khursheed Aurangzeb; Syed Irtaza Haider; Abdulaziz S. Altamrah; Tallha Akram (IEEE Access, 2020)

Particle Swarm Optimization With Probability Sequence for Global Optimization. - Hafiz Tayyab Rauf; Umar Shoaib; Muhammad Ikram Ullah Lali; Majed Alhaisoni; Muhammad Naeem Irfan; Muhammad Attique Khan (IEEE Access, 2020)

An Image Encryption Scheme Based on DNA Computing and Multiple Chaotic Systems. - Muhammad Samiullah; Waqar Aslam; Hira Nazir; Muhammad Ikram Ullah Lali; Basit Shahzad; Muhammad Rafiq Mufti; Humaira Afzal (IEEE Access, 2020)

Adaptive inertia weight Bat algorithm with Sugeno-Function fuzzy search. - Hafiz Tayyab Rauf; Sumbal Malik; Umar Shoaib; Muhammad Naeem Irfan; Muhammad Ikram Ullah Lali (Appl. Soft Comput., 2020)

Discovering software developer's coding expertise through deep learning. - Farooq Javeed; Ansar Siddique; Akhtar Munir; Basit Shehzad; Muhammad Ikram Ullah Lali (IET Softw., 2020)

Sketch-based facial recognition: a weighted component-based approach (WCBA). - Fakhar Ullah Mangla; Muzammil Shahzad; Muhammad Ikram Ullah Lali; Syed Ahmad Chan Bukhari (Multim. Tools Appl., 2020)

Profiling reviewers' social network strength and predicting the "Helpfulness" of online customer reviews. - Muhammad Bilal 012; Mohsen Marjani; Ibrahim Abaker Targio Hashem; Nadia Malik; Muhammad Ikram Ullah Lali; Abdullah Gani (Electron. Commer. Res. Appl., 2021)

Frameworks for Querying Databases Using Natural Language: A Literature Review - NLP-to-DB Querying Frameworks. - Syed Ahmad Chan Bukhari; Hafsa Shareef Dar; Muhammad Ikram Ullah Lali; Fazel Keshtkar; Khalid Mahmood Malik; Seifedine Nimer Kadry (Int. J. Data Warehous. Min., 2021)

Lung nodules detection using semantic segmentation and classification with optimal features. - Talha Meraj; Hafiz Tayyab Rauf; Saliha Zahoor; Arslan Hassan; Muhammad Ikram Ullah Lali; Liaqat Ali; Syed Ahmad Chan Bukhari; Umar Shoaib (Neural Comput. Appl., 2021)

An adaptive hybrid differential evolution algorithm for continuous optimization and classification problems. - Hafiz Tayyab Rauf; Waqas Haider Bangyal; Muhammad Ikram Ullah Lali (Neural Comput. Appl., 2021)

AI-Driven Framework for Recognition of Guava Plant Diseases through Machine Learning from DSLR Camera Sensor Based High Resolution Imagery. - Ahmad S. Almadhor; Hafiz Tayyab Rauf; Muhammad Ikram Ullah Lali; Robertas Damasevicius; Bader Alouffi; Abdullah Alharbi (Sensors, 2021)

Quality of service in IoT protocol as designs and its verification in PVS. - Muhammad Saqib Nawaz; Meng Sun 002; Basit Shahzad; Muhammad Ikram Ullah Lali; Tariq Umer; Shaohua Wan 001 (Trans. Emerg. Telecommun. Technol., 2022)

Time series forecasting of COVID-19 transmission in Asia Pacific countries using deep neural networks. - Hafiz Tayyab Rauf; Muhammad Ikram Ullah Lali; Muhammad Attique Khan; Seifedine Kadry 001; Hanan Alolaiyan; Abdul Razaq 002; Rizwana Irfan (Pers. Ubiquitous Comput., 2023)

Breast Masses Segmentation: A Framework of Skip Dilated Semantic Network and Machine Learning. - Saliha Zahoor; Umar Shoaib; Muhammad Ikram Ullah Lali (Int. J. Artif. Intell. Tools, 2023)

A novel Deeplabv3+ and vision-based transformer model for segmentation and classification of skin lesions. - Iqra Ahmad; Javaria Amin; Muhammad Ikram Ullah Lali; Farhat Abbas; Muhammad Imran Sharif 001 (Biomed. Signal Process. Control., 2024)

Gamify4LexAmb: a gamification-based approach to address lexical ambiguity in natural language requirements. - Hafsa Shareef Dar; Romana Aziz; Javed Ali Khan; Muhammad Ikram Ullah Lali; Nouf Abdullah Almujally (PeerJ Comput. Sci., 2024)