Muhammad Sanaullah

14 papers B 1Journal 10Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Structural equation modeling revealed optimized ridge-furrow configuration integrated with straw-soil crust enhancing carbon sequestration and sainfoin yield in semiarid agroecosystems. Comput. Electron. Agric. 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
2025	J	`jnl`	Applications of deep learning algorithms in ischemic stroke detection, segmentation, and classification. Artif. Intell. Rev. Tanzeela Kousar, Mohd Shafry Mohd Rahim, Sajid Iqbal, Fatima Yousaf, Muhammad Sanaullah
2022	J	`jnl`	Developing liver cancer drug response prediction system using late fusion of reduced deep features. J. King Saud Univ. Comput. Inf. Sci. Mehdi Hassan, Safdar Ali, Hani Alquhayz, Jin Young Kim, Muhammad Sanaullah
2022	J	`jnl`	Diagnosis of dengue virus infection using spectroscopic images and deep learning. PeerJ Comput. Sci. Mehdi Hassan, Safdar Ali, Muhammad Saleem, Muhammad Sanaullah, Labiba Gillani Fahad, Jin Young Kim, Hani Alquhayz, Syed Fahad Tahir
2022	J	`jnl`	Enhancement in Quality-of-Services using 5G cellular network using resource reservation protocol. Phys. Commun. Attique Ur Rehman, Ishtiaque Mahmood, Muhammad Kamran, Muhammad Sanaullah, Amir Ijaz, Jehad Ali, Mubashir Ali
2022	J	`jnl`	Non-Cooperative Learning Based Routing for 6G-IoT Cognitive Radio Network. Intell. Autom. Soft Comput. Tauqeer Safdar Malik, Kaleem Razzaq Malik, Muhammad Sanaullah, Mohd Hilmi Hasan, Norshakirah Aziz
2021	J	`jnl`	Automatic medical image interpretation: State of the art and future directions. Pattern Recognit. Hareem Ayesha, Sajid Iqbal, Mehreen Tariq, Muhammad Abrar, Muhammad Sanaullah, Ishaq Abbas, Amjad Rehman, Muhammad Farooq Khan Niazi, Shafiq Hussain
2019	—	`conf`	Educational Data Mining: A Review and Analysis of Student's Academic Performance. INTAP Sadia Ijaz, Tauqeer Safdar, Muhammad Sanaullah
2015	J	`jnl`	Autonomic goal-oriented device management for Smart Environments. J. Ambient Intell. Smart Environ. Muhammad Sanaullah, Fulvio Corno, Faisal Razzak
2014	—	`—`	Design Time Methodology for the Formal Modeling and Verification of Smart Environments. Muhammad Sanaullah
2014	J	`jnl`	Design-time formal verification for smart environments: an exploratory perspective. J. Ambient Intell. Humaniz. Comput. Fulvio Corno, Muhammad Sanaullah
2014	J	`jnl`	Modeling and formal verification of smart environments. Secur. Commun. Networks Fulvio Corno, Muhammad Sanaullah
2011	—	`conf`	Design Time Methodology for the Formal Verification of Intelligent Domotic Environments. ISAmI Fulvio Corno, Muhammad Sanaullah
2011	B	`conf`	Formal Verification of Device State Chart Models. Intelligent Environments Fulvio Corno, Muhammad Sanaullah