Papers
5
Total Citations
37
H-Index
3
About
No biography available yet.
Research Focus
Computer science4 · 36 citations
Artificial intelligence3 · 32 citations
Distributed computing2 · 21 citations
Real-time computing1 · 17 citations
Engineering1 · 17 citations
Parameterized complexity1 · 17 citations
Algorithm1 · 17 citations
Model checking1 · 17 citations
Mobile robot1 · 17 citations
Metric (unit)1 · 17 citations
Programming language1 · 17 citations
Resource (disambiguation)1 · 17 citations
Key Achievements
3
H-Index
5
Papers
37
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms
17 citations · 2019
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 9
🏛 Institutions: China Academy of Engineering Physics, University of Science and Technology Liaoning
Top Papers
- 1Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms17 citations · 2019
- 2
- 3Decentralized runtime enforcement for robotic swarms4 citations · 2020
- 4
- 5
Key Collaborators
Not generated yet