Mehdi Kargahi

University of Tehran

Papers

2

Total Citations

8

H-Index

2

About

No biography available yet.

Research Focus

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

Key Achievements

2
H-Index
2
Papers
8
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca
6 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: University of Tehran

Top Papers

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

Key Collaborators

BSBahar Salmani1 shared papersASAli Sedaghatbaf1 shared papersRCRadu Călinescu1 shared papersAAAlessandro Abate1 shared papersEKEhsan Khamespanah1 shared papersMSMarjan Sirjani1 shared papersSDSaeid Dehnavi1 shared papersMAMehran Alidoost Nia1 shared papers
Not generated yet