default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMuhammad Ikram Ullah Lali
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j33]Iqra Ahmad, Javaria Amin, Muhammad Ikram Ullah Lali, Farhat Abbas, Muhammad Imran Sharif:
A novel Deeplabv3+ and vision-based transformer model for segmentation and classification of skin lesions. Biomed. Signal Process. Control. 92: 106084 (2024)- [j32]Hafsa Shareef Dar, Romana Aziz, Javed Ali Khan, Muhammad Ikram Ullah Lali, Nouf Abdullah Almujally:
Gamify4LexAmb: a gamification-based approach to address lexical ambiguity in natural language requirements. PeerJ Comput. Sci. 10: e2229 (2024) - 2023
- [j31]Saliha Zahoor, Umar Shoaib, Muhammad Ikram Ullah Lali:
Breast Masses Segmentation: A Framework of Skip Dilated Semantic Network and Machine Learning. Int. J. Artif. Intell. Tools 32(3): 2340012:1-2340012:29 (2023) - [j30]Hafiz Tayyab Rauf
, Muhammad Ikram Ullah Lali, Muhammad Attique Khan, Seifedine Kadry, Hanan Alolaiyan, Abdul Razaq, Rizwana Irfan:
Time series forecasting of COVID-19 transmission in Asia Pacific countries using deep neural networks. Pers. Ubiquitous Comput. 27(3): 733-750 (2023) - 2022
- [j29]Muhammad Saqib Nawaz, Meng Sun, Basit Shahzad, Muhammad Ikram Ullah Lali, Tariq Umer, Shaohua Wan:
Quality of service in IoT protocol as designs and its verification in PVS. Trans. Emerg. Telecommun. Technol. 33(8) (2022) - 2021
- [j28]Muhammad Bilal, Mohsen Marjani, Ibrahim Abaker Targio Hashem, Nadia Malik, Muhammad Ikram Ullah Lali, Abdullah Gani:
Profiling reviewers' social network strength and predicting the "Helpfulness" of online customer reviews. Electron. Commer. Res. Appl. 45: 101026 (2021) - [j27]Syed Ahmad Chan Bukhari, Hafsa Shareef Dar, Muhammad Ikram Ullah Lali, Fazel Keshtkar, Khalid Mahmood Malik, Seifedine Nimer Kadry:
Frameworks for Querying Databases Using Natural Language: A Literature Review - NLP-to-DB Querying Frameworks. Int. J. Data Warehous. Min. 17(2): 21-38 (2021) - [j26]Talha Meraj, Hafiz Tayyab Rauf, Saliha Zahoor, Arslan Hassan, Muhammad Ikram Ullah Lali, Liaqat Ali, Syed Ahmad Chan Bukhari, Umar Shoaib:
Lung nodules detection using semantic segmentation and classification with optimal features. Neural Comput. Appl. 33(17): 10737-10750 (2021) - [j25]Hafiz Tayyab Rauf, Waqas Haider Bangyal, Muhammad Ikram Ullah Lali:
An adaptive hybrid differential evolution algorithm for continuous optimization and classification problems. Neural Comput. Appl. 33(17): 10841-10867 (2021) - [j24]Ahmad S. Almadhor, Hafiz Tayyab Rauf, Muhammad Ikram Ullah Lali, Robertas Damasevicius, Bader Alouffi, Abdullah Alharbi:
AI-Driven Framework for Recognition of Guava Plant Diseases through Machine Learning from DSLR Camera Sensor Based High Resolution Imagery. Sensors 21(11): 3830 (2021) - 2020
- [j23]Muhammad Samiullah, Waqar Aslam, Hira Nazir, Muhammad Ikram Ullah Lali, Basit Shahzad, Muhammad Rafiq Mufti, Humaira Afzal:
An Image Encryption Scheme Based on DNA Computing and Multiple Chaotic Systems. IEEE Access 8: 25650-25663 (2020) - [j22]Muhammad Attique Khan, Muhammad Ikram Ullah Lali, Muhammad Sharif, Kashif Javed, Khursheed Aurangzeb, Syed Irtaza Haider, Abdulaziz S. Altamrah, Tallha Akram:
Correction to "An Optimized Method for Segmentation and Classification of Apple Diseases Based on Strong Correlation and Genetic Algorithm Based Feature Selection". IEEE Access 8: 36514 (2020) - [j21]Muhammad Bilal, Mohsen Marjani, Muhammad Ikram Ullah Lali, Nadia Malik, Abdullah Gani, Ibrahim Abaker Targio Hashem:
Profiling Users' Behavior, and Identifying Important Features of Review "Helpfulness". IEEE Access 8: 77227-77244 (2020) - [j20]Hafiz Tayyab Rauf, Umar Shoaib, Muhammad Ikram Ullah Lali, Majed Alhaisoni, Muhammad Naeem Irfan, Muhammad Attique Khan:
Particle Swarm Optimization With Probability Sequence for Global Optimization. IEEE Access 8: 110535-110549 (2020) - [j19]Hafiz Tayyab Rauf, Sumbal Malik, Umar Shoaib, Muhammad Naeem Irfan, Muhammad Ikram Ullah Lali:
Adaptive inertia weight Bat algorithm with Sugeno-Function fuzzy search. Appl. Soft Comput. 90: 106159 (2020) - [j18]Farooq Javeed, Ansar Siddique, Akhtar Munir, Basit Shehzad, Muhammad Ikram Ullah Lali:
Discovering software developer's coding expertise through deep learning. IET Softw. 14(3): 213-220 (2020) - [j17]Fakhar Ullah Mangla, Muzammil Shahzad, Muhammad Ikram Ullah Lali, Syed Ahmad Chan Bukhari:
Sketch-based facial recognition: a weighted component-based approach (WCBA). Multim. Tools Appl. 79(37-38): 27533-27553 (2020)
2010 – 2019
- 2019
- [j16]Basit Shahzad, Kinza Mehr Awan, Abdullatif M. Abdullatif, Muhammad Ikram Ullah Lali, M. Saqib Nawaz, Ume Ayesha, Muzafar Khan:
Quantification of Productivity of the Brands on Social Media With Respect to Their Responsiveness. IEEE Access 7: 9531-9539 (2019) - [j15]Muhammad Attique Khan, Muhammad Ikram Ullah Lali, Muhammad Sharif, Kashif Javed, Khursheed Aurangzeb, Syed Irtaza Haider, Abdulaziz S. Altamrah, Tallha Akram:
An Optimized Method for Segmentation and Classification of Apple Diseases Based on Strong Correlation and Genetic Algorithm Based Feature Selection. IEEE Access 7: 46261-46277 (2019) - [j14]Muhammad Bilal, Abdullah Gani, Muhammad Ikram Ullah Lali, Mohsen Marjani, Nadia Malik:
Social Profiling: A Review, Taxonomy, and Challenges. Cyberpsychology Behav. Soc. Netw. 22(7): 433-450 (2019) - [j13]Hafiz Tayyab Rauf, Muhammad Ikram Ullah Lali, Saliha Zahoor, Syed Zakir Hussain Shah, Abd Ur Rehman, Syed Ahmad Chan Bukhari:
Visual features based automated identification of fish species using deep convolutional neural networks. Comput. Electron. Agric. 167 (2019) - [j12]Muhammad Ikram Ullah Lali, Ali Shariq Imran:
A Special Section on Effectiveness of Search Engine and Social Networking Data in Healthcare Systems. J. Medical Imaging Health Informatics 9(4): 647-648 (2019) - [j11]Fiaz Majeed, Muhammad Waqas Asif, Muhammad Awais, Syed Ali Abbas, Muhammad Ikram Ullah Lali:
Social Media News Classification in Healthcare Communication. J. Medical Imaging Health Informatics 9(6): 1215-1223 (2019) - [j10]Syed Muhammad Naqi, Muhammad Sharif, Muhammad Ikram Ullah Lali:
A 3D nodule candidate detection method supported by hybrid features to reduce false positives in lung nodule detection. Multim. Tools Appl. 78(18): 26287-26311 (2019) - [i2]Hafsa Shareef Dar, Muhammad Ikram Ullah Lali, Moin Ul Din, Khalid Mahmood Malik, Syed Ahmad Chan Bukhari:
Frameworks for Querying Databases Using Natural Language: A Literature Review. CoRR abs/1909.01822 (2019) - [i1]M. Saqib Nawaz, Moin Malik, Yi Li, Meng Sun, Muhammad Ikram Ullah Lali:
A Survey on Theorem Provers in Formal Methods. CoRR abs/1912.03028 (2019) - 2018
- [j9]Shafaan Khaliq Bhatti, Muhammad Ikram Ullah Lali, Basit Shahzad, Farooq Javid, Fakhar Ullah Mangla, Muhammad Ramzan:
Leveraging the Big Data Produced by the Network to Take Intelligent Decisions on Flow Management. IEEE Access 6: 12197-12205 (2018) - [j8]Hafsa Shareef Dar, Muhammad Ikram Ullah Lali, Humaira Ashraf, Muhammad Ramzan, Tehmina Amjad, Basit Shahzad:
A Systematic Study on Software Requirements Elicitation Techniques and its Challenges in Mobile Application Development. IEEE Access 6: 63859-63867 (2018) - [j7]Muhammad Sharif, Muhammad Attique Khan, Zahid Iqbal, Muhammad Faisal Azam, Muhammad Ikram Ullah Lali, Muhammad Younus Javed:
Detection and classification of citrus diseases in agriculture based on optimized weighted segmentation and feature selection. Comput. Electron. Agric. 150: 220-234 (2018) - 2017
- [j6]Hussam Ali, Muhammad Ikram Ullah Lali, Muhammad Zohaib Nawaz, Muhammad Sharif, B. A. Saleem:
Symptom based automated detection of citrus diseases using color histogram and textural descriptors. Comput. Electron. Agric. 138: 92-104 (2017) - [j5]Muhammad Ikram Ullah Lali, Raza Ul-Mustafa, Kashif Saleem, M. Saqib Nawaz, Tehseen Zia, Basit Shahzad:
Finding Healthcare Issues with Search Engine Queries and Social Network Data. Int. J. Semantic Web Inf. Syst. 13(1): 48-62 (2017) - [j4]Basit Shehzad, Kinza Mehr Awan, Muhammad Ikram Ullah Lali, Waqar Aslam:
Identification of Patterns in Failure of Software Projects. J. Inf. Sci. Eng. 33(6): 1465-1479 (2017) - [j3]Waqar Aslam, Farah Ijaz, Muhammad Ikram Ullah Lali, Waqar Mehmood:
Risk Aware and Quality Enriched Effort Estimation for Mobile Applications in Distributed Agile Software Development. J. Inf. Sci. Eng. 33(6): 1481-1500 (2017) - 2016
- [c2]M. Saqib Nawaz, Hussam Ali, Muhammad Ikram Ullah Lali:
Concurrent Algorithms in SPIN Model Checker. FIT 2016: 193-198 - 2012
- [j2]Wim H. Hesselink, Muhammad Ikram Ullah Lali:
Formalizing a hierarchical file system. Formal Aspects Comput. 24(1): 27-44 (2012) - 2010
- [j1]Wim H. Hesselink, Muhammad Ikram Ullah Lali:
Simple concurrent garbage collection almost without synchronization. Formal Methods Syst. Des. 36(2): 148-166 (2010)
2000 – 2009
- 2009
- [c1]Wim H. Hesselink, Muhammad Ikram Ullah Lali:
Formalizing a Hierarchical File System. REFINE@FMWeek 2009: 67-85
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-25 20:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
