Muhammad Sanaullah

Orcid: 0000-0003-4522-2814

According to our database1, Muhammad Sanaullah authored at least 20 papers between 2011 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Enhancement in Quality-of-Services using 5G cellular network using resource reservation protocol.
Phys. Commun., 2022

Diagnosis of dengue virus infection using spectroscopic images and deep learning.
PeerJ Comput. Sci., 2022

Developing liver cancer drug response prediction system using late fusion of reduced deep features.
J. King Saud Univ. Comput. Inf. Sci., 2022

2021
Automatic medical image interpretation: State of the art and future directions.
Pattern Recognit., 2021

2019
Educational Data Mining: A Review and Analysis of Student's Academic Performance.
Proceedings of the Intelligent Technologies and Applications, 2019

2017
Analytical Models of High-Speed RLC Interconnect Delay for Complex and Real Poles.
IEEE Trans. Very Large Scale Integr. Syst., 2017

2015
Autonomic goal-oriented device management for Smart Environments.
J. Ambient Intell. Smart Environ., 2015

Optimization of ON current in multilayer Molybdenum Disulfide (MoS2) based tunnel field effect transistor.
Proceedings of the IEEE 58th International Midwest Symposium on Circuits and Systems, 2015

Subthreshold swing characteristics of multilayer MoS2 tunnel FET.
Proceedings of the IEEE 58th International Midwest Symposium on Circuits and Systems, 2015

Analytical analysis of the contact resistance (Rc) of metal-MoS2 interface.
Proceedings of the IEEE 58th International Midwest Symposium on Circuits and Systems, 2015

Multilayer molybdenum disulfide (MoS2) based tunnel transistor.
Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

2014
Design Time Methodology for the Formal Modeling and Verification of Smart Environments.
PhD thesis, 2014

Modeling and formal verification of smart environments.
Secur. Commun. Networks, 2014

Design-time formal verification for smart environments: an exploratory perspective.
J. Ambient Intell. Humaniz. Comput., 2014

Neural network based classification of stressed speech using nonlinear spectral and cepstral features.
Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

A new real pole delay model for RLC interconnect using second order approximation.
Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014

Analysis of RLC interconnect delay model using second order approximation.
Proceedings of the IEEE International Symposium on Circuits and Systemss, 2014

2013
Deception detection in speech using bark band and perceptually significant energy features.
Proceedings of the IEEE 56th International Midwest Symposium on Circuits and Systems, 2013

2011
Design Time Methodology for the Formal Verification of Intelligent Domotic Environments.
Proceedings of the Ambient Intelligence - Software and Applications, 2011

Formal Verification of Device State Chart Models.
Proceedings of the 7th International Conference on Intelligent Environments, 2011


  Loading...