Adnan Rashid

National University of Sciences and Technology

Papers

5

Total Citations

24

H-Index

3

About

No biography available yet.

Research Focus

Computer science5 · 24 citations
Mathematics5 · 24 citations
Programming language4 · 23 citations
Algorithm4 · 23 citations
Automated theorem proving4 · 23 citations
Theoretical computer science3 · 15 citations
HOL3 · 15 citations
Completeness (order theory)2 · 10 citations
Automation2 · 10 citations
Process (computing)2 · 10 citations
Gas meter prover1 · 9 citations
Applied mathematics1 · 9 citations

Key Achievements

3
H-Index
5
Papers
24
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
Formal analysis of the continuous dynamics of cyber–physical systems using theorem proving
9 citations · 2020
📈 Most Prolific Year: 2020 (2 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: National University of Sciences and Technology

Top Papers

  1. 1
    Formal analysis of the continuous dynamics of cyber–physical systems using theorem proving
    9 citations · 2020
  2. 2
    Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light
    8 citations · 2020
  3. 3
    Formalization of bond graph using higher-order-logic theorem proving
    4 citations · 2021
  4. 4
    Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving
    2 citations · 2019
  5. 5
    Formalization of Biological Circuit Block Diagrams for Formally Analyzing Biomedical Control Systems in pHRI Applications
    1 citations · 2025

Key Collaborators

OHOsman Hasan5 shared papersSASa’ed Abed1 shared papersUQUjala Qasim1 shared papers
Not generated yet