Ehsan Khamespanah

University of Tehran

Papers

2

Total Citations

9

H-Index

2

About

No biography available yet.

Research Focus

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

Key Achievements

2
H-Index
2
Papers
9
Total Citations
5
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: 7
🏛 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
    Jacco: more efficient model checking toolset for Java actor programs
    3 citations · 2015

Key Collaborators

MSMarjan Sirjani2 shared papersASAli Sedaghatbaf1 shared papersMKMehdi Kargahi1 shared papersBSBahar Salmani1 shared papersSDSaeid Dehnavi1 shared papersRKRamtin Khosravi1 shared papersAZArvin Zakeriyan1 shared papers
Not generated yet