Arvin Zakeriyan
Papers
1
Total Citations
3
H-Index
1
About
No biography available yet.
Research Focus
Computer science1 · 3 citations
Concurrency1 · 3 citations
Correctness1 · 3 citations
Distributed computing1 · 3 citations
Java1 · 3 citations
Java concurrency1 · 3 citations
Model checking1 · 3 citations
Operating system1 · 3 citations
Pathfinder1 · 3 citations
Programming language1 · 3 citations
Real time Java1 · 3 citations
Scalability1 · 3 citations
Key Achievements
1
H-Index
1
Papers
3
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 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Tehran
Top Papers
- 1Jacco: more efficient model checking toolset for Java actor programs3 citations · 2015
Key Collaborators
Not generated yet