Muhammad Sanaullah

According to our database, Muhammad Sanaullah authored at least 14 papers between 2011 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Structural equation modeling revealed optimized ridge-furrow configuration integrated with straw-soil crust enhancing carbon sequestration and sainfoin yield in semiarid agroecosystems.

Abdul Qadeer, Qi Wang, Rizwan Azim, Xiaole Zhao, Wen Ma, Ibrahim Awuku, Fujia Li, Qinglin Liu, Yanping Liu, Bing Liu, Xuchun Li, Muhammad Sanaullah, Abdul Wakeel, Safiya Bibi

Comput. Electron. Agric., 2026

2025

Applications of deep learning algorithms in ischemic stroke detection, segmentation, and classification.

Tanzeela Kousar, Mohd Shafry Mohd Rahim, Sajid Iqbal, Fatima Yousaf, Muhammad Sanaullah

Artif. Intell. Rev., May, 2025

2022

Enhancement in Quality-of-Services using 5G cellular network using resource reservation protocol.

Attique Ur Rehman, Ishtiaque Mahmood, Muhammad Kamran, Muhammad Sanaullah, Amir Ijaz, Jehad Ali, Mubashir Ali

Phys. Commun., 2022

Diagnosis of dengue virus infection using spectroscopic images and deep learning.

Mehdi Hassan, Safdar Ali, Muhammad Saleem, Muhammad Sanaullah, Labiba Gillani Fahad, Jin Young Kim, Hani Alquhayz, Syed Fahad Tahir

PeerJ Comput. Sci., 2022

Developing liver cancer drug response prediction system using late fusion of reduced deep features.

Mehdi Hassan, Safdar Ali, Hani Alquhayz, Jin Young Kim, Muhammad Sanaullah

J. King Saud Univ. Comput. Inf. Sci., 2022

Non-Cooperative Learning Based Routing for 6G-IoT Cognitive Radio Network.

Tauqeer Safdar Malik, Kaleem Razzaq Malik, Muhammad Sanaullah, Mohd Hilmi Hasan, Norshakirah Aziz

Intell. Autom. Soft Comput., 2022

2021

Automatic medical image interpretation: State of the art and future directions.

Hareem Ayesha, Sajid Iqbal, Mehreen Tariq, Muhammad Abrar, Muhammad Sanaullah, Ishaq Abbas, Amjad Rehman, Muhammad Farooq Khan Niazi, Shafiq Hussain

Pattern Recognit., 2021

2019

Educational Data Mining: A Review and Analysis of Student's Academic Performance.

Sadia Ijaz, Tauqeer Safdar, Muhammad Sanaullah

Proceedings of the Intelligent Technologies and Applications, 2019

2015

Autonomic goal-oriented device management for Smart Environments.

Muhammad Sanaullah, Fulvio Corno, Faisal Razzak

J. Ambient Intell. Smart Environ., 2015

2014

Design Time Methodology for the Formal Modeling and Verification of Smart Environments.

Muhammad Sanaullah

PhD thesis, 2014

Modeling and formal verification of smart environments.

Fulvio Corno, Muhammad Sanaullah

Secur. Commun. Networks, 2014

Design-time formal verification for smart environments: an exploratory perspective.

Fulvio Corno, Muhammad Sanaullah

J. Ambient Intell. Humaniz. Comput., 2014

2011

Design Time Methodology for the Formal Verification of Intelligent Domotic Environments.

Fulvio Corno, Muhammad Sanaullah

Proceedings of the Ambient Intelligence - Software and Applications, 2011

Formal Verification of Device State Chart Models.

Fulvio Corno, Muhammad Sanaullah

Proceedings of the 7th International Conference on Intelligent Environments, 2011