Mehdi Kargahi

University of Tehran

论文数

2

总引用数

8

H-Index

2

关于

暂无简介。

研究焦点

Distributed computing2 · 8 次引用
Computer science2 · 8 次引用
Robot1 · 6 次引用
Operating system1 · 6 次引用
Artificial intelligence1 · 6 次引用
Embedded system1 · 6 次引用
Middleware (distributed applications)1 · 6 次引用
Focus (optics)1 · 6 次引用
Programming language1 · 6 次引用
Human–computer interaction1 · 6 次引用
Correctness1 · 6 次引用
Set (abstract data type)1 · 6 次引用

主要成就

2
H 指数
2
论文
8
总引用数
4
篇均引用
🏆 最高被引论文
Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca
6 次引用 · 2019
📈 最高产年份: 2019 (1 论文)
🤝 主要合作者: 8
🏛 所属机构: University of Tehran

代表论文

  1. 1
    Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca
    6 次引用 · 2019
  2. 2
    Efficient Model Verification at Runtime through Adaptive Dynamic Approximation
    2 次引用 · 2024

主要合作者

BSBahar Salmani1 篇合著论文ASAli Sedaghatbaf1 篇合著论文RCRadu Călinescu1 篇合著论文AAAlessandro Abate1 篇合著论文EKEhsan Khamespanah1 篇合著论文MSMarjan Sirjani1 篇合著论文SDSaeid Dehnavi1 篇合著论文MAMehran Alidoost Nia1 篇合著论文
尚未生成