Osman Hasan

Osman Hasan publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Osman Hasan sits on this spectrum.

Osman Hasan D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Osman Hasan sits on this spectrum.

Best Publications

• RRT*-SMART: A Rapid Convergence Implementation of RRT*

  Unknown

  261
  Citations

• RRT ∗ -Smart: Rapid convergence implementation of RRT ∗ towards optimal solution

  Unknown

  220
  Citations

• Reliability modeling and analysis of communication networks

  Waqar Ahmed;Osman Hasan;Usman Pervez;Junaid Qadir

  133
  Citations

• Formal Verification Methods

  Unknown

  121
  Citations

• Chronic kidney disease diagnosis using decision tree algorithms.

  Unknown

  114
  Citations

• Probabilistic Error Modeling for Approximate Adders

  Sana Mazahir;Osman Hasan;Rehan Hafiz;Muhammad Shafique

  105
  Citations

• Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks.

  Khadija Shaheen;Muhammad Abdullah Hanif;Osman Hasan;Muhammad Shafique

  98
  Citations

• Wearable technologies for hand joints monitoring for rehabilitation: A survey

  Adnan Rashid;Osman Hasan

  95
  Citations

• A Decentralized Privacy Preserving Reputation Protocol for the Malicious Adversarial Model

  O. Hasan;L. Brunie;E. Bertino;Ning Shang

  93
  Citations

• On the formalization of the lebesgue integration theory in HOL

  Unknown

  82
  Citations

• Survey of fall detection and daily activity monitoring techniques

  Unknown

  72
  Citations

• IoTRiskAnalyzer : A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things

  Unknown

  52
  Citations

• Signgraph: An Efficient and Accurate Pose-Based Graph Convolution Approach Toward Sign Language Recognition

  Unknown

  52
  Citations

• Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency

  Unknown

  46
  Citations

• Formal probabilistic analysis using theorem proving

  Unknown

  43
  Citations

• QuAd: Design and Analysis of Quality-Area Optimal Low-Latency Approximate Adders

  Muhammad Abdullah Hanif;Rehan Hafiz;Osman Hasan;Muhammad Shafique

  42
  Citations

• Probabilistic Error Analysis of Approximate Recursive Multipliers

  Sana Mazahir;Osman Hasan;Rehan Hafiz;Muhammad Shafique

  41
  Citations

• Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models

  Faiq Khalid Lodhi;Syed Rafay Hasan;Osman Hasan;Falah Awwadl

  39
  Citations

• Formalization of entropy measures in HOL

  Tarek Mhamdi;Osman Hasan;Sofiène Tahar

  39
  Citations

• Formal verification of cyber-physical systems: coping with continuous elements

  Muhammad Usman Sanwal;Osman Hasan

  37
  Citations