SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Osman Hasan · Study

Home/Author

Osman Hasan

3 works· latest 2019· 1 institutionscluster: provisionalORCID 0000-0003-2562-2669

h-index3

i103

Citations50

Works here3

16

18

19

Most cited in this library

Statistical model checking of relief supply location and distribution in natural disaster management2018 · 23 citations
Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach2016 · 17 citations
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.2019 · 10 citations

Works

3 shown

Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.

FLAP·2019·4 authors

10citations

Statistical model checking of relief supply location and distribution in natural disaster management

International Journal of Disaster Risk Reduction·2018·3 authors

23citations

Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach

arXiv (Cornell University)·2016·2 authors·preprint·Open access

17citations