Hasan O - Search Results

1

Formal verification of Matrix based MATLAB models using interactive theorem proving.

Gauhar A, Rashid A, Hasan O, Bispo J, Cardoso JMP. Gauhar A, et al. Among authors: hasan o. PeerJ Comput Sci. 2021 Mar 22;7:e440. doi: 10.7717/peerj-cs.440. eCollection 2021. PeerJ Comput Sci. 2021. PMID: 33834107 Free PMC article.

2

Formal reasoning about systems biology using theorem proving.

Rashid A, Hasan O, Siddique U, Tahar S. Rashid A, et al. Among authors: hasan o. PLoS One. 2017 Jul 3;12(7):e0180179. doi: 10.1371/journal.pone.0180179. eCollection 2017. PLoS One. 2017. PMID: 28671950 Free PMC article.

3

Formal reasoning about synthetic biology using higher-order-logic theorem proving.

Abed S, Rashid A, Hasan O. Abed S, et al. Among authors: hasan o. IET Syst Biol. 2020 Oct;14(5):271-283. doi: 10.1049/iet-syb.2020.0026. IET Syst Biol. 2020. PMID: 33095748 Free PMC article.

4

Formalization of bond graph using higher-order-logic theorem proving.

Qasim U, Rashid A, Hasan O. Qasim U, et al. Among authors: hasan o. ISA Trans. 2022 Sep;128(Pt B):453-469. doi: 10.1016/j.isatra.2021.11.042. Epub 2021 Dec 11. ISA Trans. 2022. PMID: 34972543

5

Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment.

Nawaz A, Hasan O, Jabeen S. Nawaz A, et al. Among authors: hasan o. Neural Comput. 2023 Mar 18;35(4):671-698. doi: 10.1162/neco_a_01569. Neural Comput. 2023. PMID: 36827600

6

SmartSIM - a virtual reality simulator for laparoscopy training using a generic physics engine.

Khan ZA, Kamal N, Hameed A, Mahmood A, Zainab R, Sadia B, Mansoor SB, Hasan O. Khan ZA, et al. Among authors: hasan o. Int J Med Robot. 2017 Sep;13(3). doi: 10.1002/rcs.1771. Epub 2016 Sep 27. Int J Med Robot. 2017. PMID: 27671920

7

How childhood diseases awareness contributes to minimize the risk of disease severity in children under five age: An evolutionary study.

Ponum M, Hasan O, Khan S. Ponum M, et al. Among authors: hasan o. J Pak Med Assoc. 2020 Dec;70(12(A)):2210-2214. doi: 10.47391/JPMA.402. J Pak Med Assoc. 2020. PMID: 33475600 Free article.

8

Chronic kidney disease diagnosis using decision tree algorithms.

Ilyas H, Ali S, Ponum M, Hasan O, Mahmood MT, Iftikhar M, Malik MH. Ilyas H, et al. Among authors: hasan o. BMC Nephrol. 2021 Aug 9;22(1):273. doi: 10.1186/s12882-021-02474-z. BMC Nephrol. 2021. PMID: 34372817 Free PMC article.

9

Stunting diagnostic and awareness: impact assessment study of sociodemographic factors of stunting among school-going children of Pakistan.

Ponum M, Khan S, Hasan O, Mahmood MT, Abbas A, Iftikhar M, Arshad R. Ponum M, et al. Among authors: hasan o. BMC Pediatr. 2020 May 19;20(1):232. doi: 10.1186/s12887-020-02139-0. BMC Pediatr. 2020. PMID: 32429876 Free PMC article.

10

EasyDetectDisease: An Android App for Early Symptom Detection and Prevention of Childhood Infectious Diseases.

Ponum M, Hasan O, Khan S. Ponum M, et al. Among authors: hasan o. Interact J Med Res. 2019 May 14;8(2):e12664. doi: 10.2196/12664. Interact J Med Res. 2019. PMID: 31094329 Free PMC article.

Save citations to file

Email citations

Send citations to clipboard

Add to Collections

Add to My Bibliography

Create a file for external citation management software

Your saved search

Your RSS Feed

My NCBI Filters

Text availability

Article attribute

Article type

Publication date

155 results

Search Page