Formal Verification of Device State Chart Models. - Fulvio Corno; Muhammad Sanaullah (Intelligent Environments, 2011)

Design Time Methodology for the Formal Verification of Intelligent Domotic Environments. - Fulvio Corno; Muhammad Sanaullah (ISAmI, 2011)

Deception detection in speech using bark band and perceptually significant energy features. - Muhammad Sanaullah; Kaliappan Gopalan (MWSCAS, 2013)

Analysis of RLC interconnect delay model using second order approximation. - Muhammad Sanaullah; Masud H. Chowdhury (ISCAS, 2014)

A new real pole delay model for RLC interconnect using second order approximation. - Muhammad Sanaullah; Masud H. Chowdhury (MWSCAS, 2014)

Neural network based classification of stressed speech using nonlinear spectral and cepstral features. - Muhammad Sanaullah; Masud H. Chowdhury (NEWCAS, 2014)

Design-time formal verification for smart environments: an exploratory perspective. - Fulvio Corno; Muhammad Sanaullah (J. Ambient Intell. Humaniz. Comput., 2014)

Modeling and formal verification of smart environments. - Fulvio Corno; Muhammad Sanaullah (Secur. Commun. Networks, 2014)

Design Time Methodology for the Formal Modeling and Verification of Smart Environments. - Muhammad Sanaullah (2014)

Multilayer molybdenum disulfide (MoS2) based tunnel transistor. - Muhammad Sanaullah; Masud H. Chowdhury (ISCAS, 2015)

Analytical analysis of the contact resistance (Rc) of metal-MoS2 interface. - Munem Hossain; Muhammad Sanaullah; Abdul Hamid Bin Yousuf; Azzedin Es-Saki; Masud H. Chowdhury (MWSCAS, 2015)

Subthreshold swing characteristics of multilayer MoS2 tunnel FET. - Muhammad Sanaullah; Masud H. Chowdhury (MWSCAS, 2015)

Optimization of ON current in multilayer Molybdenum Disulfide (MoS2) based tunnel field effect transistor. - Muhammad Sanaullah; Masud H. Chowdhury (MWSCAS, 2015)

Autonomic goal-oriented device management for Smart Environments. - Muhammad Sanaullah; Fulvio Corno; Faisal Razzak (J. Ambient Intell. Smart Environ., 2015)

Analytical Models of High-Speed RLC Interconnect Delay for Complex and Real Poles. - Muhammad Sanaullah; Masud H. Chowdhury (IEEE Trans. Very Large Scale Integr. Syst., 2017)

Educational Data Mining: A Review and Analysis of Student's Academic Performance. - Sadia Ijaz; Tauqeer Safdar; Muhammad Sanaullah (INTAP, 2019)

Automatic medical image interpretation: State of the art and future directions. - Hareem Ayesha; Sajid Iqbal 001; Mehreen Tariq; Muhammad Abrar; Muhammad Sanaullah; Ishaq Abbas; Amjad Rehman; Muhammad Farooq Khan Niazi; Shafiq Hussain (Pattern Recognit., 2021)

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)

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)

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)

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)

Applications of deep learning algorithms in ischemic stroke detection, segmentation, and classification. - Tanzeela Kousar; Mohd Shafry Mohd Rahim; Sajid Iqbal 001; Fatima Yousaf; Muhammad Sanaullah (Artif. Intell. Rev., 2025)