Mohammed Al-Nuaimi
Papers
3
Total Citations
29
H-Index
3
About
No biography available yet.
Research Focus
Computer science3 · 29 citations
Programming language3 · 29 citations
Probabilistic logic2 · 25 citations
Model checking2 · 25 citations
Robot2 · 25 citations
Artificial intelligence2 · 25 citations
Consistency (knowledge bases)1 · 21 citations
Real-time computing1 · 21 citations
Human–computer interaction1 · 21 citations
Formal verification1 · 21 citations
Embedded system1 · 21 citations
Motion planning1 · 21 citations
Key Achievements
3
H-Index
3
Papers
29
Total Citations
10
Avg Citations/Paper
🏆 Most Cited Paper
Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles
21 citations · 2021
📈 Most Prolific Year: 2018 (2 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: University of Sheffield
Top Papers
- 1Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles21 citations · 2021
- 2
- 3
Key Collaborators
Not generated yet