Publications by authors named "Osman Hasan"

Claim this Profile
F
Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment.
Arooj Nawaz, Osman Hasan, Shaista Jabeen

Neural Comput· March 2023

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
F
Formalization of bond graph using higher-order-logic theorem proving.
Ujala Qasim, Adnan Rashid, Osman Hasan

ISA Trans· September 2022

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
C
Chronic kidney disease diagnosis using decision tree algorithms.
Hamida Ilyas, Sajid Ali, Mahvish Ponum, Osman Hasan, Muhammad Tahir Mahmood

BMC Nephrol· August 2021

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
F
Formal verification of Matrix based MATLAB models using interactive theorem proving.
Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M P Cardoso

PeerJ Comput Sci· March 2021

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
H
How childhood diseases awareness contributes to minimize the risk of disease severity in children under five age: An evolutionary study.
Mahvish Ponum, Osman Hasan, Saadia Khan

J Pak Med Assoc· December 2020

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
F
Formal reasoning about synthetic biology using higher-order-logic theorem proving.
Sa'ed Abed, Adnan Rashid, Osman Hasan

IET Syst Biol· October 2020

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
S
Stunting diagnostic and awareness: impact assessment study of sociodemographic factors of stunting among school-going children of Pakistan.
Mahvish Ponum, Saadia Khan, Osman Hasan, Muhammad Tahir Mahmood, Asad Abbas

BMC Pediatr· May 2020

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
E
EasyDetectDisease: An Android App for Early Symptom Detection and Prevention of Childhood Infectious Diseases.
Mahvish Ponum, Osman Hasan, Saadia Khan

Interact J Med Res· May 2019

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
F
Formal reasoning about systems biology using theorem proving.
Adnan Rashid, Osman Hasan, Umair Siddique, Sofiène Tahar

PLoS One· October 2017

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
S
SmartSIM - a virtual reality simulator for laparoscopy training using a generic physics engine.
Zohaib Amjad Khan, Nabeel Kamal, Asad Hameed, Amama Mahmood, Rida Zainab, Osman Hasan

Int J Med Robot· September 2017

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
A
A framework for laparoscopic simulations.
Osman Hasan, Sohail Iqbal

J Pak Med Assoc· September 2017

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis