Adnan Rashid

National University of Sciences and Technology

论文数

5

总引用数

24

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
5
论文
24
总引用数
5
篇均引用
🏆 最高被引论文
Formal analysis of the continuous dynamics of cyber–physical systems using theorem proving
9 次引用 · 2020
📈 最高产年份: 2020 (2 论文)
🤝 主要合作者: 3
🏛 所属机构: National University of Sciences and Technology

代表论文

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

主要合作者

OHOsman Hasan5 篇合著论文SASa’ed Abed1 篇合著论文UQUjala Qasim1 篇合著论文
尚未生成