Muhammad Sanaullah

Proceedings of the Intelligent Technologies and Applications, 2019

2017

Analytical Models of High-Speed RLC Interconnect Delay for Complex and Real Poles.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2017

2015

Autonomic goal-oriented device management for Smart Environments.

[BibT_eX]

[DOI]

Faisal Razzak

J. Ambient Intell. Smart Environ., 2015

Optimization of ON current in multilayer Molybdenum Disulfide (MoS2) based tunnel field effect transistor.

[BibT_eX]

[DOI]

Proceedings of the IEEE 58th International Midwest Symposium on Circuits and Systems, 2015

Subthreshold swing characteristics of multilayer MoS2 tunnel FET.

[BibT_eX]

[DOI]

Proceedings of the IEEE 58th International Midwest Symposium on Circuits and Systems, 2015

Analytical analysis of the contact resistance (Rc) of metal-MoS2 interface.

[BibT_eX]

[DOI]

Munem Hossain

Abdul Hamid Bin Yousuf

Azzedin Es-Saki

Proceedings of the IEEE 58th International Midwest Symposium on Circuits and Systems, 2015

Multilayer molybdenum disulfide (MoS2) based tunnel transistor.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

PhD thesis, 2014

Modeling and formal verification of smart environments.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2014

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

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2014

Neural network based classification of stressed speech using nonlinear spectral and cepstral features.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014

Analysis of RLC interconnect delay model using second order approximation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systemss, 2014

2013

Deception detection in speech using bark band and perceptually significant energy features.

[BibT_eX]

[DOI]

Kaliappan Gopalan

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.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence - Software and Applications, 2011

Formal Verification of Device State Chart Models.

[BibT_eX]

[DOI]