Ramtin Khosravi

University of Tehran

Papers

4

Total Citations

10

H-Index

2

About

No biography available yet.

Research Focus

Computer science4 · 10 citations
Model checking3 · 8 citations
Robot3 · 7 citations
State space3 · 7 citations
Algorithm3 · 7 citations
State (computer science)3 · 7 citations
Visibility3 · 7 citations
Mathematics3 · 7 citations
Artificial intelligence3 · 7 citations
Correctness2 · 5 citations
Programming language2 · 5 citations
Domain (mathematical analysis)2 · 5 citations

Key Achievements

2
H-Index
4
Papers
10
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
Jacco: more efficient model checking toolset for Java actor programs
3 citations · 2015
📈 Most Prolific Year: 2015 (2 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: University of Tehran

Top Papers

  1. 1
    Jacco: more efficient model checking toolset for Java actor programs
    3 citations · 2015
  2. 2
    Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties
    3 citations · 2015
  3. 3
    Verification of Visibility-Based Properties on Multiple Moving Robots
    2 citations · 2017
  4. 4
    Verification of visibility-based properties on multiple moving robots in an environment with obstacles
    2 citations · 2018

Key Collaborators

ANAli Narenji Sheshkalani3 shared papersMMMayssam Mohammadi1 shared papersMKMohammad K. Fallah1 shared papersEKEhsan Khamespanah1 shared papersMSMarjan Sirjani1 shared papersAZArvin Zakeriyan1 shared papers
Not generated yet