Vladimir Levin
Papers
1
Total Citations
14
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 14 citations
Computer science1 · 14 citations
Engineering1 · 14 citations
Human–computer interaction1 · 14 citations
Liveness1 · 14 citations
Mode (computer interface)1 · 14 citations
Model checking1 · 14 citations
Process (computing)1 · 14 citations
Programming language1 · 14 citations
Robot1 · 14 citations
Robotics1 · 14 citations
Simulation1 · 14 citations
Key Achievements
1
H-Index
1
Papers
14
Total Citations
14
Avg Citations/Paper
🏆 Most Cited Paper
Lessons Learned from Model Checking a NASA Robot Controller
14 citations · 2004
📈 Most Prolific Year: 2004 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Microsoft (United States)
Top Papers
- 1Lessons Learned from Model Checking a NASA Robot Controller14 citations · 2004
Key Collaborators
Not generated yet