Xiaojuan Li

Capital Normal University

Papers

3

Total Citations

70

H-Index

3

About

No biography available yet.

Research Focus

Computer science3 · 70 citations
Artificial intelligence3 · 70 citations
Formal verification2 · 54 citations
Programming language2 · 54 citations
Embedded system1 · 47 citations
Automaton1 · 47 citations
Code generation1 · 47 citations
Code (set theory)1 · 47 citations
Model-based design1 · 47 citations
Executable1 · 47 citations
Operating system1 · 47 citations
Simulation1 · 47 citations

Key Achievements

3
H-Index
3
Papers
70
Total Citations
23
Avg Citations/Paper
🏆 Most Cited Paper
A Formal Model-Based Design Method for Robotic Systems
47 citations · 2018
📈 Most Prolific Year: 2018 (2 Papers)
🤝 Key Collaborators: 15
🏛 Institutions: Capital Normal University

Top Papers

  1. 1
    A Formal Model-Based Design Method for Robotic Systems
    47 citations · 2018
  2. 2
    Motion planning with Satisfiability Modulo Theories
    16 citations · 2014
  3. 3
    Runtime Verification of Robots Collision Avoidance Case Study
    7 citations · 2018

Key Collaborators

ZSZhiping Shi2 shared papersXSXiaoyu Song2 shared papersYGYong Guan2 shared papersWNWilliam N. N. Hung1 shared papersPGPeng Gao1 shared papersXLXinxin Li1 shared papersKYKang Yang1 shared papersRWRui Wang1 shared papersJTJindong Tan1 shared papersCLChenxia Luo1 shared papersHSHoubing Song1 shared papersRWRui Wang1 shared papersRWRui Wang1 shared papersJZJie Zhang1 shared papersYJYu Jiang1 shared papers
Not generated yet