Xiaojuan Li

Capital Normal University

论文数

3

总引用数

70

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
3
论文
70
总引用数
23
篇均引用
🏆 最高被引论文
A Formal Model-Based Design Method for Robotic Systems
47 次引用 · 2018
📈 最高产年份: 2018 (2 论文)
🤝 主要合作者: 15
🏛 所属机构: Capital Normal University

代表论文

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

主要合作者

ZSZhiping Shi2 篇合著论文XSXiaoyu Song2 篇合著论文YGYong Guan2 篇合著论文WNWilliam N. N. Hung1 篇合著论文PGPeng Gao1 篇合著论文XLXinxin Li1 篇合著论文KYKang Yang1 篇合著论文RWRui Wang1 篇合著论文JTJindong Tan1 篇合著论文CLChenxia Luo1 篇合著论文HSHoubing Song1 篇合著论文RWRui Wang1 篇合著论文RWRui Wang1 篇合著论文JZJie Zhang1 篇合著论文YJYu Jiang1 篇合著论文
尚未生成