Muhammad Sanaullah

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 11

Top Topics

Future Directions

Formal Verification

Smart Environments

Educational Data Mining

Top Venues

Pattern Recognit.

Publications

Mehdi Hassan, Safdar Ali, Hani Alquhayz, Jin Young Kim, Muhammad Sanaullah
Developing liver cancer drug response prediction system using late fusion of reduced deep features. J. King Saud Univ. Comput. Inf. Sci. 34 (Issue) (2022)
Attique Ur Rehman, Ishtiaque Mahmood, Muhammad Kamran, Muhammad Sanaullah, Amir Ijaz, Jehad Ali, Mubashir Ali
Enhancement in Quality-of-Services using 5G cellular network using resource reservation protocol. Phys. Commun. 55 (2022)
Mehdi Hassan, Safdar Ali, Muhammad Saleem, Muhammad Sanaullah, Labiba Gillani Fahad, Jin Young Kim, Hani Alquhayz, Syed Fahad Tahir
Diagnosis of dengue virus infection using spectroscopic images and deep learning. PeerJ Comput. Sci. 8 (2022)
Hareem Ayesha, Sajid Iqbal, Mehreen Tariq, Muhammad Abrar, Muhammad Sanaullah, Ishaq Abbas, Amjad Rehman, Muhammad Farooq Khan Niazi, Shafiq Hussain
Automatic medical image interpretation: State of the art and future directions. Pattern Recognit. 114 (2021)
Sadia Ijaz, Tauqeer Safdar, Muhammad Sanaullah
Educational Data Mining: A Review and Analysis of Student's Academic Performance. INTAP (2019)
Muhammad Sanaullah, Masud H. Chowdhury
Analytical Models of High-Speed RLC Interconnect Delay for Complex and Real Poles. IEEE Trans. Very Large Scale Integr. Syst. 25 (6) (2017)
Muhammad Sanaullah, Masud H. Chowdhury
Subthreshold swing characteristics of multilayer MoS2 tunnel FET. MWSCAS (2015)
Muhammad Sanaullah, Fulvio Corno, Faisal Razzak
Autonomic goal-oriented device management for Smart Environments. J. Ambient Intell. Smart Environ. 7 (4) (2015)
Munem Hossain, Muhammad Sanaullah, Abdul Hamid Bin Yousuf, Azzedin Es-Saki, Masud H. Chowdhury
Analytical analysis of the contact resistance (Rc) of metal-MoS2 interface. MWSCAS (2015)
Muhammad Sanaullah, Masud H. Chowdhury
Optimization of ON current in multilayer Molybdenum Disulfide (MoS2) based tunnel field effect transistor. MWSCAS (2015)
Muhammad Sanaullah, Masud H. Chowdhury
Multilayer molybdenum disulfide (MoS2) based tunnel transistor. ISCAS (2015)
Fulvio Corno, Muhammad Sanaullah
Modeling and formal verification of smart environments. Secur. Commun. Networks 7 (10) (2014)
Fulvio Corno, Muhammad Sanaullah
Design-time formal verification for smart environments: an exploratory perspective. J. Ambient Intell. Humaniz. Comput. 5 (4) (2014)
Muhammad Sanaullah, Masud H. Chowdhury
A new real pole delay model for RLC interconnect using second order approximation. MWSCAS (2014)
Muhammad Sanaullah, Masud H. Chowdhury
Neural network based classification of stressed speech using nonlinear spectral and cepstral features. NEWCAS (2014)
Muhammad Sanaullah, Masud H. Chowdhury
Analysis of RLC interconnect delay model using second order approximation. ISCAS (2014)
Muhammad Sanaullah, Kaliappan Gopalan
Deception detection in speech using bark band and perceptually significant energy features. MWSCAS (2013)
Fulvio Corno, Muhammad Sanaullah
Design Time Methodology for the Formal Verification of Intelligent Domotic Environments. ISAmI (2011)
Fulvio Corno, Muhammad Sanaullah
Formal Verification of Device State Chart Models. Intelligent Environments (2011)