I agree that this site is using cookies. You can find further informations here.
X
Sardar, Muhammad Usama
738  results:
Articles (Online) X
Search for persons X
?
1

Formal Specification and Verification of Architecturally-De..:

Sardar, Muhammad Usama ; Fossati, Thomas ; Frost, Simon.
IEEE Access.  12 (2024)  - p. 361-381 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Confidential computing and related technologies: a critical..:

Sardar, Muhammad Usama ; Fetzer, Christof
Cybersecurity.  6 (2023)  1 - p. , 2023
Link: https://doi.org/10.1186/..
 
?
3

Demystifying Attestation in Intel Trust Domain Extensions v..:

Sardar, Muhammad Usama ; Musaev, Saidgani ; Fetzer, Christof
IEEE Access.  9 (2021)  - p. 83067-83079 , 2021
Link: https://doi.org/10.1109/..
 
?
4

Statistical model checking of relief supply location and di..:

Iqbal, Sohaiba ; Sardar, Muhammad Usama ; Lodhi, Faiq Khalid.
International Journal of Disaster Risk Reduction.  31 (2018)  - p. 1043-1053 , 2018
Link: https://doi.org/10.1016/..
 
?
5

Theorem proving based Formal Verification of Distributed Dy..:

Sardar, Muhammad Usama ; Hasan, Osman ; Shafique, Muhammad.
Journal of Parallel and Distributed Computing.  100 (2017)  - p. 157-171 , 2017
Link: https://doi.org/10.1016/..
 
?
6

Towards Probabilistic Formal Analysis of SATS-Simultaneousl..:

Sardar, Muhammad Usama ; Afaq, Nida ; Hasan, Osman.
Journal of Automated Reasoning.  60 (2017)  1 - p. 85-105 , 2017
Link: https://doi.org/10.1007/..
 
?
7

A sketch is worth a thousand navigational instructions:

Ahmad, Haseeb ; Usama, Sardar Muhammad ; Hussain, Wajahat.
Autonomous Robots.  45 (2021)  2 - p. 313-333 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Prevention of the Growth of Fungi and Aflatoxins in Bread L..:

Ameen, Mavra ; Iqbal, Amna ; Khalid, Fatima...
Journal of Health and Rehabilitation Research.  4 (2024)  2 - p. 1467-1471 , 2024
Link: https://doi.org/10.61919..
 
?
9

Cardiovascular Diseases in the Patients With Psoriatic Arth..:

Akhlaq, Anum ; Ali, Huma Fatima ; Sheikh, Abu Baker...
Current Problems in Cardiology.  48 (2023)  6 - p. 101131 , 2023
Link: https://doi.org/10.1016/..
 
?
10

Role of breastfeeding in protection against respiratory tra..:

Saad Muhammad ; Adil Rehman ; Muhammad Usama...
The Professional Medical Journal.  29 (2022)  11 - p. 1649-1656 , 2022
Link: https://doi.org/10.29309..
 
?
11

Computation of resistance distance and Kirchhoff index of c..:

Sajjad, Wasim ; Sardar, Muhammad Shoaib ; Pan, Xiang-Feng
Applied Mathematics and Computation.  461 (2024)  - p. 128313 , 2024
Link: https://doi.org/10.1016/..
 
?
12

Tirzepatide: A novel cardiovascular protective agent in typ..:

Sardar, Muhammad Bilal ; Nadeem, Zain Ali ; Babar, Muhammad
Current Problems in Cardiology.  49 (2024)  5 - p. 102489 , 2024
Link: https://doi.org/10.1016/..
 
?
13

Temporal and regional trends in adults with diabetics kidne..:

Sardar, Muhammad Bilal ; Ahmed, Sophia ; Ashraf, Hamza...
Diabetes Research and Clinical Practice.  213 (2024)  - p. 111729 , 2024
Link: https://doi.org/10.1016/..
 
?
14

Unveiling the frontiers of potato disease research through ..:

Weng, Ling ; Tang, Zhurui ; Sardar, Muhammad Fahad...
Frontiers in Microbiology.  15 (2024)  - p. , 2024
Link: https://doi.org/10.3389/..
 
?
15

Computation of the resistance distance and the Kirchhoff in..:

Sardar, Muhammad Shoaib ; Pan, Xiang-Feng ; Xu, Shou-Jun
Applied Mathematics and Computation.  473 (2024)  - p. 128670 , 2024
Link: https://doi.org/10.1016/..
 
1-15