Living Independently Now Center
🇺🇸 US
Papers
2
Total Citations
8
H-Index
2
Researchers
2
About
No biography available yet.
Research Focus
Theoretical computer science2 · 8 citations
Artificial intelligence2 · 8 citations
Certification2 · 8 citations
Computer science2 · 8 citations
Mobile robot2 · 8 citations
Programming language2 · 8 citations
Proof assistant2 · 8 citations
Robot2 · 8 citations
Correctness2 · 8 citations
Mathematical proof2 · 8 citations
Key Achievements
2
H-Index
2
Papers
8
Total Citations
2
Faculty & Researchers
🏆 Most Cited Paper
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
6 citations · 2015
📊 Avg Citations/Paper: 4
📈 Most Prolific Year: 2015 (1)
🔬 Research Focus: Theoretical computer science, Artificial intelligence, Certification, Computer science, Mobile robot, Programming language
Top Papers
- 1A Certified Universal Gathering Algorithm for Oblivious Mobile Robots6 citations · 2015
- 2Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots2 citations · 2016
Faculty & Researchers
…
Not generated yet