Mehran Alidoost Nia
Papers
1
Total Citations
2
H-Index
1
About
No biography available yet.
Research Focus
Adaptation (eye)1 · 2 citations
Algorithm1 · 2 citations
Component (thermodynamics)1 · 2 citations
Computer science1 · 2 citations
Distributed computing1 · 2 citations
Formal verification1 · 2 citations
Markov decision process1 · 2 citations
Markov process1 · 2 citations
Mathematical proof1 · 2 citations
Model checking1 · 2 citations
Overhead (engineering)1 · 2 citations
Runtime verification1 · 2 citations
Key Achievements
1
H-Index
1
Papers
2
Total Citations
2
Avg Citations/Paper
🏆 Most Cited Paper
Efficient Model Verification at Runtime through Adaptive Dynamic Approximation
2 citations · 2024
📈 Most Prolific Year: 2024 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Shahid Beheshti University
Top Papers
- 1
Key Collaborators
Not generated yet